%------------------------------------------------------------------------------ % File : Toma---0.7 % Problem : NLP224-10 : TPTP v9.0.0. Released v7.5.0. % Transfm : none % Format : tptp:raw % Command : run_Leo-III %s %d THM % Computer : n014.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8042.1875MB % OS : Linux 3.10.0-693.el7.x86_64 % CPULimit : 300s % WCLimit : 300s % DateTime : Tue Jul 15 07:23:58 AM UTC 2025 % Result : Satisfiable 16.80s 15.90s % Output : Assurance 0s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.10/0.12 % Problem : NLP224-10 : TPTP v9.0.0. Released v7.5.0. % 0.10/0.12 % Command : run_Leo-III %s %d THM % 0.12/0.33 % Computer : n014.cluster.edu % 0.12/0.33 % Model : x86_64 x86_64 % 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.33 % Memory : 8042.1875MB % 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.33 % CPULimit : 300 % 0.12/0.33 % WCLimit : 300 % 0.12/0.33 % DateTime : Mon Jul 14 14:21:19 EDT 2025 % 0.12/0.33 % CPUTime : % 16.80/15.90 % SZS status Satisfiable % 16.80/15.90 The following TRS is a complete presentation of the axioms, but the goal is not joinable. % 16.80/15.90 1: actual_world(skc9) -> true % 16.80/15.90 2: man(skc9, skc17) -> true % 16.80/15.90 3: forename(skc9, skc16) -> true % 16.80/15.90 4: vincent_forename(skc9, skc16) -> true % 16.80/15.90 5: event(skc9, skc15) -> true % 16.80/15.90 6: present(skc9, skc15) -> true % 16.80/15.90 7: think_believe_consider(skc9, skc15) -> true % 16.80/15.90 8: man(skc9, skc13) -> true % 16.80/15.90 9: forename(skc9, skc12) -> true % 16.80/15.90 10: jules_forename(skc9, skc12) -> true % 16.80/15.90 11: man(skc9, skc11) -> true % 16.80/15.90 12: state(skc9, skc10) -> true % 16.80/15.90 13: accessible_world(skc9, skc14) -> true % 16.80/15.90 14: proposition(skc9, skc14) -> true % 16.80/15.90 15: of(skc9, skc16, skc17) -> true % 16.80/15.90 16: agent(skc9, skc15, skc17) -> true % 16.80/15.90 17: theme(skc9, skc15, skc14) -> true % 16.80/15.90 18: of(skc9, skc12, skc13) -> true % 16.80/15.90 19: ifeq3(X, X, Y, Z) -> Y % 16.80/15.90 20: ifeq(X, X, Y, Z) -> Y % 16.80/15.90 21: ifeq2(X, X, Y, Z) -> Y % 16.80/15.90 22: be(skc9, skc10, skc13, skc11) -> true % 16.80/15.90 23: ifeq3(be(X, Y, Z, W), true, Z, W) -> W % 16.80/15.90 24: skc13 -> skc11 % 16.80/15.90 25: true -> of(skc9, skc12, skc11) % 16.80/15.90 26: be(skc9, skc10, skc11, skc11) -> of(skc9, skc12, skc11) % 16.80/15.90 28: ifeq2(abstraction(X, Y), of(skc9, skc12, skc11), thing(X, Y), of(skc9, skc12, skc11)) -> of(skc9, skc12, skc11) % 16.80/15.90 30: ifeq2(state(X, Y), of(skc9, skc12, skc11), event(X, Y), of(skc9, skc12, skc11)) -> of(skc9, skc12, skc11) % 16.80/15.90 31: event(skc9, skc10) -> of(skc9, skc12, skc11) % 16.80/15.90 33: ifeq2(eventuality(X, Y), of(skc9, skc12, skc11), unisex(X, Y), of(skc9, skc12, skc11)) -> of(skc9, skc12, skc11) % 16.80/15.90 35: ifeq2(abstraction(X, Y), of(skc9, skc12, skc11), unisex(X, Y), of(skc9, skc12, skc11)) -> of(skc9, skc12, skc11) % 16.80/15.90 37: ifeq2(abstraction(X, Y), of(skc9, skc12, skc11), general(X, Y), of(skc9, skc12, skc11)) -> of(skc9, skc12, skc11) % 16.80/15.90 39: ifeq2(abstraction(X, Y), of(skc9, skc12, skc11), nonhuman(X, Y), of(skc9, skc12, skc11)) -> of(skc9, skc12, skc11) % 16.80/15.90 41: ifeq2(jules_forename(X, Y), of(skc9, skc12, skc11), forename(X, Y), of(skc9, skc12, skc11)) -> of(skc9, skc12, skc11) % 16.80/15.90 43: ifeq2(proposition(X, Y), of(skc9, skc12, skc11), relation(X, Y), of(skc9, skc12, skc11)) -> of(skc9, skc12, skc11) % 16.80/15.90 44: relation(skc9, skc14) -> of(skc9, skc12, skc11) % 16.80/15.90 46: ifeq2(smoke(X, Y), of(skc9, skc12, skc11), event(X, Y), of(skc9, skc12, skc11)) -> of(skc9, skc12, skc11) % 16.80/15.90 48: ifeq2(vincent_forename(X, Y), of(skc9, skc12, skc11), forename(X, Y), of(skc9, skc12, skc11)) -> of(skc9, skc12, skc11) % 16.80/15.90 50: ifeq2(organism(X, Y), of(skc9, skc12, skc11), entity(X, Y), of(skc9, skc12, skc11)) -> of(skc9, skc12, skc11) % 16.80/15.90 52: ifeq2(event(X, Y), of(skc9, skc12, skc11), eventuality(X, Y), of(skc9, skc12, skc11)) -> of(skc9, skc12, skc11) % 16.80/15.90 53: of(skc9, skc12, skc11) -> eventuality(skc9, skc15) % 16.80/15.90 54: eventuality(skc9, skc10) -> eventuality(skc9, skc15) % 16.80/15.90 55: unisex(skc9, skc10) -> eventuality(skc9, skc15) % 16.80/15.90 57: ifeq2(entity(X, Y), eventuality(skc9, skc15), thing(X, Y), eventuality(skc9, skc15)) -> eventuality(skc9, skc15) % 16.80/15.90 59: ifeq2(man(X, Y), eventuality(skc9, skc15), human_person(X, Y), eventuality(skc9, skc15)) -> eventuality(skc9, skc15) % 16.80/15.90 60: eventuality(skc9, skc15) -> human_person(skc9, skc11) % 16.80/15.90 61: human_person(skc9, skc17) -> human_person(skc9, skc11) % 16.80/15.90 62: human_person(skc9, skc11) -> unisex(skc9, skc15) % 16.80/15.90 64: ifeq2(human_person(X, Y), unisex(skc9, skc15), organism(X, Y), unisex(skc9, skc15)) -> unisex(skc9, skc15) % 16.80/15.90 65: organism(skc9, skc17) -> unisex(skc9, skc15) % 16.80/15.90 66: entity(skc9, skc17) -> unisex(skc9, skc15) % 16.80/15.90 67: unisex(skc9, skc15) -> organism(skc9, skc11) % 16.80/15.90 68: thing(skc9, skc17) -> organism(skc9, skc11) % 16.80/15.90 70: ifeq2(entity(X, Y), organism(skc9, skc11), existent(X, Y), organism(skc9, skc11)) -> organism(skc9, skc11) % 16.80/15.90 71: existent(skc9, skc17) -> organism(skc9, skc11) % 16.80/15.90 73: ifeq2(entity(X, Y), organism(skc9, skc11), specific(X, Y), organism(skc9, skc11)) -> organism(skc9, skc11) % 16.80/15.90 74: specific(skc9, skc17) -> organism(skc9, skc11) % 16.80/15.90 76: ifeq2(organism(X, Y), organism(skc9, skc11), impartial(X, Y), organism(skc9, skc11)) -> organism(skc9, skc11) % 16.80/15.90 77: organism(skc9, skc11) -> impartial(skc9, skc11) % 16.80/15.90 78: entity(skc9, skc11) -> impartial(skc9, skc11) % 16.80/15.90 79: specific(skc9, skc11) -> impartial(skc9, skc11) % 16.80/15.90 80: existent(skc9, skc11) -> impartial(skc9, skc11) % 16.80/15.90 81: thing(skc9, skc11) -> impartial(skc9, skc11) % 16.80/15.90 82: impartial(skc9, skc17) -> impartial(skc9, skc11) % 16.80/15.90 84: ifeq2(human_person(X, Y), impartial(skc9, skc11), animate(X, Y), impartial(skc9, skc11)) -> impartial(skc9, skc11) % 16.80/15.90 85: animate(skc9, skc17) -> impartial(skc9, skc11) % 16.80/15.90 86: animate(skc9, skc11) -> impartial(skc9, skc11) % 16.80/15.90 88: ifeq2(organism(X, Y), impartial(skc9, skc11), living(X, Y), impartial(skc9, skc11)) -> impartial(skc9, skc11) % 16.80/15.90 89: living(skc9, skc11) -> impartial(skc9, skc11) % 16.80/15.90 90: living(skc9, skc17) -> impartial(skc9, skc11) % 16.80/15.90 92: ifeq2(human_person(X, Y), impartial(skc9, skc11), human(X, Y), impartial(skc9, skc11)) -> impartial(skc9, skc11) % 16.80/15.90 93: human(skc9, skc17) -> impartial(skc9, skc11) % 16.80/15.90 94: human(skc9, skc11) -> impartial(skc9, skc11) % 16.80/15.90 96: ifeq2(man(X, Y), impartial(skc9, skc11), male(X, Y), impartial(skc9, skc11)) -> impartial(skc9, skc11) % 16.80/15.90 97: male(skc9, skc11) -> impartial(skc9, skc11) % 16.80/15.90 98: male(skc9, skc17) -> impartial(skc9, skc11) % 16.80/15.90 100: ifeq2(relname(X, Y), impartial(skc9, skc11), relation(X, Y), impartial(skc9, skc11)) -> impartial(skc9, skc11) % 16.80/15.90 102: ifeq2(forename(X, Y), impartial(skc9, skc11), relname(X, Y), impartial(skc9, skc11)) -> impartial(skc9, skc11) % 16.80/15.90 103: impartial(skc9, skc11) -> relname(skc9, skc12) % 16.80/15.90 104: relname(skc9, skc12) -> relname(skc9, skc16) % 16.80/15.90 105: relation(skc9, skc12) -> relname(skc9, skc16) % 16.80/15.90 107: ifeq2(relation(X, Y), relname(skc9, skc16), abstraction(X, Y), relname(skc9, skc16)) -> relname(skc9, skc16) % 16.80/15.90 108: abstraction(skc9, skc14) -> relname(skc9, skc16) % 16.80/15.90 109: nonhuman(skc9, skc14) -> relname(skc9, skc16) % 16.80/15.90 110: general(skc9, skc14) -> relname(skc9, skc16) % 16.80/15.90 111: unisex(skc9, skc14) -> relname(skc9, skc16) % 16.80/15.90 112: thing(skc9, skc14) -> relname(skc9, skc16) % 16.80/15.90 113: abstraction(skc9, skc12) -> relname(skc9, skc16) % 16.80/15.90 114: nonhuman(skc9, skc12) -> relname(skc9, skc16) % 16.80/15.90 115: general(skc9, skc12) -> relname(skc9, skc16) % 16.80/15.90 116: unisex(skc9, skc12) -> relname(skc9, skc16) % 16.80/15.90 117: thing(skc9, skc12) -> relname(skc9, skc16) % 16.80/15.90 119: ifeq2(state(X, Y), relname(skc9, skc16), eventuality(X, Y), relname(skc9, skc16)) -> relname(skc9, skc16) % 16.80/15.90 121: ifeq2(eventuality(X, Y), relname(skc9, skc16), thing(X, Y), relname(skc9, skc16)) -> relname(skc9, skc16) % 16.80/15.90 122: thing(skc9, skc15) -> relname(skc9, skc16) % 16.80/15.90 123: thing(skc9, skc10) -> relname(skc9, skc16) % 16.80/15.90 125: ifeq2(eventuality(X, Y), relname(skc9, skc16), specific(X, Y), relname(skc9, skc16)) -> relname(skc9, skc16) % 16.80/15.90 126: specific(skc9, skc15) -> relname(skc9, skc16) % 16.80/15.90 127: specific(skc9, skc10) -> relname(skc9, skc16) % 16.80/15.90 129: ifeq2(thing(X, Y), relname(skc9, skc16), singleton(X, Y), relname(skc9, skc16)) -> relname(skc9, skc16) % 16.80/15.90 130: relname(skc9, skc16) -> singleton(skc9, skc15) % 16.80/15.90 131: relation(skc9, skc16) -> singleton(skc9, skc15) % 16.80/15.90 132: singleton(skc9, skc10) -> singleton(skc9, skc15) % 16.80/15.90 133: singleton(skc9, skc11) -> singleton(skc9, skc15) % 16.80/15.90 134: singleton(skc9, skc14) -> singleton(skc9, skc15) % 16.80/15.90 135: singleton(skc9, skc12) -> singleton(skc9, skc15) % 16.80/15.90 136: singleton(skc9, skc17) -> singleton(skc9, skc15) % 16.80/15.90 137: abstraction(skc9, skc16) -> singleton(skc9, skc15) % 16.80/15.90 138: nonhuman(skc9, skc16) -> singleton(skc9, skc15) % 16.80/15.90 139: general(skc9, skc16) -> singleton(skc9, skc15) % 16.80/15.90 140: unisex(skc9, skc16) -> singleton(skc9, skc15) % 16.80/15.90 141: thing(skc9, skc16) -> singleton(skc9, skc15) % 16.80/15.90 142: singleton(skc9, skc15) -> singleton(skc9, skc16) % 16.80/15.90 144: ifeq2(eventuality(X, Y), singleton(skc9, skc16), nonexistent(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 145: nonexistent(skc9, skc15) -> singleton(skc9, skc16) % 16.80/15.90 146: nonexistent(skc9, skc10) -> singleton(skc9, skc16) % 16.80/15.90 148: ifeq2(man(skc14, X), singleton(skc9, skc16), smoke(skc14, skf1(Y)), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 150: ifeq2(man(skc14, X), singleton(skc9, skc16), present(skc14, skf1(Y)), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 152: ifeq2(man(skc14, X), singleton(skc9, skc16), event(skc14, skf1(Y)), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 154: ifeq2(man(skc14, X), singleton(skc9, skc16), agent(skc14, skf1(X), X), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 156: ifeq(tuple(unisex(X, Y), male(X, Y)), tuple(singleton(skc9, skc16), singleton(skc9, skc16)), a, b) -> b % 16.80/15.90 158: ifeq(tuple(specific(X, Y), general(X, Y)), tuple(singleton(skc9, skc16), singleton(skc9, skc16)), a, b) -> b % 16.80/15.90 160: ifeq(tuple(human(X, Y), nonhuman(X, Y)), tuple(singleton(skc9, skc16), singleton(skc9, skc16)), a, b) -> b % 16.80/15.90 162: ifeq(tuple(nonexistent(X, Y), existent(X, Y)), tuple(singleton(skc9, skc16), singleton(skc9, skc16)), a, b) -> b % 16.80/15.90 163: ifeq3(be(X, Y, Z, W), singleton(skc9, skc16), Z, W) -> W % 16.80/15.90 164: ifeq2(human_person(X, Y), singleton(skc9, skc16), animate(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 165: ifeq2(human_person(X, Y), singleton(skc9, skc16), human(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 166: ifeq2(organism(X, Y), singleton(skc9, skc16), living(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 167: ifeq2(entity(X, Y), singleton(skc9, skc16), existent(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 168: ifeq2(forename(X, Y), singleton(skc9, skc16), relname(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 169: ifeq2(relname(X, Y), singleton(skc9, skc16), relation(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 170: ifeq2(man(X, Y), singleton(skc9, skc16), male(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 171: ifeq2(entity(X, Y), singleton(skc9, skc16), specific(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 172: ifeq2(organism(X, Y), singleton(skc9, skc16), impartial(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 173: ifeq2(man(X, Y), singleton(skc9, skc16), human_person(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 174: ifeq2(entity(X, Y), singleton(skc9, skc16), thing(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 175: ifeq2(abstraction(X, Y), singleton(skc9, skc16), nonhuman(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 176: ifeq2(jules_forename(X, Y), singleton(skc9, skc16), forename(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 177: ifeq2(abstraction(X, Y), singleton(skc9, skc16), general(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 178: ifeq2(abstraction(X, Y), singleton(skc9, skc16), unisex(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 179: ifeq2(vincent_forename(X, Y), singleton(skc9, skc16), forename(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 180: ifeq2(organism(X, Y), singleton(skc9, skc16), entity(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 181: ifeq2(smoke(X, Y), singleton(skc9, skc16), event(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 182: ifeq2(proposition(X, Y), singleton(skc9, skc16), relation(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 183: ifeq2(abstraction(X, Y), singleton(skc9, skc16), thing(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 184: ifeq2(eventuality(X, Y), singleton(skc9, skc16), unisex(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 185: ifeq2(state(X, Y), singleton(skc9, skc16), event(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 186: ifeq2(event(X, Y), singleton(skc9, skc16), eventuality(X, Y), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 188: ifeq2(accessible_world(X, Y), singleton(skc9, skc16), ifeq2(nonhuman(X, Z), singleton(skc9, skc16), nonhuman(Y, Z), singleton(skc9, skc16)), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 189: ifeq2(nonhuman(skc9, X), singleton(skc9, skc16), nonhuman(skc14, X), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 190: nonhuman(skc14, skc14) -> singleton(skc9, skc16) % 16.80/15.90 191: nonhuman(skc14, skc12) -> singleton(skc9, skc16) % 16.80/15.90 192: nonhuman(skc14, skc16) -> singleton(skc9, skc16) % 16.80/15.90 194: ifeq2(accessible_world(X, Y), singleton(skc9, skc16), ifeq2(unisex(X, Z), singleton(skc9, skc16), unisex(Y, Z), singleton(skc9, skc16)), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 195: ifeq2(unisex(skc9, X), singleton(skc9, skc16), unisex(skc14, X), singleton(skc9, skc16)) -> singleton(skc9, skc16) % 16.80/15.90 196: unisex(skc14, skc10) -> singleton(skc9, skc16) % 16.80/15.90 197: singleton(skc9, skc16) -> unisex(skc14, skc14) % 16.80/15.90 198: unisex(skc14, skc14) -> unisex(skc14, skc15) % 16.80/15.90 199: unisex(skc14, skc12) -> unisex(skc14, skc15) % 16.80/15.90 200: unisex(skc14, skc15) -> unisex(skc14, skc16) % 16.80/15.90 201: ifeq3(be(X, Y, Z, W), unisex(skc14, skc16), Z, W) -> W % 16.80/15.90 203: ifeq2(accessible_world(X, Y), unisex(skc14, skc16), ifeq2(eventuality(X, Z), unisex(skc14, skc16), eventuality(Y, Z), unisex(skc14, skc16)), unisex(skc14, skc16)) -> unisex(skc14, skc16) % 16.80/15.90 204: ifeq2(eventuality(skc9, X), unisex(skc14, skc16), eventuality(skc14, X), unisex(skc14, skc16)) -> unisex(skc14, skc16) % 16.80/15.90 205: eventuality(skc14, skc15) -> unisex(skc14, skc16) % 16.80/15.90 206: nonexistent(skc14, skc15) -> unisex(skc14, skc16) % 16.80/15.90 207: specific(skc14, skc15) -> unisex(skc14, skc16) % 16.80/15.90 208: thing(skc14, skc15) -> unisex(skc14, skc16) % 16.80/15.90 209: eventuality(skc14, skc10) -> unisex(skc14, skc16) % 16.80/15.90 210: nonexistent(skc14, skc10) -> unisex(skc14, skc16) % 16.80/15.90 211: specific(skc14, skc10) -> unisex(skc14, skc16) % 16.80/15.90 212: thing(skc14, skc10) -> unisex(skc14, skc16) % 16.80/15.90 213: unisex(skc14, skc16) -> singleton(skc14, skc15) % 16.80/15.90 214: singleton(skc14, skc10) -> singleton(skc14, skc15) % 16.80/15.90 215: ifeq3(be(X, Y, Z, W), singleton(skc14, skc15), Z, W) -> W % 16.80/15.90 217: ifeq2(accessible_world(X, Y), singleton(skc14, skc15), ifeq2(state(X, Z), singleton(skc14, skc15), state(Y, Z), singleton(skc14, skc15)), singleton(skc14, skc15)) -> singleton(skc14, skc15) % 16.80/15.90 218: ifeq2(state(skc9, X), singleton(skc14, skc15), state(skc14, X), singleton(skc14, skc15)) -> singleton(skc14, skc15) % 16.80/15.90 219: state(skc14, skc10) -> singleton(skc14, skc15) % 16.80/15.90 220: event(skc14, skc10) -> singleton(skc14, skc15) % 16.80/15.90 221: ifeq2(accessible_world(skc9, X), singleton(skc14, skc15), state(X, skc10), singleton(skc14, skc15)) -> singleton(skc14, skc15) % 16.80/15.90 223: ifeq2(accessible_world(X, Y), singleton(skc14, skc15), ifeq2(thing(X, Z), singleton(skc14, skc15), thing(Y, Z), singleton(skc14, skc15)), singleton(skc14, skc15)) -> singleton(skc14, skc15) % 16.80/15.90 224: ifeq2(thing(skc9, X), singleton(skc14, skc15), thing(skc14, X), singleton(skc14, skc15)) -> singleton(skc14, skc15) % 16.80/15.90 225: thing(skc14, skc11) -> singleton(skc14, skc15) % 16.80/15.90 226: thing(skc14, skc14) -> singleton(skc14, skc15) % 16.80/15.90 227: singleton(skc14, skc14) -> singleton(skc14, skc15) % 16.80/15.90 228: thing(skc14, skc12) -> singleton(skc14, skc15) % 16.80/15.90 229: singleton(skc14, skc11) -> singleton(skc14, skc15) % 16.80/15.90 230: thing(skc14, skc17) -> singleton(skc14, skc15) % 16.80/15.90 231: singleton(skc14, skc17) -> singleton(skc14, skc15) % 16.80/15.90 232: singleton(skc14, skc12) -> singleton(skc14, skc15) % 16.80/15.90 233: thing(skc14, skc16) -> singleton(skc14, skc15) % 16.80/15.90 234: singleton(skc14, skc15) -> singleton(skc14, skc16) % 16.80/15.90 236: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(specific(X, Z), singleton(skc14, skc16), specific(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 237: ifeq2(specific(skc9, X), singleton(skc14, skc16), specific(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 238: specific(skc14, skc11) -> singleton(skc14, skc16) % 16.80/15.90 239: specific(skc14, skc17) -> singleton(skc14, skc16) % 16.80/15.90 241: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(singleton(X, Z), singleton(skc14, skc16), singleton(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 242: ifeq2(singleton(skc9, X), singleton(skc14, skc16), singleton(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 243: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), singleton(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 245: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(nonexistent(X, Z), singleton(skc14, skc16), nonexistent(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 246: ifeq2(nonexistent(skc9, X), singleton(skc14, skc16), nonexistent(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 248: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(organism(X, Z), singleton(skc14, skc16), organism(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 249: ifeq2(organism(skc9, X), singleton(skc14, skc16), organism(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 250: organism(skc14, skc11) -> singleton(skc14, skc16) % 16.80/15.90 251: entity(skc14, skc11) -> singleton(skc14, skc16) % 16.80/15.90 252: impartial(skc14, skc11) -> singleton(skc14, skc16) % 16.80/15.90 253: living(skc14, skc11) -> singleton(skc14, skc16) % 16.80/15.90 254: organism(skc14, skc17) -> singleton(skc14, skc16) % 16.80/15.90 255: entity(skc14, skc17) -> singleton(skc14, skc16) % 16.80/15.90 256: impartial(skc14, skc17) -> singleton(skc14, skc16) % 16.80/15.90 257: living(skc14, skc17) -> singleton(skc14, skc16) % 16.80/15.90 258: existent(skc14, skc11) -> singleton(skc14, skc16) % 16.80/15.90 259: existent(skc14, skc17) -> singleton(skc14, skc16) % 16.80/15.90 261: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(man(X, Z), singleton(skc14, skc16), man(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 262: ifeq2(man(skc9, X), singleton(skc14, skc16), man(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 263: man(skc14, skc11) -> singleton(skc14, skc16) % 16.80/15.90 264: man(skc14, skc17) -> singleton(skc14, skc16) % 16.80/15.90 265: human_person(skc14, skc17) -> singleton(skc14, skc16) % 16.80/15.90 266: male(skc14, skc17) -> singleton(skc14, skc16) % 16.80/15.90 267: male(skc14, skc11) -> singleton(skc14, skc16) % 16.80/15.90 268: human_person(skc14, skc11) -> singleton(skc14, skc16) % 16.80/15.90 269: human(skc14, skc11) -> singleton(skc14, skc16) % 16.80/15.90 270: animate(skc14, skc11) -> singleton(skc14, skc16) % 16.80/15.90 271: animate(skc14, skc17) -> singleton(skc14, skc16) % 16.80/15.90 272: human(skc14, skc17) -> singleton(skc14, skc16) % 16.80/15.90 273: present(skc14, skf1(X)) -> singleton(skc14, skc16) % 16.80/15.90 274: event(skc14, skf1(X)) -> singleton(skc14, skc16) % 16.80/15.90 275: smoke(skc14, skf1(X)) -> singleton(skc14, skc16) % 16.80/15.90 276: eventuality(skc14, skf1(X)) -> singleton(skc14, skc16) % 16.80/15.90 277: unisex(skc14, skf1(X)) -> singleton(skc14, skc16) % 16.80/15.90 278: specific(skc14, skf1(X)) -> singleton(skc14, skc16) % 16.80/15.90 279: nonexistent(skc14, skf1(X)) -> singleton(skc14, skc16) % 16.80/15.90 280: thing(skc14, skf1(X)) -> singleton(skc14, skc16) % 16.80/15.90 281: agent(skc14, skf1(skc17), skc17) -> singleton(skc14, skc16) % 16.80/15.90 282: agent(skc14, skf1(skc11), skc11) -> singleton(skc14, skc16) % 16.80/15.90 283: singleton(skc14, skf1(X)) -> singleton(skc14, skc16) % 16.80/15.90 284: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), man(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 285: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), man(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 287: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(human_person(X, Z), singleton(skc14, skc16), human_person(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 288: ifeq2(human_person(skc9, X), singleton(skc14, skc16), human_person(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 290: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(event(X, Z), singleton(skc14, skc16), event(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 291: ifeq2(event(skc9, X), singleton(skc14, skc16), event(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 292: event(skc14, skc15) -> singleton(skc14, skc16) % 16.80/15.90 293: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), event(X, skc15), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 295: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(entity(X, Z), singleton(skc14, skc16), entity(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 296: ifeq2(entity(skc9, X), singleton(skc14, skc16), entity(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 298: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(impartial(X, Z), singleton(skc14, skc16), impartial(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 299: ifeq2(impartial(skc9, X), singleton(skc14, skc16), impartial(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 301: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(existent(X, Z), singleton(skc14, skc16), existent(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 302: ifeq2(existent(skc9, X), singleton(skc14, skc16), existent(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 304: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(living(X, Z), singleton(skc14, skc16), living(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 305: ifeq2(living(skc9, X), singleton(skc14, skc16), living(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 307: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(male(X, Z), singleton(skc14, skc16), male(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 308: ifeq2(male(skc9, X), singleton(skc14, skc16), male(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 310: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(animate(X, Z), singleton(skc14, skc16), animate(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 311: ifeq2(animate(skc9, X), singleton(skc14, skc16), animate(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 313: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(human(X, Z), singleton(skc14, skc16), human(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 314: ifeq2(human(skc9, X), singleton(skc14, skc16), human(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 316: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(forename(X, Z), singleton(skc14, skc16), forename(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 317: ifeq2(forename(skc9, X), singleton(skc14, skc16), forename(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 318: forename(skc14, skc12) -> singleton(skc14, skc16) % 16.80/15.90 319: forename(skc14, skc16) -> singleton(skc14, skc16) % 16.80/15.90 320: relname(skc14, skc16) -> singleton(skc14, skc16) % 16.80/15.90 321: relname(skc14, skc12) -> singleton(skc14, skc16) % 16.80/15.90 322: relation(skc14, skc12) -> singleton(skc14, skc16) % 16.80/15.90 323: relation(skc14, skc16) -> singleton(skc14, skc16) % 16.80/15.90 324: abstraction(skc14, skc16) -> singleton(skc14, skc16) % 16.80/15.90 325: abstraction(skc14, skc12) -> singleton(skc14, skc16) % 16.80/15.90 326: general(skc14, skc12) -> singleton(skc14, skc16) % 16.80/15.90 327: general(skc14, skc16) -> singleton(skc14, skc16) % 16.80/15.90 328: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), forename(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 329: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), forename(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 331: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(relation(X, Z), singleton(skc14, skc16), relation(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 332: ifeq2(relation(skc9, X), singleton(skc14, skc16), relation(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 333: relation(skc14, skc14) -> singleton(skc14, skc16) % 16.80/15.90 334: abstraction(skc14, skc14) -> singleton(skc14, skc16) % 16.80/15.90 335: general(skc14, skc14) -> singleton(skc14, skc16) % 16.80/15.90 337: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(relname(X, Z), singleton(skc14, skc16), relname(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 338: ifeq2(relname(skc9, X), singleton(skc14, skc16), relname(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 340: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(abstraction(X, Z), singleton(skc14, skc16), abstraction(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 341: ifeq2(abstraction(skc9, X), singleton(skc14, skc16), abstraction(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 343: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(smoke(X, Z), singleton(skc14, skc16), smoke(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 344: ifeq2(smoke(skc9, X), singleton(skc14, skc16), smoke(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 346: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(general(X, Z), singleton(skc14, skc16), general(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 347: ifeq2(general(skc9, X), singleton(skc14, skc16), general(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 349: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(jules_forename(X, Z), singleton(skc14, skc16), jules_forename(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 350: ifeq2(jules_forename(skc9, X), singleton(skc14, skc16), jules_forename(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 351: jules_forename(skc14, skc12) -> singleton(skc14, skc16) % 16.80/15.90 352: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), jules_forename(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 354: ifeq2(present(X, Y), singleton(skc14, skc16), ifeq2(accessible_world(X, Z), singleton(skc14, skc16), present(Z, Y), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 355: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), present(X, skc15), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 356: present(skc14, skc15) -> singleton(skc14, skc16) % 16.80/15.90 357: ifeq2(present(skc9, X), singleton(skc14, skc16), present(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 359: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(proposition(X, Z), singleton(skc14, skc16), proposition(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 360: ifeq2(proposition(skc9, X), singleton(skc14, skc16), proposition(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 361: proposition(skc14, skc14) -> singleton(skc14, skc16) % 16.80/15.90 362: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), proposition(X, skc14), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 364: ifeq2(think_believe_consider(X, Y), singleton(skc14, skc16), ifeq2(accessible_world(X, Z), singleton(skc14, skc16), think_believe_consider(Z, Y), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 365: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), think_believe_consider(X, skc15), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 366: think_believe_consider(skc14, skc15) -> singleton(skc14, skc16) % 16.80/15.90 367: ifeq2(think_believe_consider(skc9, X), singleton(skc14, skc16), think_believe_consider(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 369: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(vincent_forename(X, Z), singleton(skc14, skc16), vincent_forename(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 370: ifeq2(vincent_forename(skc9, X), singleton(skc14, skc16), vincent_forename(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 371: vincent_forename(skc14, skc16) -> singleton(skc14, skc16) % 16.80/15.90 372: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), vincent_forename(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 373: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), relname(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 374: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), event(X, skc10), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 375: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), relation(X, skc14), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 376: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), eventuality(X, skc15), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 377: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), male(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 378: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), male(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 379: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), impartial(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 380: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), human_person(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 381: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), organism(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 382: ifeq2(accessible_world(skc9, skc9), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 383: ifeq2(state(skc9, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 384: ifeq2(relname(skc9, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 385: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), present(X, skc15), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 386: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), proposition(X, skc14), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 387: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), jules_forename(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 388: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), state(X, skc10), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 389: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), thing(X, skc15), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 390: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), abstraction(X, skc14), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 391: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), human(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 392: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), eventuality(X, skc15), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 393: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), entity(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 394: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), organism(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 395: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), event(X, skc15), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 396: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), animate(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 397: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), living(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 398: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), forename(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 399: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), forename(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 400: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), nonexistent(X, skc15), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 401: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), human_person(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 402: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), organism(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 403: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), man(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 404: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), man(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 405: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), specific(X, skc15), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 406: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), think_believe_consider(X, skc15), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 407: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), vincent_forename(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 408: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), relation(X, skc14), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 409: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), eventuality(X, skc10), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 410: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), relation(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 411: ifeq2(state(skc14, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 412: ifeq2(relname(skc14, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 413: ifeq2(proposition(skc9, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 414: ifeq2(vincent_forename(skc9, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 415: ifeq2(smoke(skc9, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 416: ifeq2(smoke(skc9, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 417: ifeq2(abstraction(skc9, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 418: ifeq2(relation(X, Y), singleton(skc14, skc16), abstraction(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 419: ifeq2(eventuality(X, Y), singleton(skc14, skc16), thing(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 420: ifeq2(thing(X, Y), singleton(skc14, skc16), singleton(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 421: ifeq2(state(X, Y), singleton(skc14, skc16), eventuality(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 422: ifeq2(eventuality(X, Y), singleton(skc14, skc16), specific(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 423: ifeq2(entity(skc9, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 424: ifeq2(human_person(X, Y), singleton(skc14, skc16), organism(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 425: ifeq2(vincent_forename(skc14, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 426: ifeq2(jules_forename(skc9, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 427: ifeq2(smoke(skc14, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 428: ifeq2(jules_forename(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 429: ifeq3(be(X, Y, Z, W), singleton(skc14, skc16), Z, W) -> W % 16.80/15.90 430: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), living(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 431: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), male(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 432: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), male(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 433: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), animate(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 434: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), nonhuman(X, skc14), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 435: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), specific(X, skc15), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 436: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), specific(X, skc10), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 437: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), specific(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 438: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), human_person(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 439: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), general(X, skc14), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 440: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), relname(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 441: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), relname(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 442: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), relname(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 443: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), nonexistent(X, skc15), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 444: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), nonexistent(X, skc10), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 445: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), living(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 446: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), event(X, skc10), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 447: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), entity(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 448: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), impartial(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 449: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), organism(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 450: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), human_person(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 451: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), entity(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 452: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), eventuality(X, skc10), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 453: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), thing(X, skc10), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 454: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), thing(X, skc15), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 455: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), thing(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 456: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), thing(X, skc14), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 457: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), unisex(X, skc10), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 458: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), unisex(X, skc14), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 459: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), unisex(X, skc15), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 460: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), abstraction(X, skc14), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 461: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), abstraction(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 462: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), existent(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 463: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), impartial(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 464: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), human(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 465: ifeq2(man(skc14, X), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 466: ifeq2(accessible_world(skc14, skc9), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 467: ifeq2(human_person(X, Y), singleton(skc14, skc16), animate(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 468: ifeq2(entity(skc14, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 469: ifeq2(eventuality(X, Y), singleton(skc14, skc16), nonexistent(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 470: ifeq2(abstraction(skc14, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 471: ifeq2(smoke(skc14, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 472: ifeq2(eventuality(skc9, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 473: ifeq2(entity(skc9, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 474: ifeq2(organism(X, Y), singleton(skc14, skc16), entity(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 475: ifeq2(abstraction(skc9, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 476: ifeq2(entity(skc9, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 477: ifeq2(eventuality(skc9, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 478: ifeq2(abstraction(skc9, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 479: ifeq2(event(X, Y), singleton(skc14, skc16), eventuality(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 480: ifeq2(state(X, Y), singleton(skc14, skc16), event(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 481: ifeq2(eventuality(X, Y), singleton(skc14, skc16), unisex(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 482: ifeq2(abstraction(X, Y), singleton(skc14, skc16), thing(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 483: ifeq2(proposition(X, Y), singleton(skc14, skc16), relation(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 484: ifeq2(smoke(X, Y), singleton(skc14, skc16), event(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 485: ifeq2(abstraction(X, Y), singleton(skc14, skc16), unisex(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 486: ifeq2(vincent_forename(X, Y), singleton(skc14, skc16), forename(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 487: ifeq2(abstraction(X, Y), singleton(skc14, skc16), general(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 488: ifeq2(jules_forename(X, Y), singleton(skc14, skc16), forename(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 489: ifeq2(entity(X, Y), singleton(skc14, skc16), thing(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 490: ifeq2(abstraction(X, Y), singleton(skc14, skc16), nonhuman(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 491: ifeq2(man(X, Y), singleton(skc14, skc16), human_person(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 492: ifeq2(organism(X, Y), singleton(skc14, skc16), impartial(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 493: ifeq2(man(X, Y), singleton(skc14, skc16), male(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 494: ifeq2(entity(X, Y), singleton(skc14, skc16), specific(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 495: ifeq2(relname(X, Y), singleton(skc14, skc16), relation(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 496: ifeq2(forename(X, Y), singleton(skc14, skc16), relname(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 497: ifeq2(entity(X, Y), singleton(skc14, skc16), existent(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 498: ifeq2(organism(X, Y), singleton(skc14, skc16), living(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 499: ifeq2(human_person(X, Y), singleton(skc14, skc16), human(X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 501: ifeq2(theme(X, Y, Z), singleton(skc14, skc16), ifeq2(accessible_world(X, W), singleton(skc14, skc16), theme(W, Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 502: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), theme(X, skc15, skc14), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 503: theme(skc14, skc15, skc14) -> singleton(skc14, skc16) % 16.80/15.90 504: ifeq2(theme(skc9, X, Y), singleton(skc14, skc16), theme(skc14, X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 506: ifeq2(agent(X, Y, Z), singleton(skc14, skc16), ifeq2(accessible_world(X, W), singleton(skc14, skc16), agent(W, Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 507: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), agent(X, skc15, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 508: agent(skc14, skc15, skc17) -> singleton(skc14, skc16) % 16.80/15.90 509: ifeq2(agent(skc9, X, Y), singleton(skc14, skc16), agent(skc14, X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 511: ifeq2(of(X, Y, Z), singleton(skc14, skc16), ifeq2(accessible_world(X, W), singleton(skc14, skc16), of(W, Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 512: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), of(X, skc12, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 513: of(skc14, skc12, skc11) -> singleton(skc14, skc16) % 16.80/15.90 514: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), of(X, skc16, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 515: of(skc14, skc16, skc17) -> singleton(skc14, skc16) % 16.80/15.90 516: ifeq2(of(skc9, X, Y), singleton(skc14, skc16), of(skc14, X, Y), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 517: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), of(X, skc16, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 518: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), agent(X, skc15, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 519: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), of(X, skc12, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 520: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), theme(X, skc15, skc14), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 521: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), living(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 522: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), unisex(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 523: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), relation(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 524: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), relation(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 525: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), relation(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 526: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), existent(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 527: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), human(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 528: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), specific(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 529: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), impartial(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 530: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), thing(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 531: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), entity(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 532: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), unisex(X, skc14), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 533: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), animate(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 534: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), thing(X, skc10), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 535: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), thing(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 536: ifeq2(unisex(skc9, X), singleton(skc14, skc16), unisex(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 537: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), thing(X, skc14), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 538: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), singleton(X, skc10), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 539: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), singleton(X, skc14), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 540: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), singleton(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 541: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), singleton(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 542: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), nonexistent(X, skc10), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 543: ifeq2(eventuality(skc9, X), singleton(skc14, skc16), eventuality(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 544: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), unisex(X, skc10), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 545: ifeq2(nonhuman(skc9, X), singleton(skc14, skc16), nonhuman(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 546: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), nonhuman(X, skc14), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 547: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), animate(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 548: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), nonhuman(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 549: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), specific(X, skc10), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 550: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), thing(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 551: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), general(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 552: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), general(X, skc14), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 553: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), specific(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 554: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), human(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 555: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), existent(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 556: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), unisex(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 557: ifeq2(eventuality(skc14, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 558: ifeq2(proposition(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 559: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), smoke(X, skf1(Y)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 560: ifeq2(eventuality(skc14, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 561: ifeq2(entity(skc14, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 562: ifeq2(proposition(skc14, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 563: ifeq2(eventuality(skc9, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 564: ifeq2(abstraction(skc14, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 565: ifeq2(entity(skc9, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 566: ifeq2(entity(skc14, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 567: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), present(X, skf1(Y)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 568: ifeq2(abstraction(skc14, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 569: ifeq2(abstraction(skc9, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 570: ifeq2(eventuality(skc9, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 571: ifeq2(proposition(skc9, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 572: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), event(X, skf1(Y)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 573: ifeq2(eventuality(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 574: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), abstraction(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 575: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), singleton(X, skc14), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 576: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), singleton(X, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 577: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), existent(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 578: ifeq2(present(skc9, skf1(X)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 579: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), abstraction(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 580: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), unisex(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 581: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), singleton(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 582: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), singleton(X, skc10), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 583: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), singleton(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 584: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), specific(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 585: ifeq2(smoke(skc9, skf1(X)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 586: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), abstraction(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 587: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), thing(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 588: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), thing(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 589: ifeq2(state(skc14, skf1(X)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 590: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), nonhuman(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 591: ifeq2(event(skc9, skf1(X)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 592: ifeq2(eventuality(skc14, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 593: ifeq2(eventuality(skc14, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 594: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), eventuality(X, skf1(Y)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 595: ifeq2(entity(skc14, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 596: ifeq2(abstraction(skc14, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 597: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), unisex(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 598: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), general(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 599: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), general(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 600: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), singleton(X, skc12), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 601: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), singleton(X, skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 602: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), nonhuman(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 603: ifeq2(eventuality(skc9, skf1(X)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 604: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), thing(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 605: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), general(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 606: ifeq2(entity(skc9, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 607: ifeq2(eventuality(skc9, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 608: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), agent(X, skf1(skc11), skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 609: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), agent(X, skf1(skc17), skc17), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 610: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), unisex(X, skf1(Y)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 611: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), specific(X, skf1(Y)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 612: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), thing(X, skf1(Y)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 613: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), nonexistent(X, skf1(Y)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 615: ifeq2(be(X, Y, Z, W), singleton(skc14, skc16), ifeq2(accessible_world(X, V), singleton(skc14, skc16), be(V, Y, Z, W), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 616: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), be(X, skc10, skc11, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 617: be(skc14, skc10, skc11, skc11) -> singleton(skc14, skc16) % 16.80/15.90 618: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), be(X, skc10, skc11, skc11), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 619: ifeq2(be(skc9, X, Y, Z), singleton(skc14, skc16), be(skc14, X, Y, Z), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 620: ifeq2(entity(skc14, skf1(X)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 621: ifeq2(abstraction(skc14, skf1(X)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 622: ifeq2(nonexistent(skc9, skf1(X)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 623: ifeq2(unisex(skc9, skf1(X)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 624: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), thing(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 625: ifeq2(agent(skc9, skf1(skc17), skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 626: ifeq2(thing(skc9, skf1(X)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 627: ifeq2(specific(skc9, skf1(X)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 628: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), nonhuman(X, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 629: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), unisex(X, skc15), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 630: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), singleton(X, skc15), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 631: ifeq2(agent(skc9, skf1(skc11), skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 632: ifeq2(man(skc14, X), singleton(skc14, skc16), agent(skc14, skf1(X), X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 633: ifeq2(entity(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 634: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), singleton(X, skf1(Y)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 635: ifeq(tuple(unisex(skc9, skc17), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 636: ifeq(tuple(unisex(skc9, skc11), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 637: ifeq2(accessible_world(skc14, X), singleton(skc14, skc16), singleton(X, skc15), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 638: ifeq2(thing(skc9, X), singleton(skc14, skc16), thing(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 639: ifeq2(state(skc9, X), singleton(skc14, skc16), state(skc14, X), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 640: ifeq2(accessible_world(skc9, X), singleton(skc14, skc16), state(X, skc10), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 641: ifeq2(singleton(skc9, skf1(X)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 642: ifeq(tuple(singleton(skc14, skc16), general(skc9, skc15)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 643: ifeq(tuple(singleton(skc14, skc16), nonhuman(skc9, skc17)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 644: ifeq(tuple(singleton(skc14, skc16), existent(skc9, skc15)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 645: ifeq(tuple(nonexistent(skc9, skc11), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 646: ifeq(tuple(nonexistent(X, Y), existent(X, Y)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 647: ifeq(tuple(human(X, Y), nonhuman(X, Y)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 648: ifeq(tuple(specific(X, Y), general(X, Y)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 649: ifeq(tuple(singleton(skc14, skc16), general(skc9, skc10)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 650: ifeq(tuple(singleton(skc14, skc16), nonhuman(skc9, skc11)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 651: ifeq(tuple(human(skc9, skc14), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 652: ifeq(tuple(singleton(skc14, skc16), general(skc9, skc11)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 653: ifeq(tuple(specific(skc9, skc14), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 654: ifeq(tuple(singleton(skc14, skc16), male(skc9, skc10)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 655: ifeq(tuple(singleton(skc14, skc16), male(skc9, skc14)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 656: ifeq(tuple(unisex(skc14, skc17), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 657: ifeq(tuple(unisex(X, Y), male(X, Y)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 658: ifeq(tuple(singleton(skc14, skc16), existent(skc9, skc10)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 659: ifeq(tuple(singleton(skc14, skc16), male(skc9, skc15)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 660: ifeq(tuple(singleton(skc14, skc16), existent(skc14, skc15)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 661: ifeq(tuple(singleton(skc14, skc16), general(skc14, skc15)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 662: ifeq(tuple(unisex(skc14, skc11), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 663: ifeq(tuple(singleton(skc14, skc16), nonhuman(skc14, skc17)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 664: ifeq(tuple(singleton(skc14, skc16), nonhuman(skc14, skc11)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 665: ifeq(tuple(singleton(skc14, skc16), general(skc9, skc17)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 666: ifeq(tuple(human(skc9, skc12), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 667: ifeq(tuple(human(skc14, skc14), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 668: ifeq(tuple(singleton(skc14, skc16), male(skc14, skc14)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 669: ifeq(tuple(singleton(skc14, skc16), male(skc14, skc10)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 670: ifeq(tuple(singleton(skc14, skc16), male(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 671: ifeq(tuple(nonexistent(skc14, skc11), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 672: ifeq(tuple(singleton(skc14, skc16), male(skc9, skc12)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 673: ifeq(tuple(specific(skc9, skc12), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 674: ifeq(tuple(nonexistent(skc9, skc17), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 675: ifeq(tuple(singleton(skc14, skc16), general(skc14, skc11)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 676: ifeq(tuple(specific(skc14, skc14), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 677: ifeq(tuple(singleton(skc14, skc16), existent(skc14, skc10)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 678: ifeq(tuple(singleton(skc14, skc16), general(skc14, skc10)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 679: ifeq(tuple(singleton(skc14, skc16), male(skc14, skc12)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 680: ifeq(tuple(human(skc14, skc12), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 681: ifeq(tuple(nonexistent(skc14, skc17), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 682: ifeq(tuple(singleton(skc14, skc16), general(skc14, skc17)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 683: ifeq(tuple(specific(skc14, skc16), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 684: ifeq(tuple(specific(skc9, skc16), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 685: ifeq(tuple(human(skc9, skc16), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 686: ifeq(tuple(specific(skc14, skc12), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 687: ifeq(tuple(singleton(skc14, skc16), male(skc9, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 688: ifeq(tuple(singleton(skc14, skc16), male(skc14, skf1(X))), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 689: ifeq(tuple(singleton(skc14, skc16), general(skc14, skf1(X))), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 690: ifeq(tuple(singleton(skc14, skc16), existent(skc14, skf1(X))), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 691: ifeq(tuple(singleton(skc14, skc16), male(skc14, skc15)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 692: ifeq(tuple(human(skc14, skc16), singleton(skc14, skc16)), tuple(singleton(skc14, skc16), singleton(skc14, skc16)), a, b) -> b % 16.80/15.90 693: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(state(X, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 694: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(proposition(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 695: ifeq2(think_believe_consider(X, skc15), singleton(skc14, skc16), ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 696: ifeq2(present(X, skc15), singleton(skc14, skc16), ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 697: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(vincent_forename(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 698: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(man(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 699: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(man(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 700: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(jules_forename(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 701: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(forename(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 702: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(forename(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 703: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(event(X, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 704: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(event(X, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 705: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(male(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 706: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(male(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 707: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(organism(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 708: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(human_person(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 709: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(eventuality(X, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 710: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(relname(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 711: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(impartial(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 712: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(relation(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 713: ifeq2(theme(X, skc15, skc14), singleton(skc14, skc16), ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 714: ifeq2(agent(X, skc15, skc17), singleton(skc14, skc16), ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 715: ifeq2(of(X, skc16, skc17), singleton(skc14, skc16), ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 716: ifeq2(of(X, skc12, skc11), singleton(skc14, skc16), ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 717: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(vincent_forename(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 718: ifeq2(think_believe_consider(X, skc15), singleton(skc14, skc16), ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 719: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(thing(X, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 720: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(entity(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 721: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(organism(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 722: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(animate(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 723: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(relation(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 724: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(human(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 725: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(eventuality(X, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 726: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(man(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 727: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(specific(X, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 728: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(living(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 729: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(event(X, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 730: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(eventuality(X, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 731: ifeq2(present(X, skc15), singleton(skc14, skc16), ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 732: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(human_person(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 733: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(proposition(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 734: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(jules_forename(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 735: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(relation(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 736: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(state(X, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 737: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(abstraction(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 738: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(man(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 739: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(organism(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 740: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(nonexistent(X, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 741: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(forename(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 742: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(forename(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 743: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(nonexistent(X, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 744: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(thing(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 745: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(animate(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 746: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(abstraction(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 747: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(human(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 748: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(nonexistent(X, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 749: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(unisex(X, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 750: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(human_person(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 751: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(relname(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 752: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(relname(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 753: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(entity(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 754: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(existent(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 755: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(human_person(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 756: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(organism(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 757: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(event(X, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 758: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(general(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 759: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(abstraction(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 760: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(thing(X, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 761: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(thing(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 762: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(thing(X, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 763: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(nonhuman(X, Z), singleton(skc14, skc16), nonhuman(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 764: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(nonhuman(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 765: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(eventuality(X, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 766: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(entity(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 767: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(male(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 768: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(living(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 769: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(specific(X, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 770: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(specific(X, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 771: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(specific(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 772: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(impartial(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 773: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(impartial(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 774: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(eventuality(X, Z), singleton(skc14, skc16), eventuality(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 775: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(unisex(X, Z), singleton(skc14, skc16), unisex(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 776: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(relname(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 777: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(living(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 778: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(male(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 779: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(unisex(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 780: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(unisex(X, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 781: ifeq2(be(X, skc10, skc11, skc11), singleton(skc14, skc16), ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 782: ifeq2(agent(X, skc15, skc17), singleton(skc14, skc16), ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 783: ifeq2(theme(X, skc15, skc14), singleton(skc14, skc16), ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 784: ifeq2(of(X, skc12, skc11), singleton(skc14, skc16), ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 785: ifeq2(of(X, skc16, skc17), singleton(skc14, skc16), ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 786: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(entity(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 787: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(animate(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 788: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(animate(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 789: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(relation(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 790: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(relation(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 791: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(specific(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 792: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(thing(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 793: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(singleton(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 794: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(unisex(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 795: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(human(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 796: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(existent(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 797: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(general(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 798: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(existent(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 799: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(thing(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 800: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(general(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 801: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(thing(X, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 802: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(thing(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 803: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(unisex(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 804: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(nonexistent(X, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 805: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(human(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 806: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(specific(X, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 807: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(specific(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 808: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(thing(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 809: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(impartial(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 810: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(living(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 811: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(nonhuman(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 812: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(unisex(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 813: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(singleton(X, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 814: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(singleton(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 815: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(singleton(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 816: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(unisex(X, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 817: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(relation(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 818: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(nonhuman(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 819: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(event(X, skf1(Y)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 820: ifeq2(present(X, skf1(Y)), singleton(skc14, skc16), ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 821: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(smoke(X, skf1(Y)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 822: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(nonhuman(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 823: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(singleton(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 824: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(specific(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 825: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(abstraction(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 826: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(singleton(X, skc11), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 827: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(thing(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 828: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(abstraction(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 829: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(existent(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 830: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(unisex(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 831: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(thing(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 832: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(abstraction(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 833: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(singleton(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 834: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(singleton(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 835: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(singleton(X, skc10), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 836: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(eventuality(X, skf1(Y)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 837: ifeq2(be(X, skc10, skc11, skc11), singleton(skc14, skc16), ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 838: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(general(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 839: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(general(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 840: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(unisex(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 841: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(singleton(X, skc17), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 842: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(thing(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 843: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(singleton(X, skc12), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 844: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(nonhuman(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 845: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(general(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 846: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(thing(X, skf1(Y)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 847: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(unisex(X, skf1(Y)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 848: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(nonexistent(X, skf1(Y)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 849: ifeq2(agent(X, skf1(skc11), skc11), singleton(skc14, skc16), ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 850: ifeq2(agent(X, skf1(skc17), skc17), singleton(skc14, skc16), ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 851: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(specific(X, skf1(Y)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 852: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(unisex(X, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 853: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(state(X, Z), singleton(skc14, skc16), state(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 854: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(nonhuman(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 855: ifeq2(accessible_world(X, skc9), singleton(skc14, skc16), ifeq2(singleton(X, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 856: ifeq2(accessible_world(X, Y), singleton(skc14, skc16), ifeq2(thing(X, Z), singleton(skc14, skc16), thing(Y, Z), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 857: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(thing(X, skc16), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 858: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(singleton(X, skf1(Y)), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 859: ifeq2(accessible_world(X, skc14), singleton(skc14, skc16), ifeq2(singleton(X, skc15), singleton(skc14, skc16), singleton(skc14, skc16), singleton(skc14, skc16)), singleton(skc14, skc16)) -> singleton(skc14, skc16) % 16.80/15.90 861: ifeq3(of(X, Y, Z), singleton(skc14, skc16), ifeq3(of(X, W, Z), singleton(skc14, skc16), ifeq3(forename(X, Y), singleton(skc14, skc16), ifeq3(forename(X, W), singleton(skc14, skc16), ifeq3(entity(X, Z), singleton(skc14, skc16), Y, W), W), W), W), W) -> W % 16.80/15.90 862: ifeq3(of(skc9, X, skc11), singleton(skc14, skc16), ifeq3(forename(skc9, X), singleton(skc14, skc16), skc12, X), X) -> X % 16.80/15.90 863: ifeq3(of(skc9, skc16, skc11), singleton(skc14, skc16), skc12, skc16) -> skc16 % 16.80/15.90 864: ifeq3(of(skc9, X, skc17), singleton(skc14, skc16), ifeq3(forename(skc9, X), singleton(skc14, skc16), skc16, X), X) -> X % 16.80/15.90 865: ifeq3(of(skc9, skc12, skc17), singleton(skc14, skc16), skc16, skc12) -> skc12 % 16.80/15.90 866: ifeq3(of(skc9, X, skc11), singleton(skc14, skc16), ifeq3(forename(skc9, X), singleton(skc14, skc16), X, skc12), skc12) -> skc12 % 16.80/15.90 867: ifeq3(of(skc9, skc16, skc11), singleton(skc14, skc16), skc16, skc12) -> skc12 % 16.80/15.90 868: ifeq3(of(skc9, X, skc17), singleton(skc14, skc16), ifeq3(forename(skc9, X), singleton(skc14, skc16), X, skc16), skc16) -> skc16 % 16.80/15.90 869: ifeq3(of(skc9, skc12, skc17), singleton(skc14, skc16), skc12, skc16) -> skc16 % 16.80/15.90 870: ifeq3(of(skc14, X, skc17), singleton(skc14, skc16), ifeq3(forename(skc14, X), singleton(skc14, skc16), skc16, X), X) -> X % 16.80/15.90 871: ifeq3(of(skc14, skc12, skc17), singleton(skc14, skc16), skc16, skc12) -> skc12 % 16.80/15.90 872: ifeq3(of(skc14, X, skc11), singleton(skc14, skc16), ifeq3(forename(skc14, X), singleton(skc14, skc16), skc12, X), X) -> X % 16.80/15.90 873: ifeq3(of(skc14, skc16, skc11), singleton(skc14, skc16), skc12, skc16) -> skc16 % 16.80/15.90 874: ifeq3(of(skc14, X, skc17), singleton(skc14, skc16), ifeq3(forename(skc14, X), singleton(skc14, skc16), X, skc16), skc16) -> skc16 % 16.80/15.90 875: ifeq3(of(skc14, skc12, skc17), singleton(skc14, skc16), skc12, skc16) -> skc16 % 16.80/15.90 876: ifeq3(of(skc14, X, skc11), singleton(skc14, skc16), ifeq3(forename(skc14, X), singleton(skc14, skc16), X, skc12), skc12) -> skc12 % 16.80/15.90 877: ifeq3(of(skc14, skc16, skc11), singleton(skc14, skc16), skc16, skc12) -> skc12 % 16.80/15.90 878: ifeq3(of(skc9, skc12, X), singleton(skc14, skc16), ifeq3(of(skc9, Y, X), singleton(skc14, skc16), ifeq3(forename(skc9, Y), singleton(skc14, skc16), ifeq3(entity(skc9, X), singleton(skc14, skc16), skc12, Y), Y), Y), Y) -> Y % 16.80/15.90 879: ifeq3(of(skc9, skc12, X), singleton(skc14, skc16), ifeq3(of(skc9, skc12, X), singleton(skc14, skc16), ifeq3(entity(skc9, X), singleton(skc14, skc16), skc12, skc12), skc12), skc12) -> skc12 % 16.80/15.90 880: ifeq3(of(skc9, skc12, skc17), singleton(skc14, skc16), ifeq3(of(skc9, skc12, skc17), singleton(skc14, skc16), skc12, skc12), skc12) -> skc12 % 16.80/15.90 881: ifeq3(of(skc9, skc12, X), singleton(skc14, skc16), ifeq3(of(skc9, skc16, X), singleton(skc14, skc16), ifeq3(entity(skc9, X), singleton(skc14, skc16), skc12, skc16), skc16), skc16) -> skc16 % 16.80/15.90 882: ifeq3(of(skc9, skc12, skc17), singleton(skc14, skc16), ifeq3(of(skc9, X, skc17), singleton(skc14, skc16), ifeq3(forename(skc9, X), singleton(skc14, skc16), skc12, X), X), X) -> X % 16.80/15.90 883: ifeq3(of(skc9, skc16, X), singleton(skc14, skc16), ifeq3(of(skc9, Y, X), singleton(skc14, skc16), ifeq3(forename(skc9, Y), singleton(skc14, skc16), ifeq3(entity(skc9, X), singleton(skc14, skc16), skc16, Y), Y), Y), Y) -> Y % 16.80/15.90 884: ifeq3(of(skc9, skc16, X), singleton(skc14, skc16), ifeq3(of(skc9, skc12, X), singleton(skc14, skc16), ifeq3(entity(skc9, X), singleton(skc14, skc16), skc16, skc12), skc12), skc12) -> skc12 % 16.80/15.90 885: ifeq3(of(skc9, skc16, X), singleton(skc14, skc16), ifeq3(of(skc9, skc16, X), singleton(skc14, skc16), ifeq3(entity(skc9, X), singleton(skc14, skc16), skc16, skc16), skc16), skc16) -> skc16 % 16.80/15.90 886: ifeq3(of(skc9, skc16, skc11), singleton(skc14, skc16), ifeq3(of(skc9, skc16, skc11), singleton(skc14, skc16), skc16, skc16), skc16) -> skc16 % 16.80/15.90 887: ifeq3(of(skc9, skc16, skc11), singleton(skc14, skc16), ifeq3(of(skc9, X, skc11), singleton(skc14, skc16), ifeq3(forename(skc9, X), singleton(skc14, skc16), skc16, X), X), X) -> X % 16.80/15.90 888: ifeq3(of(skc9, X, Y), singleton(skc14, skc16), ifeq3(of(skc9, skc12, Y), singleton(skc14, skc16), ifeq3(forename(skc9, X), singleton(skc14, skc16), ifeq3(entity(skc9, Y), singleton(skc14, skc16), X, skc12), skc12), skc12), skc12) -> skc12 % 16.80/15.90 889: ifeq3(of(skc9, X, skc17), singleton(skc14, skc16), ifeq3(of(skc9, skc12, skc17), singleton(skc14, skc16), ifeq3(forename(skc9, X), singleton(skc14, skc16), X, skc12), skc12), skc12) -> skc12 % 16.80/15.90 890: ifeq3(of(skc9, X, Y), singleton(skc14, skc16), ifeq3(of(skc9, skc16, Y), singleton(skc14, skc16), ifeq3(forename(skc9, X), singleton(skc14, skc16), ifeq3(entity(skc9, Y), singleton(skc14, skc16), X, skc16), skc16), skc16), skc16) -> skc16 % 16.80/15.90 891: ifeq3(of(skc9, X, skc11), singleton(skc14, skc16), ifeq3(of(skc9, skc16, skc11), singleton(skc14, skc16), ifeq3(forename(skc9, X), singleton(skc14, skc16), X, skc16), skc16), skc16) -> skc16 % 16.80/15.90 892: ifeq3(of(skc9, X, skc11), singleton(skc14, skc16), ifeq3(of(skc9, Y, skc11), singleton(skc14, skc16), ifeq3(forename(skc9, X), singleton(skc14, skc16), ifeq3(forename(skc9, Y), singleton(skc14, skc16), X, Y), Y), Y), Y) -> Y % 16.80/15.90 893: ifeq3(of(skc14, skc16, X), singleton(skc14, skc16), ifeq3(of(skc14, Y, X), singleton(skc14, skc16), ifeq3(forename(skc14, Y), singleton(skc14, skc16), ifeq3(entity(skc14, X), singleton(skc14, skc16), skc16, Y), Y), Y), Y) -> Y % 16.80/15.90 894: ifeq3(of(skc14, skc16, skc11), singleton(skc14, skc16), ifeq3(of(skc14, X, skc11), singleton(skc14, skc16), ifeq3(forename(skc14, X), singleton(skc14, skc16), skc16, X), X), X) -> X % 16.80/15.90 895: ifeq3(of(skc14, skc16, skc11), singleton(skc14, skc16), ifeq3(of(skc14, skc16, skc11), singleton(skc14, skc16), skc16, skc16), skc16) -> skc16 % 16.80/15.90 896: ifeq3(of(skc14, skc16, X), singleton(skc14, skc16), ifeq3(of(skc14, skc16, X), singleton(skc14, skc16), ifeq3(entity(skc14, X), singleton(skc14, skc16), skc16, skc16), skc16), skc16) -> skc16 % 16.80/15.90 897: ifeq3(of(skc14, skc16, X), singleton(skc14, skc16), ifeq3(of(skc14, skc12, X), singleton(skc14, skc16), ifeq3(entity(skc14, X), singleton(skc14, skc16), skc16, skc12), skc12), skc12) -> skc12 % 16.80/15.90 898: ifeq3(of(skc14, skc12, X), singleton(skc14, skc16), ifeq3(of(skc14, Y, X), singleton(skc14, skc16), ifeq3(forename(skc14, Y), singleton(skc14, skc16), ifeq3(entity(skc14, X), singleton(skc14, skc16), skc12, Y), Y), Y), Y) -> Y % 16.80/15.90 899: ifeq3(of(skc14, skc12, X), singleton(skc14, skc16), ifeq3(of(skc14, skc12, X), singleton(skc14, skc16), ifeq3(entity(skc14, X), singleton(skc14, skc16), skc12, skc12), skc12), skc12) -> skc12 % 16.80/15.90 900: ifeq3(of(skc14, skc12, skc17), singleton(skc14, skc16), ifeq3(of(skc14, skc12, skc17), singleton(skc14, skc16), skc12, skc12), skc12) -> skc12 % 16.80/15.90 901: ifeq3(of(skc14, skc12, X), singleton(skc14, skc16), ifeq3(of(skc14, skc16, X), singleton(skc14, skc16), ifeq3(entity(skc14, X), singleton(skc14, skc16), skc12, skc16), skc16), skc16) -> skc16 % 16.80/15.90 902: ifeq3(of(skc14, skc12, skc17), singleton(skc14, skc16), ifeq3(of(skc14, X, skc17), singleton(skc14, skc16), ifeq3(forename(skc14, X), singleton(skc14, skc16), skc12, X), X), X) -> X % 16.80/15.90 903: ifeq3(of(skc14, X, Y), singleton(skc14, skc16), ifeq3(of(skc14, skc16, Y), singleton(skc14, skc16), ifeq3(forename(skc14, X), singleton(skc14, skc16), ifeq3(entity(skc14, Y), singleton(skc14, skc16), X, skc16), skc16), skc16), skc16) -> skc16 % 16.80/15.90 904: ifeq3(of(skc14, X, skc11), singleton(skc14, skc16), ifeq3(of(skc14, skc16, skc11), singleton(skc14, skc16), ifeq3(forename(skc14, X), singleton(skc14, skc16), X, skc16), skc16), skc16) -> skc16 % 16.80/15.90 905: ifeq3(of(skc14, X, Y), singleton(skc14, skc16), ifeq3(of(skc14, skc12, Y), singleton(skc14, skc16), ifeq3(forename(skc14, X), singleton(skc14, skc16), ifeq3(entity(skc14, Y), singleton(skc14, skc16), X, skc12), skc12), skc12), skc12) -> skc12 % 16.80/15.90 906: ifeq3(of(skc14, X, skc17), singleton(skc14, skc16), ifeq3(of(skc14, skc12, skc17), singleton(skc14, skc16), ifeq3(forename(skc14, X), singleton(skc14, skc16), X, skc12), skc12), skc12) -> skc12 % 16.80/15.90 907: ifeq3(of(skc9, X, skc17), singleton(skc14, skc16), ifeq3(of(skc9, Y, skc17), singleton(skc14, skc16), ifeq3(forename(skc9, X), singleton(skc14, skc16), ifeq3(forename(skc9, Y), singleton(skc14, skc16), X, Y), Y), Y), Y) -> Y % 16.80/15.90 908: ifeq3(of(skc14, X, skc11), singleton(skc14, skc16), ifeq3(of(skc14, Y, skc11), singleton(skc14, skc16), ifeq3(forename(skc14, X), singleton(skc14, skc16), ifeq3(forename(skc14, Y), singleton(skc14, skc16), X, Y), Y), Y), Y) -> Y % 16.80/15.90 909: ifeq3(of(skc14, X, skc17), singleton(skc14, skc16), ifeq3(of(skc14, Y, skc17), singleton(skc14, skc16), ifeq3(forename(skc14, X), singleton(skc14, skc16), ifeq3(forename(skc14, Y), singleton(skc14, skc16), X, Y), Y), Y), Y) -> Y % 16.80/15.90 911: ifeq3(theme(X, Y, Z), singleton(skc14, skc16), ifeq3(theme(X, W, V), singleton(skc14, skc16), ifeq3(agent(X, Y, U), singleton(skc14, skc16), ifeq3(agent(X, W, U), singleton(skc14, skc16), ifeq3(think_believe_consider(X, Y), singleton(skc14, skc16), ifeq3(think_believe_consider(X, W), singleton(skc14, skc16), ifeq3(proposition(X, Z), singleton(skc14, skc16), ifeq3(proposition(X, V), singleton(skc14, skc16), V, Z), Z), Z), Z), Z), Z), Z), Z) -> Z % 16.80/15.90 912: ifeq3(theme(skc9, X, Y), singleton(skc14, skc16), ifeq3(agent(skc9, X, Z), singleton(skc14, skc16), ifeq3(agent(skc9, skc15, Z), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, X), singleton(skc14, skc16), ifeq3(proposition(skc9, Y), singleton(skc14, skc16), skc14, Y), Y), Y), Y), Y) -> Y % 16.80/15.90 913: ifeq3(theme(skc9, skc15, X), singleton(skc14, skc16), ifeq3(proposition(skc9, X), singleton(skc14, skc16), skc14, X), X) -> X % 16.80/15.90 914: ifeq3(agent(skc9, skc15, X), singleton(skc14, skc16), ifeq3(agent(skc9, skc15, X), singleton(skc14, skc16), skc14, skc14), skc14) -> skc14 % 16.80/15.90 915: ifeq3(theme(skc9, X, Y), singleton(skc14, skc16), ifeq3(agent(skc9, X, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, X), singleton(skc14, skc16), ifeq3(proposition(skc9, Y), singleton(skc14, skc16), skc14, Y), Y), Y), Y) -> Y % 16.80/15.90 916: ifeq3(theme(skc9, X, skc14), singleton(skc14, skc16), ifeq3(agent(skc9, X, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, X), singleton(skc14, skc16), skc14, skc14), skc14), skc14) -> skc14 % 16.80/15.90 917: ifeq3(theme(skc9, skc15, X), singleton(skc14, skc16), ifeq3(agent(skc9, skc15, Y), singleton(skc14, skc16), ifeq3(agent(skc9, skc15, Y), singleton(skc14, skc16), ifeq3(proposition(skc9, X), singleton(skc14, skc16), skc14, X), X), X), X) -> X % 16.80/15.90 918: ifeq3(theme(skc9, X, skc14), singleton(skc14, skc16), ifeq3(agent(skc9, X, Y), singleton(skc14, skc16), ifeq3(agent(skc9, skc15, Y), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, X), singleton(skc14, skc16), skc14, skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 919: ifeq3(theme(skc9, X, Y), singleton(skc14, skc16), ifeq3(agent(skc9, skc15, Z), singleton(skc14, skc16), ifeq3(agent(skc9, X, Z), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, X), singleton(skc14, skc16), ifeq3(proposition(skc9, Y), singleton(skc14, skc16), Y, skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 920: ifeq3(theme(skc9, skc15, X), singleton(skc14, skc16), ifeq3(proposition(skc9, X), singleton(skc14, skc16), X, skc14), skc14) -> skc14 % 16.80/15.90 921: ifeq3(theme(skc9, X, Y), singleton(skc14, skc16), ifeq3(agent(skc9, X, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, X), singleton(skc14, skc16), ifeq3(proposition(skc9, Y), singleton(skc14, skc16), Y, skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 922: ifeq3(theme(skc9, skc15, X), singleton(skc14, skc16), ifeq3(agent(skc9, skc15, Y), singleton(skc14, skc16), ifeq3(agent(skc9, skc15, Y), singleton(skc14, skc16), ifeq3(proposition(skc9, X), singleton(skc14, skc16), X, skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 923: ifeq3(theme(skc9, X, skc14), singleton(skc14, skc16), ifeq3(agent(skc9, skc15, Y), singleton(skc14, skc16), ifeq3(agent(skc9, X, Y), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, X), singleton(skc14, skc16), skc14, skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 924: ifeq3(theme(skc14, X, Y), singleton(skc14, skc16), ifeq3(agent(skc14, X, Z), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, Z), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), skc14, Y), Y), Y), Y), Y) -> Y % 16.80/15.90 925: ifeq3(theme(skc14, skc15, X), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), skc14, X), X) -> X % 16.80/15.90 926: ifeq3(agent(skc14, skc15, X), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, X), singleton(skc14, skc16), skc14, skc14), skc14) -> skc14 % 16.80/15.90 927: ifeq3(theme(skc14, skf1(skc17), X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), skc14, X), X), X) -> X % 16.80/15.90 928: ifeq3(theme(skc14, skf1(skc17), skc14), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), skc14, skc14), skc14) -> skc14 % 16.80/15.90 929: ifeq3(theme(skc14, X, Y), singleton(skc14, skc16), ifeq3(agent(skc14, X, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), skc14, Y), Y), Y), Y) -> Y % 16.80/15.90 930: ifeq3(theme(skc14, X, skc14), singleton(skc14, skc16), ifeq3(agent(skc14, X, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), skc14, skc14), skc14), skc14) -> skc14 % 16.80/15.90 931: ifeq3(theme(skc14, skc15, X), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, Y), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, Y), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), skc14, X), X), X), X) -> X % 16.80/15.90 932: ifeq3(theme(skc14, X, skc14), singleton(skc14, skc16), ifeq3(agent(skc14, X, Y), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, Y), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), skc14, skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 933: ifeq3(theme(skc14, skf1(skc11), skc14), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, skc11), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), skc14, skc14), skc14), skc14) -> skc14 % 16.80/15.90 934: ifeq3(theme(skc14, skf1(skc11), X), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, skc11), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), skc14, X), X), X), X) -> X % 16.80/15.90 935: ifeq3(theme(skc14, X, Y), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, Z), singleton(skc14, skc16), ifeq3(agent(skc14, X, Z), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), Y, skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 936: ifeq3(theme(skc14, skc15, X), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), X, skc14), skc14) -> skc14 % 16.80/15.90 937: ifeq3(theme(skc14, skf1(skc17), X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), X, skc14), skc14), skc14) -> skc14 % 16.80/15.90 938: ifeq3(theme(skc14, X, Y), singleton(skc14, skc16), ifeq3(agent(skc14, X, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), Y, skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 939: ifeq3(theme(skc14, skc15, X), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, Y), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, Y), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), X, skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 940: ifeq3(theme(skc14, X, skc14), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, Y), singleton(skc14, skc16), ifeq3(agent(skc14, X, Y), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), skc14, skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 941: ifeq3(theme(skc14, skf1(skc11), X), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, skc11), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), X, skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 942: ifeq3(theme(skc9, skc15, X), singleton(skc14, skc16), ifeq3(theme(skc9, Y, Z), singleton(skc14, skc16), ifeq3(agent(skc9, Y, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, Y), singleton(skc14, skc16), ifeq3(proposition(skc9, X), singleton(skc14, skc16), ifeq3(proposition(skc9, Z), singleton(skc14, skc16), Z, X), X), X), X), X), X) -> X % 16.80/15.90 943: ifeq3(theme(skc9, skc15, X), singleton(skc14, skc16), ifeq3(theme(skc9, skc15, Y), singleton(skc14, skc16), ifeq3(proposition(skc9, X), singleton(skc14, skc16), ifeq3(proposition(skc9, Y), singleton(skc14, skc16), Y, X), X), X), X) -> X % 16.80/15.90 944: ifeq3(theme(skc9, skc15, X), singleton(skc14, skc16), ifeq3(theme(skc9, Y, skc14), singleton(skc14, skc16), ifeq3(agent(skc9, Y, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, Y), singleton(skc14, skc16), ifeq3(proposition(skc9, X), singleton(skc14, skc16), skc14, X), X), X), X), X) -> X % 16.80/15.90 945: ifeq3(theme(skc9, X, Y), singleton(skc14, skc16), ifeq3(theme(skc9, skc15, Z), singleton(skc14, skc16), ifeq3(agent(skc9, X, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, X), singleton(skc14, skc16), ifeq3(proposition(skc9, Y), singleton(skc14, skc16), ifeq3(proposition(skc9, Z), singleton(skc14, skc16), Z, Y), Y), Y), Y), Y), Y) -> Y % 16.80/15.90 946: ifeq3(theme(skc9, X, skc14), singleton(skc14, skc16), ifeq3(theme(skc9, skc15, Y), singleton(skc14, skc16), ifeq3(agent(skc9, X, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, X), singleton(skc14, skc16), ifeq3(proposition(skc9, Y), singleton(skc14, skc16), Y, skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 947: ifeq3(theme(skc14, X, Y), singleton(skc14, skc16), ifeq3(theme(skc14, skc15, Z), singleton(skc14, skc16), ifeq3(agent(skc14, X, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), ifeq3(proposition(skc14, Z), singleton(skc14, skc16), Z, Y), Y), Y), Y), Y), Y) -> Y % 16.80/15.90 948: ifeq3(theme(skc14, skc15, X), singleton(skc14, skc16), ifeq3(theme(skc14, skc15, Y), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), Y, X), X), X), X) -> X % 16.80/15.90 949: ifeq3(theme(skc14, X, skc14), singleton(skc14, skc16), ifeq3(theme(skc14, skc15, Y), singleton(skc14, skc16), ifeq3(agent(skc14, X, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), Y, skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 950: ifeq3(theme(skc14, skf1(skc17), skc14), singleton(skc14, skc16), ifeq3(theme(skc14, skc15, X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), X, skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 951: ifeq3(theme(skc14, skf1(skc17), X), singleton(skc14, skc16), ifeq3(theme(skc14, skc15, Y), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), Y, X), X), X), X), X) -> X % 16.80/15.90 952: ifeq3(theme(skc14, skc15, X), singleton(skc14, skc16), ifeq3(theme(skc14, Y, Z), singleton(skc14, skc16), ifeq3(agent(skc14, Y, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, Y), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Z), singleton(skc14, skc16), Z, X), X), X), X), X), X) -> X % 16.80/15.90 953: ifeq3(theme(skc14, skc15, X), singleton(skc14, skc16), ifeq3(theme(skc14, Y, skc14), singleton(skc14, skc16), ifeq3(agent(skc14, Y, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, Y), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), skc14, X), X), X), X), X) -> X % 16.80/15.90 954: ifeq3(theme(skc14, skc15, X), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc17), skc14), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), skc14, X), X), X), X) -> X % 16.80/15.90 955: ifeq3(theme(skc14, skc15, X), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc17), Y), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), Y, X), X), X), X), X) -> X % 16.80/15.90 956: ifeq3(theme(skc9, skc15, X), singleton(skc14, skc16), ifeq3(theme(skc9, Y, Z), singleton(skc14, skc16), ifeq3(agent(skc9, skc15, W), singleton(skc14, skc16), ifeq3(agent(skc9, Y, W), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, Y), singleton(skc14, skc16), ifeq3(proposition(skc9, X), singleton(skc14, skc16), ifeq3(proposition(skc9, Z), singleton(skc14, skc16), Z, X), X), X), X), X), X), X) -> X % 16.80/15.90 957: ifeq3(theme(skc9, skc15, X), singleton(skc14, skc16), ifeq3(theme(skc9, skc15, Y), singleton(skc14, skc16), ifeq3(agent(skc9, skc15, Z), singleton(skc14, skc16), ifeq3(agent(skc9, skc15, Z), singleton(skc14, skc16), ifeq3(proposition(skc9, X), singleton(skc14, skc16), ifeq3(proposition(skc9, Y), singleton(skc14, skc16), Y, X), X), X), X), X), X) -> X % 16.80/15.90 958: ifeq3(theme(skc9, skc15, X), singleton(skc14, skc16), ifeq3(theme(skc9, Y, skc14), singleton(skc14, skc16), ifeq3(agent(skc9, skc15, Z), singleton(skc14, skc16), ifeq3(agent(skc9, Y, Z), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, Y), singleton(skc14, skc16), ifeq3(proposition(skc9, X), singleton(skc14, skc16), skc14, X), X), X), X), X), X) -> X % 16.80/15.90 959: ifeq3(theme(skc9, X, Y), singleton(skc14, skc16), ifeq3(theme(skc9, skc15, Z), singleton(skc14, skc16), ifeq3(agent(skc9, X, W), singleton(skc14, skc16), ifeq3(agent(skc9, skc15, W), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, X), singleton(skc14, skc16), ifeq3(proposition(skc9, Y), singleton(skc14, skc16), ifeq3(proposition(skc9, Z), singleton(skc14, skc16), Z, Y), Y), Y), Y), Y), Y), Y) -> Y % 16.80/15.90 960: ifeq3(theme(skc9, X, skc14), singleton(skc14, skc16), ifeq3(theme(skc9, skc15, Y), singleton(skc14, skc16), ifeq3(agent(skc9, X, Z), singleton(skc14, skc16), ifeq3(agent(skc9, skc15, Z), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, X), singleton(skc14, skc16), ifeq3(proposition(skc9, Y), singleton(skc14, skc16), Y, skc14), skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 961: ifeq3(theme(skc9, X, Y), singleton(skc14, skc16), ifeq3(theme(skc9, Z, skc14), singleton(skc14, skc16), ifeq3(agent(skc9, X, W), singleton(skc14, skc16), ifeq3(agent(skc9, Z, W), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, Z), singleton(skc14, skc16), ifeq3(proposition(skc9, Y), singleton(skc14, skc16), skc14, Y), Y), Y), Y), Y), Y), Y) -> Y % 16.80/15.90 962: ifeq3(theme(skc9, X, skc14), singleton(skc14, skc16), ifeq3(theme(skc9, Y, skc14), singleton(skc14, skc16), ifeq3(agent(skc9, X, Z), singleton(skc14, skc16), ifeq3(agent(skc9, Y, Z), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, Y), singleton(skc14, skc16), skc14, skc14), skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 963: ifeq3(theme(skc9, X, skc14), singleton(skc14, skc16), ifeq3(theme(skc9, Y, Z), singleton(skc14, skc16), ifeq3(agent(skc9, X, W), singleton(skc14, skc16), ifeq3(agent(skc9, Y, W), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc9, Y), singleton(skc14, skc16), ifeq3(proposition(skc9, Z), singleton(skc14, skc16), Z, skc14), skc14), skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 964: ifeq3(theme(skc14, X, Y), singleton(skc14, skc16), ifeq3(theme(skc14, Z, skc14), singleton(skc14, skc16), ifeq3(agent(skc14, X, W), singleton(skc14, skc16), ifeq3(agent(skc14, Z, W), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, Z), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), skc14, Y), Y), Y), Y), Y), Y), Y) -> Y % 16.80/15.90 965: ifeq3(theme(skc14, skc15, X), singleton(skc14, skc16), ifeq3(theme(skc14, Y, skc14), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, Z), singleton(skc14, skc16), ifeq3(agent(skc14, Y, Z), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, Y), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), skc14, X), X), X), X), X), X) -> X % 16.80/15.90 966: ifeq3(theme(skc14, skc15, X), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc11), skc14), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, skc11), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), skc14, X), X), X), X), X) -> X % 16.80/15.90 967: ifeq3(theme(skc14, X, skc14), singleton(skc14, skc16), ifeq3(theme(skc14, Y, skc14), singleton(skc14, skc16), ifeq3(agent(skc14, X, Z), singleton(skc14, skc16), ifeq3(agent(skc14, Y, Z), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, Y), singleton(skc14, skc16), skc14, skc14), skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 968: ifeq3(theme(skc14, skf1(skc11), skc14), singleton(skc14, skc16), ifeq3(theme(skc14, X, skc14), singleton(skc14, skc16), ifeq3(agent(skc14, X, skc11), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), skc14, skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 969: ifeq3(theme(skc14, skf1(skc11), skc14), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc11), skc14), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), skc14, skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 970: ifeq3(theme(skc14, skf1(skc17), skc14), singleton(skc14, skc16), ifeq3(theme(skc14, X, skc14), singleton(skc14, skc16), ifeq3(agent(skc14, X, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), skc14, skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 971: ifeq3(theme(skc14, skf1(skc17), skc14), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc17), skc14), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), skc14, skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 972: ifeq3(theme(skc14, X, skc14), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc11), skc14), singleton(skc14, skc16), ifeq3(agent(skc14, X, skc11), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), skc14, skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 973: ifeq3(theme(skc14, X, skc14), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc17), skc14), singleton(skc14, skc16), ifeq3(agent(skc14, X, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), skc14, skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 974: ifeq3(theme(skc14, X, Y), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc11), skc14), singleton(skc14, skc16), ifeq3(agent(skc14, X, skc11), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), skc14, Y), Y), Y), Y), Y), Y) -> Y % 16.80/15.90 975: ifeq3(theme(skc14, skf1(skc11), X), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc11), skc14), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), skc14, X), X), X), X), X) -> X % 16.80/15.90 976: ifeq3(theme(skc14, X, Y), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc17), skc14), singleton(skc14, skc16), ifeq3(agent(skc14, X, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), skc14, Y), Y), Y), Y), Y), Y) -> Y % 16.80/15.90 977: ifeq3(theme(skc14, skf1(skc17), X), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc17), skc14), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), skc14, X), X), X), X), X) -> X % 16.80/15.90 978: ifeq3(theme(skc14, skf1(skc11), X), singleton(skc14, skc16), ifeq3(theme(skc14, Y, skc14), singleton(skc14, skc16), ifeq3(agent(skc14, Y, skc11), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, Y), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), skc14, X), X), X), X), X), X) -> X % 16.80/15.90 979: ifeq3(theme(skc14, skf1(skc17), X), singleton(skc14, skc16), ifeq3(theme(skc14, Y, skc14), singleton(skc14, skc16), ifeq3(agent(skc14, Y, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, Y), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), skc14, X), X), X), X), X), X) -> X % 16.80/15.90 980: ifeq3(theme(skc14, X, Y), singleton(skc14, skc16), ifeq3(theme(skc14, skc15, Z), singleton(skc14, skc16), ifeq3(agent(skc14, X, W), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, W), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), ifeq3(proposition(skc14, Z), singleton(skc14, skc16), Z, Y), Y), Y), Y), Y), Y), Y) -> Y % 16.80/15.90 981: ifeq3(theme(skc14, skc15, X), singleton(skc14, skc16), ifeq3(theme(skc14, skc15, Y), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, Z), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, Z), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), Y, X), X), X), X), X), X) -> X % 16.80/15.90 982: ifeq3(theme(skc14, X, skc14), singleton(skc14, skc16), ifeq3(theme(skc14, skc15, Y), singleton(skc14, skc16), ifeq3(agent(skc14, X, Z), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, Z), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), Y, skc14), skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 983: ifeq3(theme(skc14, skf1(skc11), skc14), singleton(skc14, skc16), ifeq3(theme(skc14, skc15, X), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, skc11), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), X, skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 984: ifeq3(theme(skc14, skf1(skc11), X), singleton(skc14, skc16), ifeq3(theme(skc14, skc15, Y), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, skc11), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), Y, X), X), X), X), X), X) -> X % 16.80/15.90 985: ifeq3(theme(skc14, skc15, X), singleton(skc14, skc16), ifeq3(theme(skc14, Y, Z), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, W), singleton(skc14, skc16), ifeq3(agent(skc14, Y, W), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, Y), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Z), singleton(skc14, skc16), Z, X), X), X), X), X), X), X) -> X % 16.80/15.90 986: ifeq3(theme(skc14, skc15, X), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc11), Y), singleton(skc14, skc16), ifeq3(agent(skc14, skc15, skc11), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), Y, X), X), X), X), X), X) -> X % 16.80/15.90 987: ifeq3(theme(skc14, X, skc14), singleton(skc14, skc16), ifeq3(theme(skc14, Y, Z), singleton(skc14, skc16), ifeq3(agent(skc14, X, W), singleton(skc14, skc16), ifeq3(agent(skc14, Y, W), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, Y), singleton(skc14, skc16), ifeq3(proposition(skc14, Z), singleton(skc14, skc16), Z, skc14), skc14), skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 988: ifeq3(theme(skc14, skf1(skc11), skc14), singleton(skc14, skc16), ifeq3(theme(skc14, X, Y), singleton(skc14, skc16), ifeq3(agent(skc14, X, skc11), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), Y, skc14), skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 989: ifeq3(theme(skc14, skf1(skc11), skc14), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc11), X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), X, skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 990: ifeq3(theme(skc14, skf1(skc17), skc14), singleton(skc14, skc16), ifeq3(theme(skc14, X, Y), singleton(skc14, skc16), ifeq3(agent(skc14, X, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), Y, skc14), skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 991: ifeq3(theme(skc14, skf1(skc17), skc14), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc17), X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), X, skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 992: ifeq3(theme(skc14, X, skc14), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc11), Y), singleton(skc14, skc16), ifeq3(agent(skc14, X, skc11), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), Y, skc14), skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 993: ifeq3(theme(skc14, X, skc14), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc17), Y), singleton(skc14, skc16), ifeq3(agent(skc14, X, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), Y, skc14), skc14), skc14), skc14), skc14), skc14) -> skc14 % 16.80/15.90 994: ifeq3(theme(skc14, skf1(skc17), X), singleton(skc14, skc16), ifeq3(theme(skc14, Y, Z), singleton(skc14, skc16), ifeq3(agent(skc14, Y, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, Y), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Z), singleton(skc14, skc16), Z, X), X), X), X), X), X), X) -> X % 16.80/15.90 995: ifeq3(theme(skc14, skf1(skc17), X), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc17), Y), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), Y, X), X), X), X), X), X) -> X % 16.80/15.90 996: ifeq3(theme(skc14, skf1(skc11), X), singleton(skc14, skc16), ifeq3(theme(skc14, Y, Z), singleton(skc14, skc16), ifeq3(agent(skc14, Y, skc11), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, Y), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Z), singleton(skc14, skc16), Z, X), X), X), X), X), X), X) -> X % 16.80/15.90 997: ifeq3(theme(skc14, skf1(skc11), X), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc11), Y), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(proposition(skc14, X), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), Y, X), X), X), X), X), X) -> X % 16.80/15.90 998: ifeq3(theme(skc14, X, Y), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc11), Z), singleton(skc14, skc16), ifeq3(agent(skc14, X, skc11), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc11)), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), ifeq3(proposition(skc14, Z), singleton(skc14, skc16), Z, Y), Y), Y), Y), Y), Y), Y) -> Y % 16.80/15.90 999: ifeq3(theme(skc14, X, Y), singleton(skc14, skc16), ifeq3(theme(skc14, skf1(skc17), Z), singleton(skc14, skc16), ifeq3(agent(skc14, X, skc17), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, X), singleton(skc14, skc16), ifeq3(think_believe_consider(skc14, skf1(skc17)), singleton(skc14, skc16), ifeq3(proposition(skc14, Y), singleton(skc14, skc16), ifeq3(proposition(skc14, Z), singleton(skc14, skc16), Z, Y), Y), Y), Y), Y), Y), Y) -> Y % 16.80/15.90 %------------------------------------------------------------------------------