<k>
    .K
</k>
<mgu>
    subst(.KList)
</mgu>
<ctx-stack>
    .List
</ctx-stack>
<sig>
    Fun ( "PlantsInGroup" ) |-> ( #symVariable(4) : Data ( "PlantGroup" ) 
      ) -> Set ( 0 )
    Fun ( "f" ) |-> ( #symVariable(23) : Data ( "Plant" ) ) -> Data ( 
      "PlantGroup" )
    Data ( "Flower" ) |-> Set ( 0 )
    Data ( "Plant" ) |-> Set ( 0 )
    Data ( "PlantGroup" ) |-> Set ( 0 )
    Data ( "Tree" ) |-> Set ( 0 )
    Con ( "flower" ) |-> Data ( "PlantGroup" )
    Con ( "lily" ) |-> Data ( "Flower" )
    Con ( "oak" ) |-> Data ( "Tree" )
    Con ( "pine" ) |-> Data ( "Tree" )
    Con ( "plant" ) |-> ( #symVariable(22) : Data ( "PlantGroup" ) ) -> ( 
      #symVariable(21) : (Fun ( "PlantsInGroup" ) #symVariable(22)) ) -> Data 
      ( "Plant" )
    Con ( "rose" ) |-> Data ( "Flower" )
    Con ( "spruce" ) |-> Data ( "Tree" )
    Con ( "tree" ) |-> Data ( "PlantGroup" )
</sig>
<ctx>
    .Map
</ctx>
<meta>
    .Map
</meta>
<ncat>
    Name ( "Flower" ) |-> Data ( "Flower" )
    Name ( "Plant" ) |-> Data ( "Plant" )
    Name ( "PlantGroup" ) |-> Data ( "PlantGroup" )
    Name ( "PlantsInGroup" ) |-> Fun ( "PlantsInGroup" )
    Name ( "Tree" ) |-> Data ( "Tree" )
    Name ( "f" ) |-> Fun ( "f" )
    Name ( "flower" ) |-> Con ( "flower" )
    Name ( "lily" ) |-> Con ( "lily" )
    Name ( "oak" ) |-> Con ( "oak" )
    Name ( "pine" ) |-> Con ( "pine" )
    Name ( "plant" ) |-> Con ( "plant" )
    Name ( "rose" ) |-> Con ( "rose" )
    Name ( "spruce" ) |-> Con ( "spruce" )
    Name ( "tree" ) |-> Con ( "tree" )
</ncat>
<fun>
    Fun ( "PlantsInGroup" ) |-> 'fc((#symFunClauses(10) Con ( "tree" )) = 
      Data ( "Tree" ),, (#symFunClauses(16) Con ( "flower" )) = Data ( 
      "Flower" ))
    Fun ( "f" ) |-> 'fc((#symFunClauses(39) ((Con ( "plant" ) Var ( "g" )) Var
       ( "pg" ))) = Var ( "g" ))
</fun>
