[PDF] - above(a,d) rule (2) {X\a,Z\d} on(a,Y), above(Y,d) {Y\b} on(a,Y) PDF Document