root@gitlab:/opt/logicmoo_workspace/packs_xtra/logicmoo_packages/prolog/earley-deduction# du /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/ -h
3.6G    /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/
root@gitlab:/opt/logicmoo_workspace/packs_xtra/logicmoo_packages/prolog/earley-deduction# wc /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/* -l
         4 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/convert.sh
       103 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/dir.header
    927495 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_00.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_01.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_02.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_03.pl
   1000002 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_04.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_05.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_06.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_07.pl
   1000004 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_08.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_09.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_0b.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_10.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_11.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_12.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_13.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_14.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_15.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_16.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_17.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_18.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_19.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_20.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_21.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_22.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_23.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_24.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_25.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_26.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_27.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_28.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_29.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_30.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_31.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_32.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_33.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_34.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_35.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_36.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_37.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_38.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_39.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_40.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_41.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_42.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_43.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_44.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_45.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_46.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_47.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_48.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_49.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_50.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_51.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_52.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_53.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_54.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_55.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_56.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_57.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_58.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_59.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_60.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_61.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_62.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_63.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_64.pl
   1000001 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_65.pl
     41508 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_66.pl
   1475997 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_67.pl
    113608 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_guard.pl
         0 /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/unseen
  68558785 total
root@gitlab:/opt/logicmoo_workspace/packs_xtra/logicmoo_packages/prolog/earley-deduction# tail /opt/logicmoo_workspace/packs_xtra/logicmoo_nlu/prolog/pldata/plkb7166/src/kb7166_assertions_guard.pl
assertion_variable_guard(a8468861(LENGTHOFLISTFN),'and'('isa'(A,'tThing'),'isa'(A_VALUE,'tThing'),'isa'(LENGTHOFLISTFN,'tThing'),'isa'(LIST_OF_OPERANDS,'tThing'),'isa'(DENO,'tThing'),'isa'(EXPRESSION,'tThing'),'isa'(IC,'tThing'),'isa'(NART,'tThing'),'isa'(NUM,'tThing'),'isa'(RATING,'tThing'))).
assertion_variable_guard(a8468896(ACTION),'and'('isa'(SEL,'tThing'),'isa'(EQUALITY,'tThing'),'isa'(ALT_CHOICE,'tThing'),'isa'(ALT_OPERATION,'tThing'),'isa'(ACTION,'tThing'),'isa'(ACTION_MT,'tThing'),'isa'(OPERATION,'tThing'),'isa'(TEMPLATE,'tThing'),'isa'(REMOVE_TERM,'tThing'),'isa'(LIKE_OR_NOT,'tThing'))).
assertion_variable_guard(a8468897(ACTION),'and'('isa'(TEMPLATE,'tThing'),'isa'(ALT_OPERATION,'tThing'),'isa'(LIKE_OR_NOT,'tThing'),'isa'(ACTION,'tThing'),'isa'(ACTION_MT,'tThing'),'isa'(EQUALITY,'tThing'),'isa'(SEL,'tThing'),'isa'(OPERATION,'tThing'),'isa'(ALT_CHOICE,'tThing'),'isa'(REMOVE_TERM,'tThing'))).
assertion_variable_guard(a8468898(ACTION),'and'('isa'(SEL,'tThing'),'isa'(EQUALITY,'tThing'),'isa'(REMOVE_TERM,'tThing'),'isa'(OPERATION,'tThing'),'isa'(ACTION,'tThing'),'isa'(ACTION_MT,'tThing'),'isa'(ALT_OPERATION,'tThing'),'isa'(TEMPLATE,'tThing'),'isa'(ALT_CHOICE,'tThing'),'isa'(LIKE_OR_NOT,'tThing'))).
assertion_variable_guard(a8468913(PARTTYPE),'and'('isa'(GROUPFN_1,'tCol'),'isa'(PARTTYPE,'tThing'),'isa'(GROUPFN,'tThing'),'isa'(SPECIET,'tThing'),'genls'(GROUPFN_1,'tIntangibleExistingThing'))).
assertion_variable_guard(a8468914(REPORT_MT),'and'('isa'(SOME_UNIT,'tGroupedModernMilitaryUnitDeployable'),'isa'(REPORT_MT,'tThing'),'isa'(FORCE,'tThing'),'isa'(UNIT,'tThing'),'isa'(ECH,'tThing'),'isa'(UNIT_TYPE,'tThing'),'isa'(GEN_TYPE,'tThing'),'quotedIsa'(SOME_UNIT,'ftExpression'))).
assertion_variable_guard(a8468915(REPORT_MT),'and'('isa'(UNIT_TYPE,'tCol'),'isa'(REPORT_MT,'tThing'),'isa'(FORCE,'tThing'),'isa'(UNIT,'tThing'),'isa'(ECH,'tThing'),'isa'(GEN_TYPE,'tThing'),'isa'(SOME_UNIT,'tThing'),'genls'(UNIT_TYPE,'tGroupedModernMilitaryUnitDeployable'))).
assertion_variable_guard(a8468930(SCRIPT),'and'('isa'(PRECOND,'tThing'),'isa'(SPEC,'tThing'),'isa'(SCRIPT,'tThing'),'isa'(LIST,'tThing'),'isa'(GENL,'tThing'),'quotedIsa'(PRECOND,'ftExpression'),'quotedIsa'(SPEC,'ftExpression'))).
assertion_variable_guard(a8469018(COMM),'and'('isa'(COMM,'ttFirstOrderCollection'),'isa'(SECRETION,'ttFirstOrderCollection'),'quotedIsa'(COMM,'ftExpression'),'quotedIsa'(SECRETION,'ftExpression'),'genls'(COMM,'eventEvent'),'genls'(SECRETION,'eventEvent'))).
assertion_variable_guard(a8469745(GENL),'and'('isa'(COLL,'tCol'),'isa'(GENL,'tThing'),'isa'(PRED,'tThing'),'isa'(TYPE,'tThing'),'isa'(SUB,'tThing'),'genls'(COLL,'mobPerson'))).
root@gitlab:/opt/logicmoo_workspace/packs_xtra/logicmoo_packages/prolog/earley-deduction#