5.1 WNDS: Win98 4.10.67766222 ( ) [5.1.0.19991101] SntF C986231848353D986232844162 S5237 2 @x@y( ~(Cube(x) & Dodec(y)) $ /x Adjoins(x, y)) ~(Cube(b) & Dodec(a)) $ /x Adjoins(x, a)