! Data set from "The Guardian", 30 Sep, 2006. ISKNOWN: [(3 3) 2] ISGREATER: [(1 2 1 1) true (1 3 1 2) true (2 1 2 2) true (2 3 2 2) true (2 4 3 4) true (2 5 2 4) true (3 1 3 2) true (3 4 4 4) true (5 1 4 1) true (5 5 4 5) true ]