Between( c, a, b ) /\ ~Triangle( c )
~ E x LeftOf( x, b )
A y ( SameCol( y, a ) => ( y = a ) )
E x E y ( ~Triangle(x)  /\ ~Triangle( y ) /\ Between( d, x, y ) )
 Pentagon( e )
( ~ E x LeftOf( x, e ) )  \/ Large( e ) 
 E x ( SameRow( x, e ) /\ x <> e )
E x LeftOf( x, h ) <=> Large( d )  
E x ( SameCol( x, c ) /\ SameRow( x, h ) )
E x Between ( i, h, x ) /\ Smaller( h, i )