((shape(south, 6xxx)
 and control(south)<5 
 and hearts(south)<4
 and hcp(south)>4
 and hcp(south)<12
 and hcp(north)>9
 )
or
(shape(south, x6xx)
 and control(south)<5 
 and spades(south)<4
 and hcp(south)>4
 and hcp(south)<12
 and hcp(north)>9
 )
or
(shape(south, xx6x)
 and control(south)<5 
 and spades(south)<4
 and spades(south)<4
 and hcp(south)>4
 and hcp(south)<12
 and hcp(north)>9
 ))

or

((shape(north, 6xxx)
 and control(north)<5 
 and hearts(north)<4
 and hcp(north)>4
 and hcp(north)<12
 and hcp(south)>9
 )
or
(shape(north, x6xx)
 and control(north)<5 
 and spades(north)<4
 and hcp(north)>4
 and hcp(north)<12
 and hcp(south)>9
 )
or
(shape(north, xx6x)
 and control(north)<5 
 and spades(north)<4
 and spades(north)<4
 and hcp(north)>4
 and hcp(north)<12
 and hcp(south)>9
 ))