dribbling to file "/projects/null/ai/static/rob/ne/forall-bw"
 
NE for domain: "forall-bw"





------------------------------------------------
NE for PSG (ON G-1 G-2)

((ABOVE <G-1> <W6>) (OR (IS-EQUAL <G-1> <W6>) (ABOVE <G-2> <W6>)) NIL)
((ON <G-1> <G-2>) T NIL)
((~ (ABOVE <G-1> <W6>))
 (AND (ABOVE <G-1> <W6>) (NOT-EQUAL <G-2> <W6>) (~ (IS-EQUAL <G-1> <W6>)) (~ (ABOVE <G-2> <W6>))) NIL)
((~ (ON <G-1> <V7>)) (NOT-EQUAL <V7> <G-2>) ((NOT-EQUAL <V7> <G-2>)))