; @origtpdbfilename ./TRS/D33/28.trs
; @xtcfilename "./TRS_Standard/Der95/28.xml"
(format TRS)
(fun if 3)
(rule (if (if x y z) u v) (if x (if y u v) (if z u v)))