wfs-operator-experiment/tests/uh_oh2.in

7 lines
55 B
Plaintext

-b | -e -> -c.
c :- not c'.
c' :- not c.
d :- c, c'.