hcp(west)+hcp(east)<20 and ( ( clubs(north)+clubs(south)<6 and ( shape(north, xxx1, xxx0) or shape(south, xxx1, xxx0) ) ) or ( diamonds(north)+diamonds(south)<6 and ( shape(north, xx1x, xx0x) or shape(south, xx1x, xx0x) ) ) or ( hearts(north)+hearts(south)<6 and ( shape(north, x1xx, x0xx) or shape(south, x1xx, x0xx) ) ) or ( spades(north)+spades(south)<6 and ( shape(north, 1xxx, 0xxx) or shape(south, 1xxx, 0xxx) ) ) ) and ! shape(north, any 11xx, any 01xx, any 00xx, any 12xx, any 02xx) and ! shape(south, any 11xx, any 01xx, any 00xx, any 12xx, any 02xx)