hints for hierarchy infinite loops

You can use the mKE commands & attributes

do check od loop done;
hdo cycprint from Thing with ISC done;
do simplify lattice od Thing done;

hloop := go|stop|count;
hmaxlevel
hmaxcount

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://mKRmKE.org/