forked from trueagi-io/metta-wam
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathjohn-carry-flower-test.metta.answers
executable file
·16 lines (16 loc) · 4.41 KB
/
john-carry-flower-test.metta.answers
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
+ '[' 0 -eq 1 ']'
+ echo 'Doing: timeout --foreground --kill-after=5 --signal=SIGINT 121 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/sumo/john-carry-flower/john-carry-flower-test.metta'
Doing: timeout --foreground --kill-after=5 --signal=SIGINT 121 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/sumo/john-carry-flower/john-carry-flower-test.metta
+ eval 'timeout --foreground --kill-after=5 --signal=SIGINT 121 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/sumo/john-carry-flower/john-carry-flower-test.metta'
++ timeout --foreground --kill-after=5 --signal=SIGINT 121 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/sumo/john-carry-flower/john-carry-flower-test.metta
[()]
[()]
[()]
[()]
[(), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()]
[(: (ModusPonens (WitnessOf (⟹ (∧ (subclass Carrying Transfer) (instance JohnsCarry Carrying)) (instance JohnsCarry Transfer))) (BinaryConjunctionIntroduction (WitnessOf (subclass Carrying Transfer)) (WitnessOf (instance JohnsCarry Carrying)))) (instance JohnsCarry Transfer))]
[(let* (((: $proof1#6043 (⟹ $x#5919 (∧ (instance JohnsCarry Transfer) (objectTransferred JohnsCarry JohnsVase) (orientation JohnsFlower JohnsVase Inside)))) (synthesize (: $proof1#6043 (⟹ $x#5919 (∧ (instance JohnsCarry Transfer) (objectTransferred JohnsCarry JohnsVase) (orientation JohnsFlower JohnsVase Inside)))) kb rb (S (S Z)))) ((: $proof2#6044 $x#5919) (synthesize (: $proof2#6044 $x#5919) kb rb (S (S Z))))) (: (ModusPonens $proof1#6043 $proof2#6044) (∧ (instance JohnsCarry Transfer) (objectTransferred JohnsCarry JohnsVase) (orientation JohnsFlower JohnsVase Inside)))), (: (TrinaryConjunctionIntroduction (ModusPonens (WitnessOf (⟹ (∧ (subclass Carrying Transfer) (instance JohnsCarry Carrying)) (instance JohnsCarry Transfer))) (BinaryConjunctionIntroduction (WitnessOf (subclass Carrying Transfer)) (WitnessOf (instance JohnsCarry Carrying)))) (WitnessOf (objectTransferred JohnsCarry JohnsVase)) (WitnessOf (orientation JohnsFlower JohnsVase Inside))) (∧ (instance JohnsCarry Transfer) (objectTransferred JohnsCarry JohnsVase) (orientation JohnsFlower JohnsVase Inside)))]
[(: (ModusPonens (WitnessOf (⟹ (∧ (instance JohnsCarry Transfer) (objectTransferred JohnsCarry JohnsVase) (orientation JohnsFlower JohnsVase Inside)) (objectTransferred JohnsCarry JohnsFlower))) (TrinaryConjunctionIntroduction (ModusPonens (WitnessOf (⟹ (∧ (subclass Carrying Transfer) (instance JohnsCarry Carrying)) (instance JohnsCarry Transfer))) (BinaryConjunctionIntroduction (WitnessOf (subclass Carrying Transfer)) (WitnessOf (instance JohnsCarry Carrying)))) (WitnessOf (objectTransferred JohnsCarry JohnsVase)) (WitnessOf (orientation JohnsFlower JohnsVase Inside)))) (objectTransferred JohnsCarry JohnsFlower))]
[(: (QuaternaryConjunctionIntroduction (WitnessOf (instance JohnsCarry Carrying)) (WitnessOf (agent JohnsCarry John)) (WitnessOf (instance JohnsFlower Flower)) (ModusPonens (WitnessOf (⟹ (∧ (instance JohnsCarry Transfer) (objectTransferred JohnsCarry JohnsVase) (orientation JohnsFlower JohnsVase Inside)) (objectTransferred JohnsCarry JohnsFlower))) (TrinaryConjunctionIntroduction (ModusPonens (WitnessOf (⟹ (∧ (subclass Carrying Transfer) (instance JohnsCarry Carrying)) (instance JohnsCarry Transfer))) (BinaryConjunctionIntroduction (WitnessOf (subclass Carrying Transfer)) (WitnessOf (instance JohnsCarry Carrying)))) (WitnessOf (objectTransferred JohnsCarry JohnsVase)) (WitnessOf (orientation JohnsFlower JohnsVase Inside))))) (∧ (instance JohnsCarry Carrying) (agent JohnsCarry John) (instance JohnsFlower Flower) (objectTransferred JohnsCarry JohnsFlower))), (let* (((: $proof1#76507 (⟹ $x#76395 (∧ (instance $C Carrying) (agent $C John) (instance $F Flower) (objectTransferred $C $F)))) (synthesize (: $proof1#76507 (⟹ $x#76395 (∧ (instance $C Carrying) (agent $C John) (instance $F Flower) (objectTransferred $C $F)))) kb rb (S (S (S (S Z)))))) ((: $proof2#76508 $x#76395) (synthesize (: $proof2#76508 $x#76395) kb rb (S (S (S (S Z))))))) (: (ModusPonens $proof1#76507 $proof2#76508) (∧ (instance $C Carrying) (agent $C John) (instance $F Flower) (objectTransferred $C $F))))]
18.31user 0.01system 0:18.33elapsed 99%CPU (0avgtext+0avgdata 55312maxresident)k
0inputs+0outputs (0major+17017minor)pagefaults 0swaps