logicmoo.pfc.test.sanity_base.MT_01C@Test_0001_Line_0000__loves_2_in_cycKB1_in_cycKB1: cycKB1:clause_u(cycKB1:loves(Loves2,Loves3)) | 0 ms | Passed |
logicmoo.pfc.test.sanity_base.MT_01C@Test_0002_Line_0000__naf_loves_2_in_cycKB1: cycKB1:(\\+clause_u(baseKB:loves(Loves2,Loves3))) | 0 ms | Passed |
logicmoo.pfc.test.sanity_base.MT_01C@Test_0003_Line_0000__loves_2_in_cycKB1: cycKB1:clause_u(loves(Loves2,Loves3)) | 0 ms | Passed |
logicmoo.pfc.test.sanity_base.MT_01C@Test_0004_Line_0000__loves_2_in_cycKB1_in_cycKB1: cycKB1:call_u(cycKB1:loves(Loves2,Loves3)) No flake or failure | 0 ms | Passed |