Closed olufjen closed 2 years ago
occupies(WhiteBishop2,b5) REACHABLE(WhiteBishop2_b5,f1) REACHABLE(WhiteBishop2_b5,e2) REACHABLE(WhiteBishop2_b5,d3) REACHABLE(WhiteBishop2_b5,c4) REACHABLE(WhiteBishop2_b5,c6)
occupies(WhiteBishop2,b5) REACHABLE(WhiteBishop2_b5,f1) REACHABLE(WhiteBishop2_b5,e2) REACHABLE(WhiteBishop2_b5,d3) REACHABLE(WhiteBishop2_b5,c4) REACHABLE(WhiteBishop2_b5,c6)