Goal bindings: ((?loc-to-ident-2283 loc 1 -1) (?i-2281 . $i-2281) (?i-2285 . $i-2285) (?tmoney-wealth-id-206 . 5) (?i-1851 . $i-1851) (?loc-to-ident-776 . $p-value-978) (?p-fluent-975 location $p-value-390) (?agent-973 . agent-self) (?i-774 . $i-774) (?i-778 . $i-778) (?p-fluent-ident-388 agent-owner object-axe) (?i-391 . $i-391) (?i-386 . $i-386) (?agent-buyer-201 . agent-self) (?object-203 . object-axe) (?t . $t) (?i-29 . $i-29) (?i-31 . $i-31) (?agent-30 . agent-self) (?i-210 . $i-210) (?i-202 . $i-202) (?agent-385 . agent-self) (?p-fluent-387 agent-owner object-axe) (?agent-seller-ident-204 . $p-value-390) (?agent-773 . agent-self) (?loc-to-775 value (start $i-202) (location $p-value-390)) (?i-974 . $i-974) (?i-979 . $i-979) (?p-fluent-ident-976 location $p-value-390) (?tmoney-price-id-205 . 3) (?i-2039 . $i-2039) (?agent-2280 . agent-self) (?loc-to-2282 loc 1 -1)) Goal row: 149 IA graph: ((?i-29 ?i-31 (m) i-i) (?i-29 ?i-202 (>) i-i) (?i-29 ?i-210 (mi) i-i) (?i-29 ?i-386 (>) i-i) (?i-29 ?i-391 (>) i-i) (?i-29 ?i-774 (>) i-i) (?i-29 ?i-778 (>) i-i) (?i-29 ?i-974 (>) i-i) (?i-29 ?i-979 (>) i-i) (?i-29 ?i-1851 (>) i-i) (?i-29 ?i-2039 (>) i-i) (?i-29 ?i-2281 (>) i-i) (?i-29 ?i-2285 (mi) i-i) (?i-31 ?i-29 (mi) i-i) (?i-31 ?i-202 (>) i-i) (?i-31 ?i-210 (>) i-i) (?i-31 ?i-386 (>) i-i) (?i-31 ?i-391 (>) i-i) (?i-31 ?i-774 (>) i-i) (?i-31 ?i-778 (>) i-i) (?i-31 ?i-974 (>) i-i) (?i-31 ?i-979 (>) i-i) (?i-31 ?i-1851 (>) i-i) (?i-31 ?i-2039 (>) i-i) (?i-31 ?i-2281 (>) i-i) (?i-31 ?i-2285 (>) i-i) (?i-202 ?i-29 (<) i-i) (?i-202 ?i-31 (<) i-i) (?i-202 ?i-210 (m) i-i) (?i-202 ?i-386 (>) i-i) (?i-202 ?i-391 (mi) i-i) (?i-202 ?i-774 (>) i-i) (?i-202 ?i-778 (mi) i-i) (?i-202 ?i-974 (>) i-i) (?i-202 ?i-979 (mi) i-i) (?i-202 ?i-1851 (mi) i-i) (?i-202 ?i-2039 (mi) i-i) (?i-202 ?i-2281 (< m) i-i) (?i-202 ?i-2285 (<) i-i) (?i-210 ?i-29 (m) i-i) (?i-210 ?i-31 (<) i-i) (?i-210 ?i-202 (mi) i-i) (?i-210 ?i-386 (>) i-i) (?i-210 ?i-391 (>) i-i) (?i-210 ?i-774 (>) i-i) (?i-210 ?i-778 (>) i-i) (?i-210 ?i-974 (>) i-i) (?i-210 ?i-979 (>) i-i) (?i-210 ?i-1851 (>) i-i) (?i-210 ?i-2039 (>) i-i) (?i-210 ?i-2281 (di si) i-i) (?i-210 ?i-2285 (fi) i-i) (?i-386 ?i-29 (<) i-i) (?i-386 ?i-31 (<) i-i) (?i-386 ?i-202 (<) i-i) (?i-386 ?i-210 (<) i-i) (?i-386 ?i-391 (m) i-i) (?i-386 ?i-774 (< > m mi) i-i) (?i-386 ?i-778 (< d s) i-i) (?i-386 ?i-974 (< > m mi) i-i) (?i-386 ?i-979 (< d s) i-i) (?i-386 ?i-1851 (< d o m s) i-i) (?i-386 ?i-2039 (< d o m s) i-i) (?i-386 ?i-2281 (<) i-i) (?i-386 ?i-2285 (<) i-i) (?i-391 ?i-29 (<) i-i) (?i-391 ?i-31 (<) i-i) (?i-391 ?i-202 (m) i-i) (?i-391 ?i-210 (<) i-i) (?i-391 ?i-386 (mi) i-i) (?i-391 ?i-774 (> di si) i-i) (?i-391 ?i-778 (f fi) i-i) (?i-391 ?i-974 (> di si) i-i) (?i-391 ?i-979 (f fi) i-i) (?i-391 ?i-1851 (= f fi) i-i) (?i-391 ?i-2039 (= f fi) i-i) (?i-391 ?i-2281 (<) i-i) (?i-391 ?i-2285 (<) i-i) (?i-774 ?i-29 (<) i-i) (?i-774 ?i-31 (<) i-i) (?i-774 ?i-202 (<) i-i) (?i-774 ?i-210 (<) i-i) (?i-774 ?i-386 (< > m mi) i-i) (?i-774 ?i-391 (< d s) i-i) (?i-774 ?i-778 (m) i-i) (?i-774 ?i-974 (> mi) i-i) (?i-774 ?i-979 (d s) i-i) (?i-774 ?i-1851 (< d o m s) i-i) (?i-774 ?i-2039 (< d o m s) i-i) (?i-774 ?i-2281 (<) i-i) (?i-774 ?i-2285 (<) i-i) (?i-778 ?i-29 (<) i-i) (?i-778 ?i-31 (<) i-i) (?i-778 ?i-202 (m) i-i) (?i-778 ?i-210 (<) i-i) (?i-778 ?i-386 (> di si) i-i) (?i-778 ?i-391 (f fi) i-i) (?i-778 ?i-774 (mi) i-i) (?i-778 ?i-974 (>) i-i) (?i-778 ?i-979 (f) i-i) (?i-778 ?i-1851 (= f fi) i-i) (?i-778 ?i-2039 (= f fi) i-i) (?i-778 ?i-2281 (<) i-i) (?i-778 ?i-2285 (<) i-i) (?i-974 ?i-29 (<) i-i) (?i-974 ?i-31 (<) i-i) (?i-974 ?i-202 (<) i-i) (?i-974 ?i-210 (<) i-i) (?i-974 ?i-386 (< > m mi) i-i) (?i-974 ?i-391 (< d s) i-i) (?i-974 ?i-774 (< m) i-i) (?i-974 ?i-778 (<) i-i) (?i-974 ?i-979 (m) i-i) (?i-974 ?i-1851 (< d o m s) i-i) (?i-974 ?i-2039 (< d o m s) i-i) (?i-974 ?i-2281 (<) i-i) (?i-974 ?i-2285 (<) i-i) (?i-979 ?i-29 (<) i-i) (?i-979 ?i-31 (<) i-i) (?i-979 ?i-202 (m) i-i) (?i-979 ?i-210 (<) i-i) (?i-979 ?i-386 (> di si) i-i) (?i-979 ?i-391 (f fi) i-i) (?i-979 ?i-774 (di si) i-i) (?i-979 ?i-778 (fi) i-i) (?i-979 ?i-974 (mi) i-i) (?i-979 ?i-1851 (= f fi) i-i) (?i-979 ?i-2039 (= f fi) i-i) (?i-979 ?i-2281 (<) i-i) (?i-979 ?i-2285 (<) i-i) (?i-1851 ?i-29 (<) i-i) (?i-1851 ?i-31 (<) i-i) (?i-1851 ?i-202 (m) i-i) (?i-1851 ?i-210 (<) i-i) (?i-1851 ?i-386 (> di oi mi si) i-i) (?i-1851 ?i-391 (= f fi) i-i) (?i-1851 ?i-774 (> di oi mi si) i-i) (?i-1851 ?i-778 (= f fi) i-i) (?i-1851 ?i-974 (> di oi mi si) i-i) (?i-1851 ?i-979 (= f fi) i-i) (?i-1851 ?i-2039 (= f fi) i-i) (?i-1851 ?i-2281 (<) i-i) (?i-1851 ?i-2285 (<) i-i) (?i-2039 ?i-29 (<) i-i) (?i-2039 ?i-31 (<) i-i) (?i-2039 ?i-202 (m) i-i) (?i-2039 ?i-210 (<) i-i) (?i-2039 ?i-386 (> di oi mi si) i-i) (?i-2039 ?i-391 (= f fi) i-i) (?i-2039 ?i-774 (> di oi mi si) i-i) (?i-2039 ?i-778 (= f fi) i-i) (?i-2039 ?i-974 (> di oi mi si) i-i) (?i-2039 ?i-979 (= f fi) i-i) (?i-2039 ?i-1851 (= f fi) i-i) (?i-2039 ?i-2281 (<) i-i) (?i-2039 ?i-2285 (<) i-i) (?i-2281 ?i-29 (<) i-i) (?i-2281 ?i-31 (<) i-i) (?i-2281 ?i-202 (> mi) i-i) (?i-2281 ?i-210 (d s) i-i) (?i-2281 ?i-386 (>) i-i) (?i-2281 ?i-391 (>) i-i) (?i-2281 ?i-774 (>) i-i) (?i-2281 ?i-778 (>) i-i) (?i-2281 ?i-974 (>) i-i) (?i-2281 ?i-979 (>) i-i) (?i-2281 ?i-1851 (>) i-i) (?i-2281 ?i-2039 (>) i-i) (?i-2281 ?i-2285 (m) i-i) (?i-2285 ?i-29 (m) i-i) (?i-2285 ?i-31 (<) i-i) (?i-2285 ?i-202 (>) i-i) (?i-2285 ?i-210 (f) i-i) (?i-2285 ?i-386 (>) i-i) (?i-2285 ?i-391 (>) i-i) (?i-2285 ?i-774 (>) i-i) (?i-2285 ?i-778 (>) i-i) (?i-2285 ?i-974 (>) i-i) (?i-2285 ?i-979 (>) i-i) (?i-2285 ?i-1851 (>) i-i) (?i-2285 ?i-2039 (>) i-i) (?i-2285 ?i-2281 (mi) i-i)) Constraints: ((= (start $i-29) (finish $i-2285)) (<= t-now (finish $i-2281)) (<= t-now (start $i-2281)) (<= t-now (finish $i-2285)) (<= t-now (start $i-2285)) (< (start $i-2281) (finish $i-2281)) (< (start $i-2285) (finish $i-2285)) (= (finish $i-2281) (start $i-2285)) (= (start $i-202) (finish $i-2039)) (<= t-now (finish $i-2039)) (< (start $i-2039) (finish $i-2039)) (= t-now (start $i-2039)) (= (start $i-202) (finish $i-1851)) (<= t-now (finish $i-1851)) (< (start $i-1851) (finish $i-1851)) (= t-now (start $i-1851)) (<= (finish $i-386) (start $i-974)) (= (start $i-202) (finish $i-979)) (<= t-now (finish $i-979)) (<= t-now (start $i-979)) (< (start $i-979) (finish $i-979)) (= (finish $i-974) (start $i-979)) (<= t-now (finish $i-974)) (<= t-now (start $i-974)) (< (start $i-974) (finish $i-974)) (<= (finish $i-974) (start $i-774)) (= (start $i-202) (finish $i-778)) (<= t-now (finish $i-774)) (<= t-now (start $i-774)) (<= t-now (finish $i-778)) (<= t-now (start $i-778)) (< (start $i-774) (finish $i-774)) (< (start $i-778) (finish $i-778)) (= (finish $i-774) (start $i-778)) (= (start $i-202) (finish $i-391)) (<= t-now (finish $i-391)) (<= t-now (start $i-391)) (< (start $i-391) (finish $i-391)) (= (finish $i-386) (start $i-391)) (<= t-now (finish $i-386)) (<= t-now (start $i-386)) (< (start $i-386) (finish $i-386)) (<= (finish $i-386) (start $i-202)) (= (start $i-29) (finish $i-210)) (<= t-now (finish $i-202)) (<= t-now (start $i-202)) (<= t-now (finish $i-210)) (<= t-now (start $i-210)) (< (start $i-202) (finish $i-202)) (< (start $i-210) (finish $i-210)) (= (finish $i-202) (start $i-210)) (<= t-now $t) (= $t (finish $i-31)) (<= t-now (finish $i-29)) (<= t-now (start $i-29)) (<= t-now (finish $i-31)) (<= t-now (start $i-31)) (< (start $i-29) (finish $i-29)) (< (start $i-31) (finish $i-31)) (= (finish $i-29) (start $i-31))) premise 1 (= (value t-now (tmoney-wealth agent-self)) 5) premise 2 (= (value t-now (tmoney-price object-axe)) 3) premise 3 (= (value t-now (location agent-self)) (loc 1 -1)) premise 4 (-> (and (knows ?agent-1 (start ?i-2) (= ?loc-to-3 ?loc-to-ident-4)) (knows ?agent-1 (start ?i-2) (standard-id ?loc-to-ident-4)) (occurs ?agent-1 ?i-2 (walk ?loc-to-ident-4))) (and (= (value (finish ?i-2) (location ?agent-1)) ?loc-to-3) (-> (not (occlude ?i2-5 (location ?agent-1))) (not-overlap ?i2-5 ?i-2)))) premise 5 (-> (and (= (value (start ?i-6) (agent-owner object-axe)) agent-self) (= (value (start ?i-6) (location ?agent-7)) (loc 1 -1)) (occurs ?agent-7 ?i-6 chop)) (= (value (finish ?i-6) (agent-owner object-lumber)) ?agent-7)) premise 6 (-> (and (knows ?agent-buyer-8 (start ?i-9) (= (value (start ?i-9) (agent-owner ?object-10)) ?agent-seller-ident-11)) (knows ?agent-buyer-8 (start ?i-9) (standard-id ?agent-seller-ident-11)) (= (value (start ?i-9) (location ?agent-buyer-8)) (value (start ?i-9) (location ?agent-seller-ident-11))) (= (value (start ?i-9) (tmoney-price ?object-10)) ?tmoney-price-id-12) (= (value (start ?i-9) (tmoney-wealth ?agent-buyer-8)) ?tmoney-wealth-id-13) (>= ?tmoney-wealth-id-13 ?tmoney-price-id-12) (occurs ?agent-buyer-8 ?i-9 (buy ?object-10 ?agent-seller-ident-11))) (and (= (value (finish ?i-9) (agent-owner ?object-10)) ?agent-buyer-8) (= (value (finish ?i-9) (tmoney-wealth ?agent-buyer-8)) (- (value (start ?i-9) (tmoney-wealth ?agent-buyer-8)) (value (start ?i-9) (tmoney-price ?object-10)))) (= (value (finish ?i-9) (tmoney-wealth ?agent-seller-ident-11)) (+ (value (start ?i-9) (tmoney-wealth ?agent-seller-ident-11)) (value (start ?i-9) (tmoney-price ?object-10)))) (-> (not (occlude ?i2-14 (agent-owner ?object-10))) (not-overlap ?i2-14 ?i-9)) (-> (not (occlude ?i3-15 (tmoney-wealth ?agent-buyer-8))) (not-overlap ?i3-15 ?i-9)) (-> (not (occlude ?i4-16 (tmoney-wealth ?agent-seller-ident-11))) (not-overlap ?i4-16 ?i-9)))) premise 7 (-> (and (knows ?agent-17 (start ?i-18) (= ?p-fluent-19 ?p-fluent-ident-20)) (knows ?agent-17 (start ?i-18) (standard-id ?p-fluent-ident-20)) (occurs ?agent-17 ?i-18 (ask-value ?agent-knower-21 ?p-fluent-ident-20))) (and (knows ?agent-17 (finish ?i-18) (= (value (finish ?i-18) ?p-fluent-19) $p-value-22)) (knows ?agent-17 (finish ?i-18) (standard-id $p-value-22)))) showed 8 Show (and (= (value (start ?i-29) (agent-owner object-axe)) agent-self) (= (value (start ?i-29) (location ?agent-30)) (loc 1 -1)) (occurs ?agent-30 ?i-29 chop)) ;;; Showing ((and (= (start ?i-31) (finish ?i-29)) (= (finish ?i-31) ?t) (not (occlude ?i-31 (agent-owner object-lumber))))) will make (-> (and (= (value (start ?i-29) (agent-owner object-axe)) agent-self) (= (value (start ?i-29) (location ?agent-30)) (loc 1 -1)) (occurs ?agent-30 ?i-29 chop)) (= (value (finish ?i-29) (agent-owner object-lumber)) ?agent-30)) applicable by MP assume 9 o- (= (start $i-31) (finish $i-29)) rewrite 9 10 | (--> (finish $i-29) (start $i-31)) assume 11 | o- (= (finish $i-31) $t) assume 12 | | o- (not (occlude $i-31 (agent-owner object-lumber))) bwci 9,11-12 13 | | | (and (= (start $i-31) (finish $i-29)) (= (finish $i-31) $t) (not (occlude $i-31 (agent-owner object-lumber)))) ;;; Unifier ((?t . $t) (?i-29 . $i-29) (?i-31 . $i-31) (?agent-30 . agent-self)) showed 14 | | | Show (and (knows ?agent-buyer-201 (start ?i-202) (= (value (start ?i-202) (agent-owner ?object-203)) ?agent-seller-ident-204)) (knows ?agent-buyer-201 (start ?i-202) (standard-id ?agent-seller-ident-204)) (= (value (start ?i-202) (location ?agent-buyer-201)) (value (start ?i-202) (location ?agent-seller-ident-204))) (= (value (start ?i-202) (tmoney-price ?object-203)) ?tmoney-price-id-205) (= (value (start ?i-202) (tmoney-wealth ?agent-buyer-201)) ?tmoney-wealth-id-206) (>= ?tmoney-wealth-id-206 ?tmoney-price-id-205) (occurs ?agent-buyer-201 ?i-202 (buy ?object-203 ?agent-seller-ident-204))) ;;; Showing ((and (= (start ?i-210) (finish ?i-202)) (= (finish ?i-210) (start $i-29)) (not (occlude ?i-210 (agent-owner object-axe))))) will make (-> (and (knows ?agent-buyer-201 (start ?i-202) (= (value (start ?i-202) (agent-owner ?object-203)) ?agent-seller-ident-204)) (knows ?agent-buyer-201 (start ?i-202) (standard-id ?agent-seller-ident-204)) (= (value (start ?i-202) (location ?agent-buyer-201)) (value (start ?i-202) (location ?agent-seller-ident-204))) (= (value (start ?i-202) (tmoney-price ?object-203)) ?tmoney-price-id-205) (= (value (start ?i-202) (tmoney-wealth ?agent-buyer-201)) ?tmoney-wealth-id-206) (>= ?tmoney-wealth-id-206 ?tmoney-price-id-205) (occurs ?agent-buyer-201 ?i-202 (buy ?object-203 ?agent-seller-ident-204))) (and (= (value (finish ?i-202) (agent-owner ?object-203)) ?agent-buyer-201) (= (value (finish ?i-202) (tmoney-wealth ?agent-buyer-201)) (- (value (start ?i-202) (tmoney-wealth ?agent-buyer-201)) (value (start ?i-202) (tmoney-price ?object-203)))) (= (value (finish ?i-202) (tmoney-wealth ?agent-seller-ident-204)) (+ (value (start ?i-202) (tmoney-wealth ?agent-seller-ident-204)) (value (start ?i-202) (tmoney-price ?object-203)))) (-> (not (occlude ?i2-207 (agent-owner ?object-203))) (not-overlap ?i2-207 ?i-202)) (-> (not (occlude ?i3-208 (tmoney-wealth ?agent-buyer-201))) (not-overlap ?i3-208 ?i-202)) (-> (not (occlude ?i4-209 (tmoney-wealth ?agent-seller-ident-204))) (not-overlap ?i4-209 ?i-202)))) applicable by MP assume 15 | | | o- (= (start $i-210) (finish $i-202)) rewrite 15 16 | | | | (--> (finish $i-202) (start $i-210)) assume 17 | | | | o- (= (finish $i-210) (start $i-29)) rewrite 17 18 | | | | | (--> (start $i-29) (finish $i-210)) assume 19 | | | | | o- (not (occlude $i-210 (agent-owner object-axe))) bwci 15,17,19 20 | | | | | | (and (= (start $i-210) (finish $i-202)) (= (finish $i-210) (start $i-29)) (not (occlude $i-210 (agent-owner object-axe)))) ;;; Unifier ((?i-202 . $i-202) (?i-210 . $i-210) (?agent-30 . agent-self) (?i-31 . $i-31) (?i-29 . $i-29) (?t . $t) (?object-203 . object-axe) (?agent-buyer-201 . agent-self)) showed 21 | | | | | | Show (and (knows ?agent-385 (start ?i-386) (= ?p-fluent-387 ?p-fluent-ident-388)) (knows ?agent-385 (start ?i-386) (standard-id ?p-fluent-ident-388)) (occurs ?agent-385 ?i-386 (ask-value ?agent-knower-389 ?p-fluent-ident-388))) ;;; Showing ((knows agent-self (start $i-202) (and (<= (finish ?i-386) (start $i-202)) (= (start ?i-391) (finish ?i-386)) (= (finish ?i-391) (start $i-202)) (not (occlude ?i-391 (agent-owner object-axe)))))) will make (-> (and (knows ?agent-385 (start ?i-386) (= ?p-fluent-387 ?p-fluent-ident-388)) (knows ?agent-385 (start ?i-386) (standard-id ?p-fluent-ident-388)) (occurs ?agent-385 ?i-386 (ask-value ?agent-knower-389 ?p-fluent-ident-388))) (and (knows ?agent-385 (finish ?i-386) (= (value (finish ?i-386) ?p-fluent-387) $p-value-390)) (knows ?agent-385 (finish ?i-386) (standard-id $p-value-390)))) applicable by MP assume 22 | | | | | | o- (knows agent-self (start $i-202) (<= (finish $i-386) (start $i-202))) assume 23 | | | | | | | o- (knows agent-self (start $i-202) (= (start $i-391) (finish $i-386))) rewrite 23 24 | | | | | | | | (knows agent-self (start $i-202) (--> (finish $i-386) (start $i-391))) assume 25 | | | | | | | | o- (knows agent-self (start $i-202) (= (finish $i-391) (start $i-202))) rewrite 25 26 | | | | | | | | | (knows agent-self (start $i-202) (--> (start $i-202) (finish $i-391))) assume 27 | | | | | | | | | o- (knows agent-self (start $i-202) (not (occlude $i-391 (agent-owner object-axe)))) bwci 22-23,2... 28 | | | | | | | | | | (knows agent-self (start $i-202) (and (<= (finish $i-386) (start $i-202)) (= (start $i-391) (finish $i-386)) (= (finish $i-391) (start $i-202)) (not (occlude $i-391 (agent-owner object-axe))))) ;;; Unifier ((?i-391 . $i-391) (?i-386 . $i-386) (?agent-buyer-201 . agent-self) (?object-203 . object-axe) (?t . $t) (?i-29 . $i-29) (?i-31 . $i-31) (?agent-30 . agent-self) (?i-210 . $i-210) (?i-202 . $i-202) (?agent-385 . agent-self) (?p-fluent-387 agent-owner object-axe) (?agent-seller-ident-204 . $p-value-390)) assume 29 | | | | | | | | | | o- (occurs agent-self $i-386 (ask-value ?agent-knower-389 (agent-owner object-axe))) bwci t,t,29 30 | | | | | | | | | | | (and (knows agent-self (start $i-386) (= (agent-owner object-axe) (agent-owner object-axe))) (knows agent-self (start $i-386) (standard-id (agent-owner object-axe))) (occurs agent-self $i-386 (ask-value ?agent-knower-389 (agent-owner object-axe)))) ;;; Unifier ((?p-fluent-ident-388 agent-owner object-axe) (?i-391 . $i-391) (?i-386 . $i-386) (?agent-buyer-201 . agent-self) (?object-203 . object-axe) (?t . $t) (?i-29 . $i-29) (?i-31 . $i-31) (?agent-30 . agent-self) (?i-210 . $i-210) (?i-202 . $i-202) (?agent-385 . agent-self) (?p-fluent-387 agent-owner object-axe) (?agent-seller-ident-204 . $p-value-390)) bwmp 30,28 31 | | | | | | | | | | | (and (knows agent-self (finish $i-386) (= (value (finish $i-386) (agent-owner object-axe)) $p-value-390)) (knows agent-self (finish $i-386) (standard-id $p-value-390))) ;;; Unifier ((?p-fluent-ident-388 agent-owner object-axe) (?i-391 . $i-391) (?i-386 . $i-386) (?agent-buyer-201 . agent-self) (?object-203 . object-axe) (?t . $t) (?i-29 . $i-29) (?i-31 . $i-31) (?agent-30 . agent-self) (?i-210 . $i-210) (?i-202 . $i-202) (?agent-385 . agent-self) (?p-fluent-387 agent-owner object-axe) (?agent-seller-ident-204 . $p-value-390)) fwce 30 32 | | | | | | | | | | | (knows agent-self (start $i-386) (= (agent-owner object-axe) (agent-owner object-axe))) fwce 30 33 | | | | | | | | | | | (knows agent-self (start $i-386) (standard-id (agent-owner object-axe))) fwce 31 34 | | | | | | | | | | | (knows agent-self (finish $i-386) (= (value (finish $i-386) (agent-owner object-axe)) $p-value-390)) fwce 31 35 | | | | | | | | | | | (knows agent-self (finish $i-386) (standard-id $p-value-390)) assume 36 | | | | | | | | | | | o- (<= (finish $i-386) (start $i-202)) bwua 35 37 | | | | | | | | | | | | (knows agent-self (start $i-202) (standard-id $p-value-390)) fwmp 7,25,37,29 38 | | | | | | | | | | | | (knows agent-self (finish $i-202) (= (value (finish $i-202) (finish $i-391)) $p-value-22)) fwmp 7,25,37,29 39 | | | | | | | | | | | | (knows agent-self (finish $i-202) (standard-id $p-value-22)) fwmp 7,23,37,29 40 | | | | | | | | | | | | (knows agent-self (finish $i-202) (= (value (finish $i-202) (start $i-391)) $p-value-22)) showed 41 | | | | | | | | | | | | Show (and (knows ?agent-773 (start ?i-774) (= ?loc-to-775 ?loc-to-ident-776)) (knows ?agent-773 (start ?i-774) (standard-id ?loc-to-ident-776)) (occurs ?agent-773 ?i-774 (walk ?loc-to-ident-776))) ;;; Showing ((and (= (start ?i-778) (finish ?i-774)) (= (finish ?i-778) (start $i-202)) (not (occlude ?i-778 (location agent-self))))) will make (-> (and (knows ?agent-773 (start ?i-774) (= ?loc-to-775 ?loc-to-ident-776)) (knows ?agent-773 (start ?i-774) (standard-id ?loc-to-ident-776)) (occurs ?agent-773 ?i-774 (walk ?loc-to-ident-776))) (and (= (value (finish ?i-774) (location ?agent-773)) ?loc-to-775) (-> (not (occlude ?i2-777 (location ?agent-773))) (not-overlap ?i2-777 ?i-774)))) applicable by MP assume 42 | | | | | | | | | | | | o- (= (start $i-778) (finish $i-774)) rewrite 42 43 | | | | | | | | | | | | | (--> (finish $i-774) (start $i-778)) assume 44 | | | | | | | | | | | | | o- (= (finish $i-778) (start $i-202)) rewrite 44 45 | | | | | | | | | | | | | | (--> (start $i-202) (finish $i-778)) assume 46 | | | | | | | | | | | | | | o- (not (occlude $i-778 (location agent-self))) bwci 42,44,46 47 | | | | | | | | | | | | | | | (and (= (start $i-778) (finish $i-774)) (= (finish $i-778) (start $i-202)) (not (occlude $i-778 (location agent-self)))) ;;; Unifier ((?i-774 . $i-774) (?i-778 . $i-778) (?p-fluent-ident-388 agent-owner object-axe) (?i-391 . $i-391) (?i-386 . $i-386) (?agent-buyer-201 . agent-self) (?object-203 . object-axe) (?t . $t) (?i-29 . $i-29) (?i-31 . $i-31) (?agent-30 . agent-self) (?i-210 . $i-210) (?i-202 . $i-202) (?agent-385 . agent-self) (?p-fluent-387 agent-owner object-axe) (?agent-seller-ident-204 . $p-value-390) (?agent-773 . agent-self) (?loc-to-775 value (start $i-202) (location $p-value-390))) showed 48 | | | | | | | | | | | | | | | Show (and (knows ?agent-973 (start ?i-974) (= ?p-fluent-975 ?p-fluent-ident-976)) (knows ?agent-973 (start ?i-974) (standard-id ?p-fluent-ident-976)) (occurs ?agent-973 ?i-974 (ask-value ?agent-knower-977 ?p-fluent-ident-976))) ;;; Showing ((knows agent-self (start $i-774) (and (<= (finish ?i-974) (start $i-774)) (= (start ?i-979) (finish ?i-974)) (= (finish ?i-979) (start $i-202)) (not (occlude ?i-979 (location $p-value-390)))))) will make (-> (and (knows ?agent-973 (start ?i-974) (= ?p-fluent-975 ?p-fluent-ident-976)) (knows ?agent-973 (start ?i-974) (standard-id ?p-fluent-ident-976)) (occurs ?agent-973 ?i-974 (ask-value ?agent-knower-977 ?p-fluent-ident-976))) (and (knows ?agent-973 (finish ?i-974) (= (value (finish ?i-974) ?p-fluent-975) $p-value-978)) (knows ?agent-973 (finish ?i-974) (standard-id $p-value-978)))) applicable by MP assume 49 | | | | | | | | | | | | | | | o- (knows agent-self (start $i-774) (<= (finish $i-974) (start $i-774))) assume 50 | | | | | | | | | | | | | | | | o- (knows agent-self (start $i-774) (= (start $i-979) (finish $i-974))) rewrite 50 51 | | | | | | | | | | | | | | | | | (knows agent-self (start $i-774) (--> (finish $i-974) (start $i-979))) fwmp 7,50,37,29 52 | | | | | | | | | | | | | | | | | (knows agent-self (finish $i-774) (= (value (finish $i-774) (start $i-979)) $p-value-22)) fwmp 7,50,37,29 53 | | | | | | | | | | | | | | | | | (knows agent-self (finish $i-774) (standard-id $p-value-22)) assume 54 | | | | | | | | | | | | | | | | | o- (knows agent-self (start $i-774) (= (finish $i-979) (start $i-202))) rewrite 54 55 | | | | | | | | | | | | | | | | | | (knows agent-self (start $i-774) (--> (start $i-202) (finish $i-979))) fwmp 7,54,37,29 56 | | | | | | | | | | | | | | | | | | (knows agent-self (finish $i-774) (= (value (finish $i-774) (finish $i-979)) $p-value-22)) assume 57 | | | | | | | | | | | | | | | | | | o- (knows agent-self (start $i-774) (not (occlude $i-979 (location $p-value-390)))) bwci 49-50,5... 58 | | | | | | | | | | | | | | | | | | | (knows agent-self (start $i-774) (and (<= (finish $i-974) (start $i-774)) (= (start $i-979) (finish $i-974)) (= (finish $i-979) (start $i-202)) (not (occlude $i-979 (location $p-value-390))))) ;;; Unifier ((?i-979 . $i-979) (?i-974 . $i-974) (?loc-to-775 value (start $i-202) (location $p-value-390)) (?agent-773 . agent-self) (?agent-seller-ident-204 . $p-value-390) (?p-fluent-387 agent-owner object-axe) (?agent-385 . agent-self) (?i-202 . $i-202) (?i-210 . $i-210) (?agent-30 . agent-self) (?i-31 . $i-31) (?i-29 . $i-29) (?t . $t) (?object-203 . object-axe) (?agent-buyer-201 . agent-self) (?i-386 . $i-386) (?i-391 . $i-391) (?p-fluent-ident-388 agent-owner object-axe) (?i-778 . $i-778) (?i-774 . $i-774) (?agent-973 . agent-self) (?p-fluent-975 location $p-value-390) (?loc-to-ident-776 . $p-value-978)) assume 59 | | | | | | | | | | | | | | | | | | | o- (<= (finish $i-386) (start $i-974)) bwua 35 60 | | | | | | | | | | | | | | | | | | | | (knows agent-self (start $i-974) (standard-id $p-value-390)) assume 61 | | | | | | | | | | | | | | | | | | | | o- (occurs agent-self $i-974 (ask-value ?agent-knower-977 (location $p-value-390))) seriality 62 | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-974 $i-386) bwci t,t,61 63 | | | | | | | | | | | | | | | | | | | | | (and (knows agent-self (start $i-974) (= (location $p-value-390) (location $p-value-390))) (knows agent-self (start $i-974) (standard-id (location $p-value-390))) (occurs agent-self $i-974 (ask-value ?agent-knower-977 (location $p-value-390)))) ;;; Unifier ((?loc-to-ident-776 . $p-value-978) (?p-fluent-975 location $p-value-390) (?agent-973 . agent-self) (?i-774 . $i-774) (?i-778 . $i-778) (?p-fluent-ident-388 agent-owner object-axe) (?i-391 . $i-391) (?i-386 . $i-386) (?agent-buyer-201 . agent-self) (?object-203 . object-axe) (?t . $t) (?i-29 . $i-29) (?i-31 . $i-31) (?agent-30 . agent-self) (?i-210 . $i-210) (?i-202 . $i-202) (?agent-385 . agent-self) (?p-fluent-387 agent-owner object-axe) (?agent-seller-ident-204 . $p-value-390) (?agent-773 . agent-self) (?loc-to-775 value (start $i-202) (location $p-value-390)) (?i-974 . $i-974) (?i-979 . $i-979) (?p-fluent-ident-976 location $p-value-390)) bwmp 63,58 64 | | | | | | | | | | | | | | | | | | | | | (and (knows agent-self (finish $i-974) (= (value (finish $i-974) (location $p-value-390)) $p-value-978)) (knows agent-self (finish $i-974) (standard-id $p-value-978))) ;;; Unifier ((?loc-to-ident-776 . $p-value-978) (?p-fluent-975 location $p-value-390) (?agent-973 . agent-self) (?i-774 . $i-774) (?i-778 . $i-778) (?p-fluent-ident-388 agent-owner object-axe) (?i-391 . $i-391) (?i-386 . $i-386) (?agent-buyer-201 . agent-self) (?object-203 . object-axe) (?t . $t) (?i-29 . $i-29) (?i-31 . $i-31) (?agent-30 . agent-self) (?i-210 . $i-210) (?i-202 . $i-202) (?agent-385 . agent-self) (?p-fluent-387 agent-owner object-axe) (?agent-seller-ident-204 . $p-value-390) (?agent-773 . agent-self) (?loc-to-775 value (start $i-202) (location $p-value-390)) (?i-974 . $i-974) (?i-979 . $i-979) (?p-fluent-ident-976 location $p-value-390)) fwce 63 65 | | | | | | | | | | | | | | | | | | | | | (knows agent-self (start $i-974) (= (location $p-value-390) (location $p-value-390))) fwce 63 66 | | | | | | | | | | | | | | | | | | | | | (knows agent-self (start $i-974) (standard-id (location $p-value-390))) fwce 64 67 | | | | | | | | | | | | | | | | | | | | | (knows agent-self (finish $i-974) (= (value (finish $i-974) (location $p-value-390)) $p-value-978)) fwce 64 68 | | | | | | | | | | | | | | | | | | | | | (knows agent-self (finish $i-974) (standard-id $p-value-978)) assume 69 | | | | | | | | | | | | | | | | | | | | | o- (<= (finish $i-974) (start $i-774)) bwua 68 70 | | | | | | | | | | | | | | | | | | | | | | (knows agent-self (start $i-774) (standard-id $p-value-978)) assume 71 | | | | | | | | | | | | | | | | | | | | | | o- (occurs agent-self $i-774 (walk $p-value-978)) seriality 72 | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-774 $i-386) seriality 73 | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-774 $i-974) fwmp 4,65-66,71 74 | | | | | | | | | | | | | | | | | | | | | | | (= (value (finish $i-974) (location agent-self)) (location $p-value-390)) fwmp 4,65-66,71 75 | | | | | | | | | | | | | | | | | | | | | | | (-> (not (occlude ?i2-1794 (location agent-self))) (not-overlap ?i2-1794 $i-974)) fwmp 75,46 76 | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-778 $i-974) bwci 64,70-71 77 | | | | | | | | | | | | | | | | | | | | | | | (and (knows agent-self (start $i-774) (= (value (start $i-202) (location $p-value-390)) $p-value-978)) (knows agent-self (start $i-774) (standard-id $p-value-978)) (occurs agent-self $i-774 (walk $p-value-978))) ;;; Unifier ((?p-fluent-ident-976 location $p-value-390) (?i-979 . $i-979) (?i-974 . $i-974) (?loc-to-775 value (start $i-202) (location $p-value-390)) (?agent-773 . agent-self) (?agent-seller-ident-204 . $p-value-390) (?p-fluent-387 agent-owner object-axe) (?agent-385 . agent-self) (?i-202 . $i-202) (?i-210 . $i-210) (?agent-30 . agent-self) (?i-31 . $i-31) (?i-29 . $i-29) (?t . $t) (?object-203 . object-axe) (?agent-buyer-201 . agent-self) (?i-386 . $i-386) (?i-391 . $i-391) (?p-fluent-ident-388 agent-owner object-axe) (?i-778 . $i-778) (?i-774 . $i-774) (?agent-973 . agent-self) (?p-fluent-975 location $p-value-390) (?loc-to-ident-776 . $p-value-978)) bwmp 77,47 78 | | | | | | | | | | | | | | | | | | | | | | | (and (= (value (finish $i-774) (location agent-self)) (value (start $i-202) (location $p-value-390))) (-> (not (occlude ?i2-777 (location agent-self))) (not-overlap ?i2-777 $i-774))) ;;; Unifier ((?p-fluent-ident-976 location $p-value-390) (?i-979 . $i-979) (?i-974 . $i-974) (?loc-to-775 value (start $i-202) (location $p-value-390)) (?agent-773 . agent-self) (?agent-seller-ident-204 . $p-value-390) (?p-fluent-387 agent-owner object-axe) (?agent-385 . agent-self) (?i-202 . $i-202) (?i-210 . $i-210) (?agent-30 . agent-self) (?i-31 . $i-31) (?i-29 . $i-29) (?t . $t) (?object-203 . object-axe) (?agent-buyer-201 . agent-self) (?i-386 . $i-386) (?i-391 . $i-391) (?p-fluent-ident-388 agent-owner object-axe) (?i-778 . $i-778) (?i-774 . $i-774) (?agent-973 . agent-self) (?p-fluent-975 location $p-value-390) (?loc-to-ident-776 . $p-value-978)) fwce 77 79 | | | | | | | | | | | | | | | | | | | | | | | (knows agent-self (start $i-774) (= (value (start $i-202) (location $p-value-390)) $p-value-978)) fwce 78 80 | | | | | | | | | | | | | | | | | | | | | | | (= (value (finish $i-774) (location agent-self)) (value (start $i-202) (location $p-value-390))) rewrite 80 81 | | | | | | | | | | | | | | | | | | | | | | | (--> (value (start $i-202) (location $p-value-390)) (value (finish $i-774) (location agent-self))) fwce 78 82 | | | | | | | | | | | | | | | | | | | | | | | (-> (not (occlude ?i2-1819 (location agent-self))) (not-overlap ?i2-1819 $i-774)) fwmp 7,79,70,61 83 | | | | | | | | | | | | | | | | | | | | | | | (knows agent-self (finish $i-774) (= (value (finish $i-774) (value (start $i-202) (location $p-value-390))) $p-value-22)) fwmp 82,46 84 | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-778 $i-774) assume 85 | | | | | | | | | | | | | | | | | | | | | | | o- (= (start $i-1851) t-now) assume 86 | | | | | | | | | | | | | | | | | | | | | | | | o- (= (finish $i-1851) (start $i-202)) rewrite 86 87 | | | | | | | | | | | | | | | | | | | | | | | | | (--> (start $i-202) (finish $i-1851)) assume 88 | | | | | | | | | | | | | | | | | | | | | | | | | o- (not (occlude $i-1851 (tmoney-price object-axe))) bwci 85-86,88 89 | | | | | | | | | | | | | | | | | | | | | | | | | | (and (= (start $i-1851) t-now) (= (finish $i-1851) (start $i-202)) (not (occlude $i-1851 (tmoney-price object-axe)))) ;;; Unifier ((?i-1851 . $i-1851) (?loc-to-ident-776 . $p-value-978) (?p-fluent-975 location $p-value-390) (?agent-973 . agent-self) (?i-774 . $i-774) (?i-778 . $i-778) (?p-fluent-ident-388 agent-owner object-axe) (?i-391 . $i-391) (?i-386 . $i-386) (?agent-buyer-201 . agent-self) (?object-203 . object-axe) (?t . $t) (?i-29 . $i-29) (?i-31 . $i-31) (?agent-30 . agent-self) (?i-210 . $i-210) (?i-202 . $i-202) (?agent-385 . agent-self) (?p-fluent-387 agent-owner object-axe) (?agent-seller-ident-204 . $p-value-390) (?agent-773 . agent-self) (?loc-to-775 value (start $i-202) (location $p-value-390)) (?i-974 . $i-974) (?i-979 . $i-979) (?p-fluent-ident-976 location $p-value-390) (?tmoney-price-id-205 . 3)) bwua 2 90 | | | | | | | | | | | | | | | | | | | | | | | | | | (= (value (start $i-202) (tmoney-price object-axe)) 3) assume 91 | | | | | | | | | | | | | | | | | | | | | | | | | | o- (= (start $i-2039) t-now) assume 92 | | | | | | | | | | | | | | | | | | | | | | | | | | | o- (= (finish $i-2039) (start $i-202)) rewrite 92 93 | | | | | | | | | | | | | | | | | | | | | | | | | | | | (--> (start $i-202) (finish $i-2039)) assume 94 | | | | | | | | | | | | | | | | | | | | | | | | | | | | o- (not (occlude $i-2039 (tmoney-wealth agent-self))) bwci 91-92,94 95 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (and (= (start $i-2039) t-now) (= (finish $i-2039) (start $i-202)) (not (occlude $i-2039 (tmoney-wealth agent-self)))) ;;; Unifier ((?i-2039 . $i-2039) (?tmoney-price-id-205 . 3) (?p-fluent-ident-976 location $p-value-390) (?i-979 . $i-979) (?i-974 . $i-974) (?loc-to-775 value (start $i-202) (location $p-value-390)) (?agent-773 . agent-self) (?agent-seller-ident-204 . $p-value-390) (?p-fluent-387 agent-owner object-axe) (?agent-385 . agent-self) (?i-202 . $i-202) (?i-210 . $i-210) (?agent-30 . agent-self) (?i-31 . $i-31) (?i-29 . $i-29) (?t . $t) (?object-203 . object-axe) (?agent-buyer-201 . agent-self) (?i-386 . $i-386) (?i-391 . $i-391) (?p-fluent-ident-388 agent-owner object-axe) (?i-778 . $i-778) (?i-774 . $i-774) (?agent-973 . agent-self) (?p-fluent-975 location $p-value-390) (?loc-to-ident-776 . $p-value-978) (?i-1851 . $i-1851) (?tmoney-wealth-id-206 . 5)) bwua 1 96 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (= (value (start $i-202) (tmoney-wealth agent-self)) 5) assume 97 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | o- (>= 5 3) assume 98 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | o- (occurs agent-self $i-202 (buy object-axe $p-value-390)) seriality 99 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-202 $i-386) seriality 100 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-202 $i-974) seriality 101 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-202 $i-774) bwci 31,37,7... 102 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (and (knows agent-self (start $i-202) (= (value (start $i-202) (agent-owner object-axe)) $p-value-390)) (knows agent-self (start $i-202) (standard-id $p-value-390)) (= (value (start $i-202) (location agent-self)) (value (start $i-202) (location $p-value-390))) (= (value (start $i-202) (tmoney-price object-axe)) 3) (= (value (start $i-202) (tmoney-wealth agent-self)) 5) (>= 5 3) (occurs agent-self $i-202 (buy object-axe $p-value-390))) ;;; Unifier ((?i-2039 . $i-2039) (?tmoney-price-id-205 . 3) (?p-fluent-ident-976 location $p-value-390) (?i-979 . $i-979) (?i-974 . $i-974) (?loc-to-775 value (start $i-202) (location $p-value-390)) (?agent-773 . agent-self) (?agent-seller-ident-204 . $p-value-390) (?p-fluent-387 agent-owner object-axe) (?agent-385 . agent-self) (?i-202 . $i-202) (?i-210 . $i-210) (?agent-30 . agent-self) (?i-31 . $i-31) (?i-29 . $i-29) (?t . $t) (?object-203 . object-axe) (?agent-buyer-201 . agent-self) (?i-386 . $i-386) (?i-391 . $i-391) (?p-fluent-ident-388 agent-owner object-axe) (?i-778 . $i-778) (?i-774 . $i-774) (?agent-973 . agent-self) (?p-fluent-975 location $p-value-390) (?loc-to-ident-776 . $p-value-978) (?i-1851 . $i-1851) (?tmoney-wealth-id-206 . 5)) bwmp 102,20 103 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (and (= (value (finish $i-202) (agent-owner object-axe)) agent-self) (= (value (finish $i-202) (tmoney-wealth agent-self)) (- (value (start $i-202) (tmoney-wealth agent-self)) (value (start $i-202) (tmoney-price object-axe)))) (= (value (finish $i-202) (tmoney-wealth $p-value-390)) (+ (value (start $i-202) (tmoney-wealth $p-value-390)) (value (start $i-202) (tmoney-price object-axe)))) (-> (not (occlude ?i2-207 (agent-owner object-axe))) (not-overlap ?i2-207 $i-202)) (-> (not (occlude ?i3-208 (tmoney-wealth agent-self))) (not-overlap ?i3-208 $i-202)) (-> (not (occlude ?i4-209 (tmoney-wealth $p-value-390))) (not-overlap ?i4-209 $i-202))) ;;; Unifier ((?i-2039 . $i-2039) (?tmoney-price-id-205 . 3) (?p-fluent-ident-976 location $p-value-390) (?i-979 . $i-979) (?i-974 . $i-974) (?loc-to-775 value (start $i-202) (location $p-value-390)) (?agent-773 . agent-self) (?agent-seller-ident-204 . $p-value-390) (?p-fluent-387 agent-owner object-axe) (?agent-385 . agent-self) (?i-202 . $i-202) (?i-210 . $i-210) (?agent-30 . agent-self) (?i-31 . $i-31) (?i-29 . $i-29) (?t . $t) (?object-203 . object-axe) (?agent-buyer-201 . agent-self) (?i-386 . $i-386) (?i-391 . $i-391) (?p-fluent-ident-388 agent-owner object-axe) (?i-778 . $i-778) (?i-774 . $i-774) (?agent-973 . agent-self) (?p-fluent-975 location $p-value-390) (?loc-to-ident-776 . $p-value-978) (?i-1851 . $i-1851) (?tmoney-wealth-id-206 . 5)) fwce 102 104 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (knows agent-self (start $i-202) (= (value (start $i-202) (agent-owner object-axe)) $p-value-390)) fwce 102 105 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (= (value (start $i-202) (location agent-self)) (value (start $i-202) (location $p-value-390))) rewrite 105 106 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (--> (value (start $i-202) (location $p-value-390)) (value (start $i-202) (location agent-self))) fwce 103 107 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (= (value (finish $i-202) (agent-owner object-axe)) agent-self) fwce 103 108 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (= (value (finish $i-202) (tmoney-wealth agent-self)) (- (value (start $i-202) (tmoney-wealth agent-self)) (value (start $i-202) (tmoney-price object-axe)))) rewrite 108 109 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (--> (- (value (start $i-202) (tmoney-wealth agent-self)) (value (start $i-202) (tmoney-price object-axe))) (value (finish $i-202) (tmoney-wealth agent-self))) fwce 103 110 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (= (value (finish $i-202) (tmoney-wealth $p-value-390)) (+ (value (start $i-202) (tmoney-wealth $p-value-390)) (value (start $i-202) (tmoney-price object-axe)))) rewrite 110 111 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (--> (+ (value (start $i-202) (tmoney-wealth $p-value-390)) (value (start $i-202) (tmoney-price object-axe))) (value (finish $i-202) (tmoney-wealth $p-value-390))) fwce 103 112 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (-> (not (occlude ?i2-2277 (agent-owner object-axe))) (not-overlap ?i2-2277 $i-202)) fwce 103 113 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (-> (not (occlude ?i3-2278 (tmoney-wealth agent-self))) (not-overlap ?i3-2278 $i-202)) fwce 103 114 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (-> (not (occlude ?i4-2279 (tmoney-wealth $p-value-390))) (not-overlap ?i4-2279 $i-202)) fwmp 7,104,7... 115 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (knows agent-self (finish $i-202) (= (value (finish $i-202) (value (start $i-202) (agent-owner object-axe))) $p-value-22)) fwmp 112,19 116 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-210 $i-202) fwmp 113,94 117 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-2039 $i-202) showed 118 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Show (and (knows ?agent-2280 (start ?i-2281) (= ?loc-to-2282 ?loc-to-ident-2283)) (knows ?agent-2280 (start ?i-2281) (standard-id ?loc-to-ident-2283)) (occurs ?agent-2280 ?i-2281 (walk ?loc-to-ident-2283))) ;;; Showing ((and (= (start ?i-2285) (finish ?i-2281)) (= (finish ?i-2285) (start $i-29)) (not (occlude ?i-2285 (location agent-self))))) will make (-> (and (knows ?agent-2280 (start ?i-2281) (= ?loc-to-2282 ?loc-to-ident-2283)) (knows ?agent-2280 (start ?i-2281) (standard-id ?loc-to-ident-2283)) (occurs ?agent-2280 ?i-2281 (walk ?loc-to-ident-2283))) (and (= (value (finish ?i-2281) (location ?agent-2280)) ?loc-to-2282) (-> (not (occlude ?i2-2284 (location ?agent-2280))) (not-overlap ?i2-2284 ?i-2281)))) applicable by MP assume 119 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | o- (= (start $i-2285) (finish $i-2281)) rewrite 119 120 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (--> (finish $i-2281) (start $i-2285)) assume 121 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | o- (= (finish $i-2285) (start $i-29)) rewrite 121 122 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (--> (start $i-29) (finish $i-2285)) assume 123 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | o- (not (occlude $i-2285 (location agent-self))) fwmp 75,123 124 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-2285 $i-974) fwmp 82,123 125 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-2285 $i-774) bwci 119,121... 126 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (and (= (start $i-2285) (finish $i-2281)) (= (finish $i-2285) (start $i-29)) (not (occlude $i-2285 (location agent-self)))) ;;; Unifier ((?i-2281 . $i-2281) (?i-2285 . $i-2285) (?tmoney-wealth-id-206 . 5) (?i-1851 . $i-1851) (?loc-to-ident-776 . $p-value-978) (?p-fluent-975 location $p-value-390) (?agent-973 . agent-self) (?i-774 . $i-774) (?i-778 . $i-778) (?p-fluent-ident-388 agent-owner object-axe) (?i-391 . $i-391) (?i-386 . $i-386) (?agent-buyer-201 . agent-self) (?object-203 . object-axe) (?t . $t) (?i-29 . $i-29) (?i-31 . $i-31) (?agent-30 . agent-self) (?i-210 . $i-210) (?i-202 . $i-202) (?agent-385 . agent-self) (?p-fluent-387 agent-owner object-axe) (?agent-seller-ident-204 . $p-value-390) (?agent-773 . agent-self) (?loc-to-775 value (start $i-202) (location $p-value-390)) (?i-974 . $i-974) (?i-979 . $i-979) (?p-fluent-ident-976 location $p-value-390) (?tmoney-price-id-205 . 3) (?i-2039 . $i-2039) (?agent-2280 . agent-self) (?loc-to-2282 loc 1 -1)) assume 127 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | o- (occurs agent-self $i-2281 (walk (loc 1 -1))) seriality 128 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-2281 $i-386) seriality 129 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-2281 $i-974) seriality 130 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-2281 $i-774) seriality 131 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-2281 $i-202) bwci t,t,127 132 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (and (knows agent-self (start $i-2281) (= (loc 1 -1) (loc 1 -1))) (knows agent-self (start $i-2281) (standard-id (loc 1 -1))) (occurs agent-self $i-2281 (walk (loc 1 -1)))) ;;; Unifier ((?loc-to-ident-2283 loc 1 -1) (?i-2281 . $i-2281) (?i-2285 . $i-2285) (?tmoney-wealth-id-206 . 5) (?i-1851 . $i-1851) (?loc-to-ident-776 . $p-value-978) (?p-fluent-975 location $p-value-390) (?agent-973 . agent-self) (?i-774 . $i-774) (?i-778 . $i-778) (?p-fluent-ident-388 agent-owner object-axe) (?i-391 . $i-391) (?i-386 . $i-386) (?agent-buyer-201 . agent-self) (?object-203 . object-axe) (?t . $t) (?i-29 . $i-29) (?i-31 . $i-31) (?agent-30 . agent-self) (?i-210 . $i-210) (?i-202 . $i-202) (?agent-385 . agent-self) (?p-fluent-387 agent-owner object-axe) (?agent-seller-ident-204 . $p-value-390) (?agent-773 . agent-self) (?loc-to-775 value (start $i-202) (location $p-value-390)) (?i-974 . $i-974) (?i-979 . $i-979) (?p-fluent-ident-976 location $p-value-390) (?tmoney-price-id-205 . 3) (?i-2039 . $i-2039) (?agent-2280 . agent-self) (?loc-to-2282 loc 1 -1)) bwmp 132,126 133 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (and (= (value (finish $i-2281) (location agent-self)) (loc 1 -1)) (-> (not (occlude ?i2-2284 (location agent-self))) (not-overlap ?i2-2284 $i-2281))) ;;; Unifier ((?loc-to-ident-2283 loc 1 -1) (?i-2281 . $i-2281) (?i-2285 . $i-2285) (?tmoney-wealth-id-206 . 5) (?i-1851 . $i-1851) (?loc-to-ident-776 . $p-value-978) (?p-fluent-975 location $p-value-390) (?agent-973 . agent-self) (?i-774 . $i-774) (?i-778 . $i-778) (?p-fluent-ident-388 agent-owner object-axe) (?i-391 . $i-391) (?i-386 . $i-386) (?agent-buyer-201 . agent-self) (?object-203 . object-axe) (?t . $t) (?i-29 . $i-29) (?i-31 . $i-31) (?agent-30 . agent-self) (?i-210 . $i-210) (?i-202 . $i-202) (?agent-385 . agent-self) (?p-fluent-387 agent-owner object-axe) (?agent-seller-ident-204 . $p-value-390) (?agent-773 . agent-self) (?loc-to-775 value (start $i-202) (location $p-value-390)) (?i-974 . $i-974) (?i-979 . $i-979) (?p-fluent-ident-976 location $p-value-390) (?tmoney-price-id-205 . 3) (?i-2039 . $i-2039) (?agent-2280 . agent-self) (?loc-to-2282 loc 1 -1)) fwce 132 134 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (knows agent-self (start $i-2281) (= (loc 1 -1) (loc 1 -1))) fwce 132 135 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (knows agent-self (start $i-2281) (standard-id (loc 1 -1))) fwce 133 136 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (= (value (finish $i-2281) (location agent-self)) (loc 1 -1)) fwce 133 137 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (-> (not (occlude ?i2-2711 (location agent-self))) (not-overlap ?i2-2711 $i-2281)) fwmp 7,134-1... 138 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (knows agent-self (finish $i-2281) (= (value (finish $i-2281) (loc 1 -1)) $p-value-22)) fwmp 7,134-1... 139 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (knows agent-self (finish $i-2281) (standard-id $p-value-22)) fwmp 137,123 140 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-2285 $i-2281) fwmp 137,46 141 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-778 $i-2281) assume 142 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | o- (occurs agent-self $i-29 chop) seriality 143 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-29 $i-386) seriality 144 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-29 $i-974) seriality 145 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-29 $i-774) seriality 146 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-29 $i-202) seriality 147 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (not-overlap $i-29 $i-2281) bwci 103,133... 148 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (and (= (value (start $i-29) (agent-owner object-axe)) agent-self) (= (value (start $i-29) (location agent-self)) (loc 1 -1)) (occurs agent-self $i-29 chop)) ;;; Unifier ((?loc-to-ident-2283 loc 1 -1) (?i-2281 . $i-2281) (?i-2285 . $i-2285) (?tmoney-wealth-id-206 . 5) (?i-1851 . $i-1851) (?loc-to-ident-776 . $p-value-978) (?p-fluent-975 location $p-value-390) (?agent-973 . agent-self) (?i-774 . $i-774) (?i-778 . $i-778) (?p-fluent-ident-388 agent-owner object-axe) (?i-391 . $i-391) (?i-386 . $i-386) (?agent-buyer-201 . agent-self) (?object-203 . object-axe) (?t . $t) (?i-29 . $i-29) (?i-31 . $i-31) (?agent-30 . agent-self) (?i-210 . $i-210) (?i-202 . $i-202) (?agent-385 . agent-self) (?p-fluent-387 agent-owner object-axe) (?agent-seller-ident-204 . $p-value-390) (?agent-773 . agent-self) (?loc-to-775 value (start $i-202) (location $p-value-390)) (?i-974 . $i-974) (?i-979 . $i-979) (?p-fluent-ident-976 location $p-value-390) (?tmoney-price-id-205 . 3) (?i-2039 . $i-2039) (?agent-2280 . agent-self) (?loc-to-2282 loc 1 -1)) bwmp 148,13 149 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (= (value (finish $i-29) (agent-owner object-lumber)) agent-self) ;;; Unifier ((?loc-to-ident-2283 loc 1 -1) (?i-2281 . $i-2281) (?i-2285 . $i-2285) (?tmoney-wealth-id-206 . 5) (?i-1851 . $i-1851) (?loc-to-ident-776 . $p-value-978) (?p-fluent-975 location $p-value-390) (?agent-973 . agent-self) (?i-774 . $i-774) (?i-778 . $i-778) (?p-fluent-ident-388 agent-owner object-axe) (?i-391 . $i-391) (?i-386 . $i-386) (?agent-buyer-201 . agent-self) (?object-203 . object-axe) (?t . $t) (?i-29 . $i-29) (?i-31 . $i-31) (?agent-30 . agent-self) (?i-210 . $i-210) (?i-202 . $i-202) (?agent-385 . agent-self) (?p-fluent-387 agent-owner object-axe) (?agent-seller-ident-204 . $p-value-390) (?agent-773 . agent-self) (?loc-to-775 value (start $i-202) (location $p-value-390)) (?i-974 . $i-974) (?i-979 . $i-979) (?p-fluent-ident-976 location $p-value-390) (?tmoney-price-id-205 . 3) (?i-2039 . $i-2039) (?agent-2280 . agent-self) (?loc-to-2282 loc 1 -1))