:- dynamic dir_level/10.
:- discontiguous dir_level/10.
:- dynamic file_level/11.
:- discontiguous file_level/11.
dir_level(1,subtyping,'','','','','','','','').
dir_level(1,'red-black-lambda','','','','','','','','').
dir_level(1,collatz,'','','','','','','','').
dir_level(1,'recursion-schemes','','','','','','','','').
dir_level(1,'proof-tree','','','','','','','','').
dir_level(1,'combinator-calculi','','','','','','','','').
dir_level(1,'aunt-kg','','','','','','','','').
dir_level(1,strips,'','','','','','','','').
dir_level(1,'inference-control','','','','','','','','').
dir_level(1,sumo,'','','','','','','','').
dir_level(1,python_from_metta,'','','','','','','','').
dir_level(1,'SICP_book','','','','','','','','').
dir_level(1,'iterative-chaining','','','','','','','','').
dir_level(1,tutorials,'','','','','','','','').
dir_level(1,game_of_clue,'','','','','','','','').
dir_level(1,traverser,'','','','','','','','').
dir_level(1,pln,'','','','','','','','').
dir_level(1,'edges-to-edges','','','','','','','','').
dir_level(1,'stack-based','','','','','','','','').
dir_level(1,'curried-chaining','','','','','','','','').
dir_level(1,'polyward-chaining','','','','','','','','').
dir_level(1,'perfect-numbers','','','','','','','','').
dir_level(1,hol,'','','','','','','','').
dir_level(1,synthesis,'','','','','','','','').
dir_level(1,logic,'','','','','','','','').
dir_level(1,fizzbuzz,'','','','','','','','').
dir_level(1,metta_amr,'','','','','','','','').
dir_level(1,common,'','','','','','','','').
dir_level(1,'prob-dep-types','','','','','','','','').
dir_level(1,child_ai,'','','','','','','','').
dir_level(1,'forward-chaining','','','','','','','','').
dir_level(1,'backward-chaining','','','','','','','','').
dir_level(2,'recursion-schemes',src,'','','','','','','').
dir_level(2,strips,logistics,'','','','','','','').
dir_level(2,strips,'strips-to-metta-improved','','','','','','','').
dir_level(2,strips,'strips-to-metta-flat','','','','','','','').
dir_level(2,strips,blocks,'','','','','','','').
dir_level(2,sumo,located,'','','','','','','').
dir_level(2,sumo,'john-carry-flower','','','','','','','').
dir_level(2,sumo,orientation,'','','','','','','').
dir_level(2,sumo,'route-between','','','','','','','').
dir_level(2,tutorials,debug_py_script_launched_from_metta,'','','','','','','').
dir_level(2,pln,match,'','','','','','','').
dir_level(2,pln,'dependent-types','','','','','','','').
dir_level(2,pln,equal,'','','','','','','').
dir_level(2,pln,entail,'','','','','','','').
dir_level(2,synthesis,experiments,'','','','','','','').
dir_level(2,metta_amr,metta_space,'','','','','','','').
dir_level(2,metta_amr,amr_matching,'','','','','','','').
dir_level(2,metta_amr,metta_to_amr,'','','','','','','').
dir_level(2,metta_amr,amr_templates,'','','','','','','').
dir_level(2,metta_amr,amr_processing,'','','','','','','').
dir_level(2,metta_amr,experiments,'','','','','','','').
dir_level(2,common,truthvalue,'','','','','','','').
dir_level(2,common,formula,'','','','','','','').
dir_level(3,'recursion-schemes',src,examples,'','','','','','').
file_level(1,subtyping,'','','','','','','','rule-base.metta','20240415').
file_level(1,subtyping,'','','','','','','','subtyping-test.metta:Zone.Identifier','20240415').
file_level(1,subtyping,'','','','','','','','rule-base.metta:Zone.Identifier','20240415').
file_level(1,subtyping,'','','','','','','','subtyping-test.metta','20240415').
file_level(1,'red-black-lambda','','','','','','','','red-black.metta:Zone.Identifier','20240828').
file_level(1,'red-black-lambda','','','','','','','','red-black.metta','20240828').
file_level(1,'red-black-lambda','','','','','','','','lambda-theory.metta:Zone.Identifier','20240828').
file_level(1,'red-black-lambda','','','','','','','','lambda-theory.metta','20240828').
file_level(1,collatz,'','','','','','','','classical.metta:Zone.Identifier','20240828').
file_level(1,collatz,'','','','','','','','peano.metta','20240828').
file_level(1,collatz,'','','','','','','','classical.metta','20240828').
file_level(1,collatz,'','','','','','','','peano.metta:Zone.Identifier','20240828').
file_level(1,'proof-tree','','','','','','','','proof-tree.metta','20240415').
file_level(1,'proof-tree','','','','','','','','proof-tree.metta:Zone.Identifier','20240415').
file_level(1,'combinator-calculi','','','','','','','','tree.metta:Zone.Identifier','20240828').
file_level(1,'combinator-calculi','','','','','','','','y_comb_examples.metta:Zone.Identifier','20240828').
file_level(1,'combinator-calculi','','','','','','','','y_comb_examples.metta','20240828').
file_level(1,'combinator-calculi','','','','','','','','tree.metta','20240828').
file_level(1,'aunt-kg','','','','','','','','adameve_simple.metta:Zone.Identifier','20240828').
file_level(1,'aunt-kg','','','','','','','','adameve_simple.metta','20240828').
file_level(1,'aunt-kg','','','','','','','','lordOfTheRings.metta:Zone.Identifier','20240828').
file_level(1,'aunt-kg','','','','','','','','royal92.metta:Zone.Identifier','20240828').
file_level(1,'aunt-kg','','','','','','','','simpsons.metta:Zone.Identifier','20240828').
file_level(1,'aunt-kg','','','','','','','','lordOfTheRings.metta','20240828').
file_level(1,'aunt-kg','','','','','','','','sergey_rodionov_formulation.metta:Zone.Identifier','20240828').
file_level(1,'aunt-kg','','','','','','','','introduction.metta:Zone.Identifier','20240828').
file_level(1,'aunt-kg','','','','','','','','simple_conversion.metta','20240828').
file_level(1,'aunt-kg','','','','','','','','introduction.metta','20240828').
file_level(1,'aunt-kg','','','','','','','','royal92_simple.metta:Zone.Identifier','20240828').
file_level(1,'aunt-kg','','','','','','','','baseline_formulation.metta:Zone.Identifier','20240828').
file_level(1,'aunt-kg','','','','','','','','simpsons_simple.metta:Zone.Identifier','20240828').
file_level(1,'aunt-kg','','','','','','','','royal92.metta','20240828').
file_level(1,'aunt-kg','','','','','','','','simple_conversion.metta:Zone.Identifier','20240828').
file_level(1,'aunt-kg','','','','','','','','simpsons_simple.metta','20240828').
file_level(1,'aunt-kg','','','','','','','','adameve.metta:Zone.Identifier','20240828').
file_level(1,'aunt-kg','','','','','','','','lordOfTheRings_simple.metta','20240828').
file_level(1,'aunt-kg','','','','','','','','baseline_formulation.metta','20240828').
file_level(1,'aunt-kg','','','','','','','','sergey_rodionov_formulation.metta','20240828').
file_level(1,'aunt-kg','','','','','','','','toy.metta','20240828').
file_level(1,'aunt-kg','','','','','','','','lordOfTheRings_simple.metta:Zone.Identifier','20240828').
file_level(1,'aunt-kg','','','','','','','','simpsons.metta','20240828').
file_level(1,'aunt-kg','','','','','','','','toy.metta:Zone.Identifier','20240828').
file_level(1,'aunt-kg','','','','','','','','adameve.metta','20240828').
file_level(1,'aunt-kg','','','','','','','','royal92_simple.metta','20240828').
file_level(1,'inference-control','','','','','','','','inf-ctl-month-xp.metta','20240415').
file_level(1,'inference-control','','','','','','','','inf-ctl-xp.metta','20240415').
file_level(1,'inference-control','','','','','','','','inf-ctl-month-bc-cont-xp.metta','20240415').
file_level(1,'inference-control','','','','','','','','inf-ctl-month-bc-cont-xp.metta:Zone.Identifier','20240415').
file_level(1,'inference-control','','','','','','','','inf-ctl-month-xp.metta:Zone.Identifier','20240415').
file_level(1,'inference-control','','','','','','','','inf-ctl-month-bc-xp.metta:Zone.Identifier','20240415').
file_level(1,'inference-control','','','','','','','','inf-ctl-xp.metta:Zone.Identifier','20240415').
file_level(1,'inference-control','','','','','','','','inf-ctl-month-bc-xp.metta','20240415').
file_level(1,sumo,'','','','','','','','rule-base.metta','20240415').
file_level(1,sumo,'','','','','','','','rule-base.metta:Zone.Identifier','20240415').
file_level(1,sumo,'','','','','','','','load-suo-kif.metta:Zone.Identifier','20240415').
file_level(1,sumo,'','','','','','','','load-suo-kif.metta','20240415').
file_level(1,python_from_metta,'','','','','','','','fs.metta:Zone.Identifier','20240828').
file_level(1,python_from_metta,'','','','','','','','default.metta:Zone.Identifier','20240828').
file_level(1,python_from_metta,'','','','','','','','requests.metta:Zone.Identifier','20240828').
file_level(1,python_from_metta,'','','','','','','','default.metta','20240828').
file_level(1,python_from_metta,'','','','','','','','requests.metta','20240828').
file_level(1,python_from_metta,'','','','','','','','fs.metta','20240828').
file_level(1,'SICP_book','','','','','','','','chapter_2_1.metta:Zone.Identifier','20240828').
file_level(1,'SICP_book','','','','','','','','chapter_2_2.metta:Zone.Identifier','20240828').
file_level(1,'SICP_book','','','','','','','','chapter_1_1.metta:Zone.Identifier','20240828').
file_level(1,'SICP_book','','','','','','','','chapter_1_2.metta','20240828').
file_level(1,'SICP_book','','','','','','','','chapter_2_3.metta','20240828').
file_level(1,'SICP_book','','','','','','','','chapter_2_4.metta:Zone.Identifier','20240828').
file_level(1,'SICP_book','','','','','','','','chapter_2_1.metta','20240828').
file_level(1,'SICP_book','','','','','','','','chapter_2_2.metta','20240828').
file_level(1,'SICP_book','','','','','','','','chapter_2_4.metta','20240828').
file_level(1,'SICP_book','','','','','','','','chapter_1_3.metta','20240828').
file_level(1,'SICP_book','','','','','','','','chapter_1_1.metta','20240828').
file_level(1,'SICP_book','','','','','','','','chapter_1_3.metta:Zone.Identifier','20240828').
file_level(1,'SICP_book','','','','','','','','chapter_1_3_2.metta:Zone.Identifier','20240828').
file_level(1,'SICP_book','','','','','','','','chapter_1_3_2.metta','20240828').
file_level(1,'SICP_book','','','','','','','','chapter_1_2.metta:Zone.Identifier','20240828').
file_level(1,'SICP_book','','','','','','','','chapter_2_3.metta:Zone.Identifier','20240828').
file_level(1,'iterative-chaining','','','','','','','','ifc-xp.metta:Zone.Identifier','20240415').
file_level(1,'iterative-chaining','','','','','','','','ibc-xp.metta:Zone.Identifier','20240415').
file_level(1,'iterative-chaining','','','','','','','','ifc-xp.metta','20240415').
file_level(1,'iterative-chaining','','','','','','','','ibc-xp.metta','20240415').
file_level(1,game_of_clue,'','','','','','','','game_of_clue.metta','20240828').
file_level(1,game_of_clue,'','','','','','','','game_of_clue.metta:Zone.Identifier','20240828').
file_level(1,traverser,'','','','','','','','basic.metta','20240828').
file_level(1,traverser,'','','','','','','','tinkerpop-modern.metta:Zone.Identifier','20240828').
file_level(1,traverser,'','','','','','','','tinkerpop-modern.metta','20240828').
file_level(1,traverser,'','','','','','','','creation.metta:Zone.Identifier','20240828').
file_level(1,traverser,'','','','','','','','basic.metta:Zone.Identifier','20240828').
file_level(1,traverser,'','','','','','','','creation.metta','20240828').
file_level(1,'edges-to-edges','','','','','','','','nte.metta:Zone.Identifier','20240828').
file_level(1,'edges-to-edges','','','','','','','','InteractiveDisneyStrategy.metta','20240828').
file_level(1,'edges-to-edges','','','','','','','','nte.metta','20240828').
file_level(1,'edges-to-edges','','','','','','','','InteractiveDisneyStrategy.metta:Zone.Identifier','20240828').
file_level(1,'stack-based','','','','','','','','interpreter.metta','20240828').
file_level(1,'stack-based','','','','','','','','rewrites.metta:Zone.Identifier','20240828').
file_level(1,'stack-based','','','','','','','','rewrites.metta','20240828').
file_level(1,'stack-based','','','','','','','','interpreter.metta:Zone.Identifier','20240828').
file_level(1,'curried-chaining','','','','','','','','curried-chainer.metta','20240415').
file_level(1,'curried-chaining','','','','','','','','curried-chainer.metta:Zone.Identifier','20240415').
file_level(1,'polyward-chaining','','','','','','','','pc-xp.metta','20240415').
file_level(1,'polyward-chaining','','','','','','','','pc-xp.metta:Zone.Identifier','20240415').
file_level(1,'perfect-numbers','','','','','','','','basic.metta','20240828').
file_level(1,'perfect-numbers','','','','','','','','basic.metta:Zone.Identifier','20240828').
file_level(1,hol,'','','','','','','','NatSimpleTest.metta:Zone.Identifier','20240415').
file_level(1,hol,'','','','','','','','NatDTLTest.metta','20240415').
file_level(1,hol,'','','','','','','','ListTest.metta','20240415').
file_level(1,hol,'','','','','','','','calculi-converter.metta','20240415').
file_level(1,hol,'','','','','','','','NatTest.metta','20240415').
file_level(1,hol,'','','','','','','','NatTest.metta:Zone.Identifier','20240415').
file_level(1,hol,'','','','','','','','NatParityTest.metta:Zone.Identifier','20240415').
file_level(1,hol,'','','','','','','','calculi-converter.metta:Zone.Identifier','20240415').
file_level(1,hol,'','','','','','','','NatParityTest.metta','20240415').
file_level(1,hol,'','','','','','','','NatStandaloneTest.metta:Zone.Identifier','20240415').
file_level(1,hol,'','','','','','','','NatDTLTest.metta:Zone.Identifier','20240415').
file_level(1,hol,'','','','','','','','ListTest.metta:Zone.Identifier','20240415').
file_level(1,hol,'','','','','','','','NatSimpleTest.metta','20240415').
file_level(1,hol,'','','','','','','','lambda-flatten.metta:Zone.Identifier','20240415').
file_level(1,hol,'','','','','','','','NatStandaloneTest.metta','20240415').
file_level(1,hol,'','','','','','','','lambda-flatten.metta','20240415').
file_level(1,synthesis,'','','','','','','','Synthesize.metta:Zone.Identifier','20240415').
file_level(1,synthesis,'','','','','','','','Unify.metta','20240415').
file_level(1,synthesis,'','','','','','','','UnifyTest.metta:Zone.Identifier','20240415').
file_level(1,synthesis,'','','','','','','','UnifyTest.metta','20240415').
file_level(1,synthesis,'','','','','','','','SynthesizeTest.metta','20240415').
file_level(1,synthesis,'','','','','','','','Synthesize.metta','20240415').
file_level(1,synthesis,'','','','','','','','Unify.metta:Zone.Identifier','20240415').
file_level(1,synthesis,'','','','','','','','SynthesizeTest.metta:Zone.Identifier','20240415').
file_level(1,logic,'','','','','','','','puzzle.metta','20240828').
file_level(1,logic,'','','','','','','','puzzle.metta:Zone.Identifier','20240828').
file_level(1,fizzbuzz,'','','','','','','','classical.metta:Zone.Identifier','20240828').
file_level(1,fizzbuzz,'','','','','','','','constructive.metta:Zone.Identifier','20240828').
file_level(1,fizzbuzz,'','','','','','','','classical.metta','20240828').
file_level(1,fizzbuzz,'','','','','','','','simple.metta:Zone.Identifier','20240828').
file_level(1,fizzbuzz,'','','','','','','','constructive.metta','20240828').
file_level(1,fizzbuzz,'','','','','','','','simple.metta','20240828').
file_level(1,common,'','','','','','','','Num.metta:Zone.Identifier','20240415').
file_level(1,common,'','','','','','','','OrderedSet.metta:Zone.Identifier','20240415').
file_level(1,common,'','','','','','','','BelieveMe.metta:Zone.Identifier','20240415').
file_level(1,common,'','','','','','','','In.metta:Zone.Identifier','20240415').
file_level(1,common,'','','','','','','','EqualityTypeTest.metta','20240415').
file_level(1,common,'','','','','','','','List.metta:Zone.Identifier','20240415').
file_level(1,common,'','','','','','','','ListTest.metta','20240415').
file_level(1,common,'','','','','','','','Num.metta','20240415').
file_level(1,common,'','','','','','','','In.metta','20240415').
file_level(1,common,'','','','','','','','NumTest.metta:Zone.Identifier','20240415').
file_level(1,common,'','','','','','','','InTest.metta','20240415').
file_level(1,common,'','','','','','','','MaybeTest.metta:Zone.Identifier','20240415').
file_level(1,common,'','','','','','','','OrderedSet.metta','20240415').
file_level(1,common,'','','','','','','','OrderedSetTest.metta','20240415').
file_level(1,common,'','','','','','','','BelieveMe.metta','20240415').
file_level(1,common,'','','','','','','','Maybe.metta','20240415').
file_level(1,common,'','','','','','','','EqualityType.metta:Zone.Identifier','20240415').
file_level(1,common,'','','','','','','','Record.metta:Zone.Identifier','20240415').
file_level(1,common,'','','','','','','','MaybeTest.metta','20240415').
file_level(1,common,'','','','','','','','Maybe.metta:Zone.Identifier','20240415').
file_level(1,common,'','','','','','','','NumTest.metta','20240415').
file_level(1,common,'','','','','','','','OrderedSetTest.metta:Zone.Identifier','20240415').
file_level(1,common,'','','','','','','','EqualityTypeTest.metta:Zone.Identifier','20240415').
file_level(1,common,'','','','','','','','InTest.metta:Zone.Identifier','20240415').
file_level(1,common,'','','','','','','','List.metta','20240415').
file_level(1,common,'','','','','','','','EqualityType.metta','20240415').
file_level(1,common,'','','','','','','','ListTest.metta:Zone.Identifier','20240415').
file_level(1,common,'','','','','','','','Record.metta','20240415').
file_level(1,'prob-dep-types','','','','','','','','prob_dep_types.metta:Zone.Identifier','20240828').
file_level(1,'prob-dep-types','','','','','','','','prob_dep_types.metta','20240828').
file_level(1,'prob-dep-types','','','','','','','','inf_order_probs.metta:Zone.Identifier','20240828').
file_level(1,'prob-dep-types','','','','','','','','inf_order_probs.metta','20240828').
file_level(1,'forward-chaining','','','','','','','','fc-xp.metta','20240415').
file_level(1,'forward-chaining','','','','','','','','fc-xp.metta:Zone.Identifier','20240415').
file_level(1,'backward-chaining','','','','','','','','bc-xp.metta','20240415').
file_level(1,'backward-chaining','','','','','','','','bc-xp.metta:Zone.Identifier','20240415').
file_level(2,'recursion-schemes',src,'','','','','','','schemes.metta:Zone.Identifier','20240828').
file_level(2,'recursion-schemes',src,'','','','','','','base.metta:Zone.Identifier','20240828').
file_level(2,'recursion-schemes',src,'','','','','','','schemes.metta','20240828').
file_level(2,'recursion-schemes',src,'','','','','','','base.metta','20240828').
file_level(2,strips,'strips-to-metta-improved','','','','','','','logistics-i-1.metta:Zone.Identifier','20240828').
file_level(2,strips,'strips-to-metta-improved','','','','','','','queries.metta','20240828').
file_level(2,strips,'strips-to-metta-improved','','','','','','','blocks-i-1.metta','20240828').
file_level(2,strips,'strips-to-metta-improved','','','','','','','blocks-i-1.metta:Zone.Identifier','20240828').
file_level(2,strips,'strips-to-metta-improved','','','','','','','logistics-i-1.metta','20240828').
file_level(2,strips,'strips-to-metta-improved','','','','','','','queries.metta:Zone.Identifier','20240828').
file_level(2,strips,'strips-to-metta-improved','','','','','','','blocks-i-0.metta','20240828').
file_level(2,strips,'strips-to-metta-improved','','','','','','','blocks-i-0.metta:Zone.Identifier','20240828').
file_level(2,strips,'strips-to-metta-flat','','','','','','','blocks-domain_flat.metta','20240828').
file_level(2,strips,'strips-to-metta-flat','','','','','','','logistics-i-1_flat.metta:Zone.Identifier','20240828').
file_level(2,strips,'strips-to-metta-flat','','','','','','','blocks-domain_flat.metta:Zone.Identifier','20240828').
file_level(2,strips,'strips-to-metta-flat','','','','','','','queries_flat.metta:Zone.Identifier','20240828').
file_level(2,strips,'strips-to-metta-flat','','','','','','','logistics-i-1_flat.metta','20240828').
file_level(2,strips,'strips-to-metta-flat','','','','','','','queries_flat.metta','20240828').
file_level(2,sumo,located,'','','','','','','located.kif.metta:Zone.Identifier','20240415').
file_level(2,sumo,located,'','','','','','','located-test.metta','20240415').
file_level(2,sumo,located,'','','','','','','located.kif.metta','20240415').
file_level(2,sumo,located,'','','','','','','located-test.metta:Zone.Identifier','20240415').
file_level(2,sumo,'john-carry-flower','','','','','','','john-carry-flower-test.metta:Zone.Identifier','20240415').
file_level(2,sumo,'john-carry-flower','','','','','','','john-carry-flower-test.metta','20240415').
file_level(2,sumo,'john-carry-flower','','','','','','','john-carry-flower.kif.metta','20240415').
file_level(2,sumo,'john-carry-flower','','','','','','','john-carry-flower.kif.metta:Zone.Identifier','20240415').
file_level(2,sumo,orientation,'','','','','','','orientation.kif.metta:Zone.Identifier','20240415').
file_level(2,sumo,orientation,'','','','','','','orientation.kif.metta','20240415').
file_level(2,sumo,orientation,'','','','','','','orientation-test.metta','20240415').
file_level(2,sumo,orientation,'','','','','','','orientation-test.metta:Zone.Identifier','20240415').
file_level(2,pln,match,'','','','','','','DeductionMatch.metta:Zone.Identifier','20240415').
file_level(2,pln,match,'','','','','','','ImplicationDirectIntroductionMatch.metta','20240415').
file_level(2,pln,match,'','','','','','','DeductionMatchTest.metta:Zone.Identifier','20240415').
file_level(2,pln,match,'','','','','','','DeductionImplicationDirectIntroductionMatchTest.metta','20240415').
file_level(2,pln,match,'','','','','','','DeductionMatchTest.metta','20240415').
file_level(2,pln,match,'','','','','','','ImplicationDirectIntroductionMatchTest.metta','20240415').
file_level(2,pln,match,'','','','','','','DeductionImplicationDirectIntroductionMatchTest.metta:Zone.Identifier','20240415').
file_level(2,pln,match,'','','','','','','ImplicationDirectIntroductionMatchTest.metta:Zone.Identifier','20240415').
file_level(2,pln,match,'','','','','','','DeductionMatch.metta','20240415').
file_level(2,pln,match,'','','','','','','ImplicationDirectIntroductionMatch.metta:Zone.Identifier','20240415').
file_level(2,pln,'dependent-types','','','','','','','DeductionDTL.metta:Zone.Identifier','20240415').
file_level(2,pln,'dependent-types','','','','','','','DeductionDTLTest.metta','20240415').
file_level(2,pln,'dependent-types','','','','','','','ModusPonensDTL.metta','20240415').
file_level(2,pln,'dependent-types','','','','','','','ModusPonensDTL.metta:Zone.Identifier','20240415').
file_level(2,pln,'dependent-types','','','','','','','ModusPonensDTLTest.metta:Zone.Identifier','20240415').
file_level(2,pln,'dependent-types','','','','','','','ImplicationDirectIntroductionDTL.metta','20240415').
file_level(2,pln,'dependent-types','','','','','','','ImplicationDirectIntroductionDTL.metta:Zone.Identifier','20240415').
file_level(2,pln,'dependent-types','','','','','','','DeductionDTLTest.metta:Zone.Identifier','20240415').
file_level(2,pln,'dependent-types','','','','','','','ImplicationDirectIntroductionDTLTest.metta:Zone.Identifier','20240415').
file_level(2,pln,'dependent-types','','','','','','','ImplicationDirectIntroductionDTLTest.metta','20240415').
file_level(2,pln,'dependent-types','','','','','','','DeductionImplicationDirectIntroductionDTLTest.metta:Zone.Identifier','20240415').
file_level(2,pln,'dependent-types','','','','','','','ModusPonensDTLTest.metta','20240415').
file_level(2,pln,'dependent-types','','','','','','','DeductionDTL.metta','20240415').
file_level(2,pln,'dependent-types','','','','','','','DeductionImplicationDirectIntroductionDTLTest.metta','20240415').
file_level(2,pln,equal,'','','','','','','ImplicationDirectIntroductionEqual.metta:Zone.Identifier','20240415').
file_level(2,pln,equal,'','','','','','','DeductionEqual.metta','20240415').
file_level(2,pln,equal,'','','','','','','DeductionEqual.metta:Zone.Identifier','20240415').
file_level(2,pln,equal,'','','','','','','ImplicationDirectIntroductionEqual.metta','20240415').
file_level(2,pln,equal,'','','','','','','ImplicationDirectIntroductionEqualTest.metta','20240415').
file_level(2,pln,equal,'','','','','','','DeductionEqualTest.metta:Zone.Identifier','20240415').
file_level(2,pln,equal,'','','','','','','DeductionEqualTest.metta','20240415').
file_level(2,pln,equal,'','','','','','','ImplicationDirectIntroductionEqualTest.metta:Zone.Identifier','20240415').
file_level(2,pln,entail,'','','','','','','ImplicationDirectIntroductionEntailTest.metta','20240415').
file_level(2,pln,entail,'','','','','','','ImplicationDirectIntroductionEntail.metta','20240415').
file_level(2,pln,entail,'','','','','','','DeductionEntail.metta','20240415').
file_level(2,pln,entail,'','','','','','','DeductionEntail.metta:Zone.Identifier','20240415').
file_level(2,pln,entail,'','','','','','','ImplicationDirectIntroductionEntailTest.metta:Zone.Identifier','20240415').
file_level(2,pln,entail,'','','','','','','ImplicationDirectIntroductionEntail.metta:Zone.Identifier','20240415').
file_level(2,pln,entail,'','','','','','','DeductionEntailTest.metta:Zone.Identifier','20240415').
file_level(2,pln,entail,'','','','','','','DeductionEntailTest.metta','20240415').
file_level(2,synthesis,experiments,'','','','','','','synthesize-via-case-test.metta','20240415').
file_level(2,synthesis,experiments,'','','','','','','non-determinism.metta','20240415').
file_level(2,synthesis,experiments,'','','','','','','self-contained-synthesize.metta:Zone.Identifier','20240415').
file_level(2,synthesis,experiments,'','','','','','','synthesize-via-case.metta','20240415').
file_level(2,synthesis,experiments,'','','','','','','unify-via-case.metta:Zone.Identifier','20240415').
file_level(2,synthesis,experiments,'','','','','','','unify-via-let.metta:Zone.Identifier','20240415').
file_level(2,synthesis,experiments,'','','','','','','synthesize-via-unify.metta','20240415').
file_level(2,synthesis,experiments,'','','','','','','non-determinism.metta:Zone.Identifier','20240415').
file_level(2,synthesis,experiments,'','','','','','','synthesize-via-let.metta','20240415').
file_level(2,synthesis,experiments,'','','','','','','synthesize-via-let-test.metta:Zone.Identifier','20240415').
file_level(2,synthesis,experiments,'','','','','','','unify-via-case.metta','20240415').
file_level(2,synthesis,experiments,'','','','','','','synthesize-via-unify-test.metta','20240415').
file_level(2,synthesis,experiments,'','','','','','','synthesize-via-unify-test.metta:Zone.Identifier','20240415').
file_level(2,synthesis,experiments,'','','','','','','synthesize-via-superpose.metta:Zone.Identifier','20240415').
file_level(2,synthesis,experiments,'','','','','','','synthesize-via-case-test.metta:Zone.Identifier','20240415').
file_level(2,synthesis,experiments,'','','','','','','synthesize-via-type-checking.metta:Zone.Identifier','20240415').
file_level(2,synthesis,experiments,'','','','','','','synthesize-via-let.metta:Zone.Identifier','20240415').
file_level(2,synthesis,experiments,'','','','','','','synthesize-via-let-test.metta','20240415').
file_level(2,synthesis,experiments,'','','','','','','synthesize-via-unify.metta:Zone.Identifier','20240415').
file_level(2,synthesis,experiments,'','','','','','','unify-via-let.metta','20240415').
file_level(2,synthesis,experiments,'','','','','','','self-contained-synthesize.metta','20240415').
file_level(2,synthesis,experiments,'','','','','','','synthesize-via-case.metta:Zone.Identifier','20240415').
file_level(2,synthesis,experiments,'','','','','','','synthesize-via-type-checking.metta','20240415').
file_level(2,synthesis,experiments,'','','','','','','synthesize-via-superpose.metta','20240415').
file_level(2,metta_amr,metta_to_amr,'','','','','','','instances.metta','20240828').
file_level(2,metta_amr,metta_to_amr,'','','','','','','amr-connect.metta','20240828').
file_level(2,metta_amr,metta_to_amr,'','','','','','','user.metta:Zone.Identifier','20240828').
file_level(2,metta_amr,metta_to_amr,'','','','','','','dep-types.metta','20240828').
file_level(2,metta_amr,metta_to_amr,'','','','','','','user.metta','20240828').
file_level(2,metta_amr,metta_to_amr,'','','','','','','dep-types.metta:Zone.Identifier','20240828').
file_level(2,metta_amr,metta_to_amr,'','','','','','','instances.metta:Zone.Identifier','20240828').
file_level(2,metta_amr,metta_to_amr,'','','','','','','amr-connect.metta:Zone.Identifier','20240828').
file_level(2,common,truthvalue,'','','','','','','TruthValue.metta','20240415').
file_level(2,common,truthvalue,'','','','','','','TemporalTruthValue.metta:Zone.Identifier','20240415').
file_level(2,common,truthvalue,'','','','','','','EvidentialTruthValueTest.metta:Zone.Identifier','20240415').
file_level(2,common,truthvalue,'','','','','','','EvidentialTruthValueTest.metta','20240415').
file_level(2,common,truthvalue,'','','','','','','MeasEq.metta','20240415').
file_level(2,common,truthvalue,'','','','','','','EvidentialTruthValue.metta','20240415').
file_level(2,common,truthvalue,'','','','','','','TruthValueTest.metta:Zone.Identifier','20240415').
file_level(2,common,truthvalue,'','','','','','','TruthValue.metta:Zone.Identifier','20240415').
file_level(2,common,truthvalue,'','','','','','','TruthValueTest.metta','20240415').
file_level(2,common,truthvalue,'','','','','','','MeasEq.metta:Zone.Identifier','20240415').
file_level(2,common,truthvalue,'','','','','','','TemporalTruthValue.metta','20240415').
file_level(2,common,truthvalue,'','','','','','','EvidentialTruthValue.metta:Zone.Identifier','20240415').
file_level(2,common,formula,'','','','','','','ModusPonensFormula.metta:Zone.Identifier','20240415').
file_level(2,common,formula,'','','','','','','DeductionFormula.metta:Zone.Identifier','20240415').
file_level(2,common,formula,'','','','','','','ModusPonensFormula.metta','20240415').
file_level(2,common,formula,'','','','','','','DeductionFormula.metta','20240415').
file_level(2,common,formula,'','','','','','','ImplicationDirectIntroductionFormula.metta:Zone.Identifier','20240415').
file_level(2,common,formula,'','','','','','','DeductionFormulaTest.metta:Zone.Identifier','20240415').
file_level(2,common,formula,'','','','','','','DeductionFormulaTest.metta','20240415').
file_level(2,common,formula,'','','','','','','ImplicationDirectIntroductionFormula.metta','20240415').
file_level(3,'recursion-schemes',src,examples,'','','','','','benchmark.metta:Zone.Identifier','20240828').
file_level(3,'recursion-schemes',src,examples,'','','','','','expression.metta:Zone.Identifier','20240828').
file_level(3,'recursion-schemes',src,examples,'','','','','','benchmark.metta','20240828').
file_level(3,'recursion-schemes',src,examples,'','','','','','expression.metta','20240828').