logicmoo.pfc.test.sanity_base.MT_01A@Test_0001_Line_0000__SocialMt: baseKB:mtHybrid(socialMt) | 0 ms | Passed |
logicmoo.pfc.test.sanity_base.MT_01A@Test_0002_Line_0000__clause_2_in_myMt: myMt:(fix_mp(clause(Clause4,Clause6),loves(x,y),Loves,Mp),Loves:Mp==socialMt:loves(x,y)) | 0 ms | Failed |
logicmoo.pfc.test.sanity_base.MT_01A@Test_0003_Line_0000__clause_2_in_myMt: myMt:(fix_mp(clause(Clause4,Clause6),foo:loves(x,y),Kw,Mp),Kw:Mp==socialMt:loves(x,y)) | 0 ms | Failed |
logicmoo.pfc.test.sanity_base.MT_01A@Test_0004_Line_0000__Header_sane_in_myMt: myMt:(fix_mp(clause(Clause4,Clause6),header_sane:loves(x,y),Kw,Mp),Kw:Mp==socialMt:loves(x,y))Failed with 0 retries | 0 ms | Failed |
logicmoo.pfc.test.sanity_base.MT_01A@Test_0005_Line_0000__loves_2_in_socialMt_in_myMt: myMt:clause_u(socialMt:loves(Loves2,Loves3)) | 0 ms | Failed |