; @origtpdbfilename ./TRS/SK90/2.36.trs
; @xtcfilename "./TRS_Standard/SK90/2.36.xml"
(format TRS)
(fun implies 2)
(fun not 1)
(fun or 2)
(rule (implies (not x) y) (or x y))
(rule (implies (not x) (or y z)) (implies y (or x z)))
(rule (implies x (or y z)) (or y (implies x z)))