test_generate_assumptions_from_file.pl

myAsm(a).
myAsm(b).
myAsm(c).
myAsm(d).
myAsm(e).
myAsm(f).

myPrefLT(a, b).
myPrefLE(c, d).

contrary(a, q).
contrary(b, v).
contrary(c, u).

myRule(p, [a,u]).
myRule(q, [b,r]).
myRule(q, [c,s]).
myRule(q, [c,t]).
myRule(u, [a]).
myRule(s, []).
myRule(t, [d]).
myRule(t, [e]).