((cstring (print| _2f) _26)
   (graphname _30 _2f _26)
   (print _30))
((cstring (print| _2f) _26)
   (graphname _30 _2f _31)
   (opt from _31 _32)
   (noderead _33 _34 _35 _32 _26)
   (!)
   (print _30 _33 _34 _35))
((cstring (copy| _2f) _26)
   (!)
   (graphname _30 _2f _31)
   (opt to _31 _32)
   (graphname _33 _32 _26)
   (gcopy _30 _33))
((cstring (expand| _2f) _26)
   (noderead _30 _31 _32 _2f _33)
   (!)
   (cstring4 _34 _33 _26)
   (!)
   (expand _30 _31 _32 _34))
((cstring (expand| _2f) _26)
   (label _30 _2f _31)
   (opt in _31 _32)
   (noderead conc _33 _34 _32 _35)
   (!)
   (cstring4 _36 _35 _26)
   (clookup _30 _37)
   (expand _37 _33 _34 _36))
((cstring (contract| _2f) _26)
   (noderead reln rel _30 _2f _31)
   (!)
   (cstring4 _32 _31 _26)
   (contract reln rel _30 _32))
((cstring (contract| _2f) _26)
   (label _30 _2f _31)
   (!)
   (cstring4 _32 _31 _26)
   (clookup _30 _33)
   (contract reln rel _33 _32))
((cstring (restrict| _2f) _26)
   (noderead conc _30 _31 _2f _32)
   (cstring4 _33 _32 _34)
   (opt to _34 _35)
   (noderead conc _36 _37 _35 _26)
   (!)
   (restrict _30 _31 _36 _37 _33))
((cstring (restrict| _2f) _26)
   (!)
   (noderead conc _30 _31 _2f _32)
   (opt to _32 _33)
   (noderead conc _34 _35 _33 _36)
   (cstring4 _37 _36 _26)
   (restrict _30 _31 _34 _35 _37))
((cstring (join| _2f) _26)
   (!)
   (noderead conc _30 _31 _2f _32)
   (cstring4 _33 _32 _34)
   (opt and _34 _35)
   (noderead conc _36 _37 _35 _38)
   (cstring4 _39 _38 _3a)
   (cstring5 _3b _3a _26)
   (!)
   (join _30 _31 _33 _36 _37 _39 _3b))
((cstring (maxj| _2f) _26)
   (!)
   (graphname _30 _2f _31)
   (opt and _31 _32)
   (graphname _33 _32 _34)
   (cstring5 _35 _34 _26)
   (!)
   (max_join _30 _33 _35))
((cstring (graph| _2f) _26)
   (!)
   (graphname _30 _2f _31)
   (cstring3 _30 () _32 _31 _26)
   (abstraction graph _30 () _32))
((cstring (type| _2f) _26)
   (!)
   (cstring2 _30 _31 _32 _2f _26)
   (abstraction type _30 (_31) _32))
((cstring (schema for| _31) _26)
   (!)
   (cstring2 _32 _33 _34 _31 _26)
   (abstraction schema _32 (_33) _34))
((cstring (prototype for| _31) _26)
   (!)
   (cstring2 _32 _33 _34 _31 _26)
   (abstraction prototype _32 (_33) _34))
((cstring (individual| _2f) _26)
   (!)
   (typelabel _30 _2f ('('| _31))
   (indlabel _32 _31 (')'| _33))
   (cstring3 _30 _32 _34 _33 _26)
   (abstraction individual _30 _32 _34))
((cstring (relation| _2f) _26)
   (!)
   (relnlabel _30 _2f ('('| _31))
   (paramlist () _32 _31 (')'| _33))
   (!)
   (cstring3 _30 _32 _34 _33 _26)
   (abstraction relation _30 _32 _34))
((cstring (actor| _2f) _26)
   (!)
   (actlabel _30 _2f ('(' in| _31))
   (paramlist () _32 _31 (';' out| _33))
   (paramlist () _34 _33 (')'| _35))
   (append _32 _34 _36)
   (!)
   (cstring3 _30 _36 _37 _35 _26)
   (abstraction actor _30 (_32 _34) _37))

((cstring2 _28 _29 _2a _2b _2c)
   (typelabel _28 _2b ('('| _32))
   (varlabel _29 _32 (')'| _33))
   (cstring3 _28 (_29) _2a _33 _2c)
   (!))

((cstring3 _28 _29 _2a (is| _35) _2c)
   (!)
   (kill reading_graph)
   (kill fplist)
   (addcl ((reading_graph _28)))
   (addcl ((fplist _29)))
   (cgraphlist _2a _35 _2c)
   (!))

((cstring4 _26 _27 _28)
   (opt in _27 _2e)
   (graphname _26 _2e _28))

((cstring5 _26 _27 _28)
   (opt to _27 _2e)
   (opt give _2e _2f)
   (graphname _26 _2f _28))

((noderead conc _29 _2a _2b _2c)
   (opt concept _2b _32)
   (concread _29 _2a _32 _2c))
((noderead reln rel _2a _2b _2c)
   (opt relation _2b _32)
   (relnread rel _2a _32 _2c))
((noderead reln act _2a _2b _2c)
   (opt actor _2b _32)
   (relnread act _2a _32 _2c))
((noderead conc num _2a (concept| _35) _2c)
   (integer _2a _35 _2c))
((noderead reln rel _2a (relation| _35) _2c)
   (integer _2a _35 _2c))
((noderead reln act _2a (actor| _35) _2c)
   (integer _2a _35 _2c))

((opt _26 (_26| _28) _28)
   (!))
((opt _26 _27 _28)
   (cnull _27 _28))

((paramlist _27 _28 _29 _2a)
   (varlabel _30 _29 _31)
   (paramlist2 (_30| _27) _28 _31 _2a))

((paramlist2 _27 _28 (','| _33) _2a)
   (paramlist _27 _28 _33 _2a)
   (!))
((paramlist2 _27 _28 _29 _2a)
   (cnull _29 _2a)
   (revlist _27 () _28))
((paramlist2 _27 _28 _2a _2a)
   (error 160 control (formal parameter list) y (paramlist2 _27 _28| _30) fail))

((cgraphlist _26 _27 _28)
   (negsymbol _27 ('['| _2e))
   (!)
   (graphlist () _2f _2e (']'| _28))
   (new_graph2 _26)
   (addcl ((conc _26 1 '-' _2f () ()))))
((cgraphlist _26 _27 _28)
   (graphlist () _2e _27 _2f)
   (cgraphlist2 _26 _2e _2f _28))

((cgraphlist2 _27 (_27) _29 _2a)
   (cnull _29 _2a))
((cgraphlist2 _27 _28 _2a _2a)
   (new_graph2 _27)
   (addcl ((conc _27 1 '+' _28 () ()))))

((cgraph _26 _27 _28)
   (cgraph2 _26 _27 _28))
((cgraph _26 _28 _28)
   (error 161 control (outermost context) y (cgraph _26| _2e) fail))

((cgraph2 _26 _27 _28)
   (concept2 _26 _2e _27 _2f)
   (!)
   (cgraph3 _26 _2e _30 _31 _2f _28)
   (update_conc _26 _2e _30 _31)
   (del_matching_cl ((temp _32 _26| _33))))
((cgraph2 _26 _27 _28)
   (relnode2 _26 _2e _27 _2f)
   (!)
   (conlink right _26 _2e _30 _31 _2f _28)
   (update_reln _26 _2e _30 _31)
   (del_matching_cl ((temp _32 _26| _33))))

((cgraph3 _29 _2a _2b _2c _2d _2e)
   (rlink _29 _2a _2b _2c _2d _2e)
   (!))
((cgraph3 _29 _2a () () _2d _2e)
   (cnull _2d _2e))

((rlink _29 _2a (_36) () _2d _2e)
   (arcc left _37 _2d _38)
   (!)
   (relnode2 _29 _36 _38 _39)
   (rlink2 left _29 _36 _3a _3b _39 _2e)
   (update_reln _29 _36 _3a ((_37 _2a)| _3b)))
((rlink _29 _2a () (_36) _2d _2e)
   (arcc right _37 _2d _38)
   (!)
   (relnode2 _29 _36 _38 _39)
   (rlink2 right _29 _36 _3a _3b _39 _2e)
   (update_reln _29 _36 ((_37 _2a)| _3a) _3b))
((rlink _29 _2a _2b _2c ('-'| _37) _2e)
   (relist _29 _2a _2b _2c _37 _38)
   (!)
   (commadot _29 _38 _2e))

((rlink2 _2a _2b _2c _2d _2e _2f _30)
   (conlink2 _2a _2b _2c _2d _2e _2f _30)
   (!))
((rlink2 left _2b _2c () () _2f _30)
   (cnull _2f _30))

((conlink _2a _2b _2c _2d _2e _2f _30)
   (conlink2 _2a _2b _2c _2d _2e _2f _30))
((conlink _2a _2b _2c _2d _2e _30 _30)
   (error 162 control (arrow usage) y (conlink _2a _2b _2c _2d _2e| _36) fail))

((conlink2 left _2b _2c ((_3b _3c)) () _2f _30)
   (arcc left _3b _2f _3d)
   (!)
   (concept _2b _3c _3d _3e)
   (conlink3 _2b _3c _3f _40 _3e _30)
   (update_conc _2b _3c _3f (_2c| _40)))
((conlink2 right _2b _2c () ((_3b _3c)) _2f _30)
   (arcc right _3b _2f _3d)
   (!)
   (concept _2b _3c _3d _3e)
   (conlink3 _2b _3c _3f _40 _3e _30)
   (update_conc _2b _3c (_2c| _3f) _40))
((conlink2 _2a _2b _2c _2d _2e ('-'| _39) _30)
   (conlist _2b _2c _2d _2e _39 _3a)
   (!)
   (commadot _2b _3a _30))

((conlink3 _29 _2a _2b _2c _2d _2e)
   (rlink _29 _2a _2b _2c _2d _2e)
   (!))
((conlink3 _29 _2a () () _2d _2e)
   (cnull _2d _2e))

((relist _29 _2a _2b _2c _2d _2e)
   (newline _2d _34)
   (relnode _29 _35 _34 _36)
   (!)
   (rlist3 _29 _2a _35 () () _37 _38 _36 _39)
   (!)
   (rlist4 _29 _2a _37 _38 _2b _2c _39 _2e))
((relist _29 _2a _2b _2c _2e _2e)
   (error 163 control (relation list) y (relist _29 _2a _2b _2c| _34) fail))

((rlist2 _2b _2c _2d _2e _2f _30 _31 _32)
   (newline _31 _38)
   (relnode2 _2b _39 _38 _3a)
   (!)
   (rlist3 _2b _2c _39 _2d _2e _3b _3c _3a _3d)
   (!)
   (rlist4 _2b _2c _3b _3c _2f _30 _3d _32))

((rlist3 _2c _2d _2e _31 _30 _31 (_2e| _30) _33 _34)
   (conlink2 right _2c _2e _3c _3d _33 _34)
   (update_reln _2c _2e ((0 _2d)| _3c) _3d))
((rlist3 _2c _2d _2e _2f _32 (_2e| _2f) _32 _33 _34)
   (conlink2 left _2c _2e _3c _3d _33 _34)
   (update_reln _2c _2e _3c ((0 _2d)| _3d)))
((rlist3 _2c _2d _2e _2f _32 (_2e| _2f) _32 _33 _34)
   (cnull _33 _34)
   (update_reln _2c _2e () ((0 _2d))))

((rlist4 _2b _2c _2d _2e _2f _30 _31 _32)
   (rlist2 _2b _2c _2d _2e _2f _30 _31 _32)
   (!))
((rlist4 _2b _2c _2d _2e _2f _30 _31 _32)
   (cnull _31 _32)
   (revlist _2d () _2f)
   (revlist _2e () _30))

((conlist _29 _2a _2b _2c _2d _2e)
   (conlist2 _29 _2a () () _2b _2c _2d _2e))

((conlist2 _2b _2c _2d _2e _2f _30 _31 _32)
   (newline _31 _38)
   (arcc left _39 _38 _3a)
   (concept _2b _3b _3a _3c)
   (!)
   (conlist3 _2b _3b _3d _3e _3c _3f)
   (update_conc _2b _3b _3d (_2c| _3e))
   (!)
   (conlist4 _2b _2c ((_39 _3b)| _2d) _2e _2f _30 _3f _32))
((conlist2 _2b _2c _2d _2e _2f _30 _31 _32)
   (newline _31 _38)
   (arcc right _39 _38 _3a)
   (concept _2b _3b _3a _3c)
   (!)
   (conlist3 _2b _3b _3d _3e _3c _3f)
   (update_conc _2b _3b (_2c| _3d) _3e)
   (!)
   (conlist4 _2b _2c _2d ((_39 _3b)| _2e) _2f _30 _3f _32))

((conlist3 _29 _2a _2b _2c _2d _2e)
   (rlink _29 _2a _2b _2c _2d _2e)
   (!))
((conlist3 _29 _2a () () _2d _2e)
   (cnull _2d _2e))

((conlist4 _2b _2c _2d _2e _2f _30 _31 _32)
   (conlist2 _2b _2c _2d _2e _2f _30 _31 _32)
   (!))
((conlist4 _2b _2c _2d _2e _2f _30 _31 _32)
   (cnull _31 _32)
   (revlist _2d () _2f)
   (revlist _2e () _30))

((arcc left _28 ('<-'| _33) _2a)
   (leftarc2 _28 _33 _2a)
   (!))
((arcc right _28 _29 _2a)
   (rightarc2 _28 _29 ('->'| _2a))
   (!))

((leftarc2 _26 ('{'| _31) _28)
   (!)
   (integer _26 _31 ('}' '-'| _28)))
((leftarc2 0 _27 _28)
   (cnull _27 _28))

((rightarc2 _26 ('-' '{'| _33) _28)
   (!)
   (integer _26 _33 ('}'| _28)))
((rightarc2 0 _27 _28)
   (cnull _27 _28))

((relnode _27 _28 _29 _2a)
   (relnode2 _27 _28 _29 _2a))
((relnode _27 _28 _2a _2a)
   (error 164 control (relation node) y (relnode _27 _28| _30) fail))

((relnode2 _27 _28 ('('| _33) _2a)
   (!)
   (relnlabel _34 _33 (')'| _2a))
   (new_node reln _27 _28 rel _34)
   (!))
((relnode2 _27 _28 ('<<'| _33) _2a)
   (!)
   (actlabel _34 _33 ('>>'| _2a))
   (new_node reln _27 _28 act _34)
   (!))

((relnread rel _28 ('('| _33) _2a)
   (relnlabel _28 _33 (')'| _2a)))
((relnread act _28 ('<<'| _33) _2a)
   (actlabel _34 _33 ('>>'| _2a)))

((concread _27 _28 ('['| _33) _2a)
   (typefield _34 _27 _33 _35)
   (concept3 _34 _28 _35 (']'| _2a)))

((typeread _26 _27 _28)
   (typelabel _26 _27 _28))

((concept _27 _28 _29 _2a)
   (concept2 _27 _28 _29 _2a))
((concept _27 _28 _2a _2a)
   (error 165 control (concept node) y (concept _27 _28| _30) fail))

((concept2 _27 _28 ('['| _33) _2a)
   (typefield _34 _35 _33 _36)
   (concept3 _34 _37 _36 (']'| _2a))
   (conf_load _27 _35 _37)
   (new_node conc _27 _28 _35 _37)
   (!))
((concept2 _27 _28 _29 _2a)
   (concept4 _30 _29 ('['| _31))
   (graphlist () _32 _31 (']'| _2a))
   (new_node conc _27 _28 _30 _32)
   (!))
((concept2 _27 _28 ('['| _33) _2a)
   (!)
   (reffield name _34 _33 (']'| _2a))
   (new_node conc _27 _28 (name) _34))

((concept3 _27 _28 (:| _33) _2a)
   (reffield _27 _28 _33 _2a)
   (!))
((concept3 _27 ('%') (: '*'| _2a) _2a)
   (!))
((concept3 _27 ('%') _29 _2a)
   (cnull _29 _2a))

((concept4 '-' ('NOT'| _28) _28)
   (!))
((concept4 '+' _27 _28)
   (cnull _27 _28))

((graphlist _27 _28 _29 _2a)
   (new_graph _30 _29 _31)
   (cgraph _30 _31 _32)
   (graphlist2 (_30| _27) _28 _32 _2a))

((graphlist2 _27 _28 _29 _2a)
   (graphlist _27 _28 _29 _2a)
   (!))
((graphlist2 _27 _28 _29 _2a)
   (cnull _29 _2a)
   (revlist _27 () _28))

((typefield _27 (lambda _34 _35) (lambda| _39) _2a)
   (!)
   (varlabel _34 _39 _3a)
   (new_graph _35 _3a _3b)
   (cgraph2 _35 _3b _2a)
   (!)
   (conc _35 _3c (_27) (_3d| _3e) _3f _40)
   (member ('*' _34) _3e))
((typefield _27 (_27) _29 _2a)
   (typelabel _27 _29 _2a))
((typefield _27 _28 _29 _2a)
   (subrange _27 _28 _29 _2a))

((subrange _27 (_34 _27 (_39 _3a _3b)) _29 _2a)
   (subrange2 _34 _29 _3c)
   (typelabel _27 _3c _3d)
   (relnship _39 _3d _3e)
   (measure _3a _3b _3e _2a))

((subrange2 (_32 _33 _34) _27 _28)
   (measure _32 _33 _27 _35)
   (relnship _34 _35 _28)
   (!))
((subrange2 () _27 _28)
   (cnull _27 _28))

((reffield _27 (_32) _29 _2a)
   (markfield _32 _29 _2a))
((reffield _27 (_32| _31) _29 _2a)
   (referent _27 () _31 _29 _33)
   (markfield _32 _33 _2a))
((reffield _27 ('%' (cgr _36)) _29 _2a)
   (new_graph _36 _29 _37)
   (cgraph2 _36 _37 _2a))

((markfield ? _27 _28)
   (qmark _27 _28)
   (!))
((markfield ! _27 _28)
   (emark _27 _28)
   (!))
((markfield '%' _27 _28)
   (cnull _27 _28))

((referent name _29 _2a ('"'| _35) _2c)
   (!)
   (label _36 _35 ('"'| _37))
   (referent2 name (('"' _36 '"')| _29) _2a _37 _2c))
((referent number _29 _2a _2b _2c)
   (realnumber _32 _2b _33)
   (!)
   (referent2 number ((_32)| _29) _2a _33 _2c))
((referent measure _29 _2a _2b _2c)
   (measure2 _32 _2b _33)
   (!)
   (measure3 _34 _33 _35)
   (!)
   (referent2 measure ((_32 _34)| _29) _2a _35 _2c))
((referent _28 _29 _2a _2b _2c)
   (indref _32 _2b _33)
   (!)
   (referent2 _28 (_32| _29) _2a _33 _2c))

((referent2 _28 _29 _2a ('='| _35) _2c)
   (referent _28 _29 _2a _35 _2c)
   (!))
((referent2 _28 _29 _2a _2b _2c)
   (cnull _2b _2c)
   (revlist _29 () _2a))

((indref ('#' _31) ('#'| _35) _28)
   (integer _31 _35 _28))
((indref ('#' ()) ('#'| _28) _28)
   (!))
((indref ('*' _31) ('*'| _35) _28)
   (!)
   (varlabel _31 _35 _28))
((indref ('@' _32 _33) ('@'| _37) _28)
   (measure2 _32 _37 _38)
   (measure3 _33 _38 _28))
((indref ('<*' _34 '*>' _35 _36) ('{'| _3a) _28)
   (setref () _34 _3a ('}'| _3b))
   (indref2 _35 _36 _3b _28))
((indref ('<*' _32 '*>') ('{'| _36) _28)
   (!)
   (disjset () _32 _36 ('}'| _28)))
((indref (Dist '<*' _35 '*>' _36 _37) (Dist '{'| _3d) _28)
   (!)
   (setref () _35 _3d ('}'| _3e))
   (indref2 _36 _37 _3e _28))
((indref (Resp '<' _33 '>') (Resp '<'| _39) _28)
   (!)
   (sequence () _33 _39 ('>'| _28)))
((indref ('"' _32 '"') ('"'| _36) _28)
   (!)
   (label _32 _36 ('"'| _28)))
((indref (_30) _27 _28)
   (label _30 _27 _28)
   (!))
((indref () _27 _28)
   (cnull _27 _28))

((indref2 '@' _28 ('@'| _33) _2a)
   (disjlist () _28 _33 _2a)
   (!))
((indref2 () () _29 _2a)
   (cnull _29 _2a))

((disjlist _27 _28 _29 _2a)
   (integer _30 _29 _31)
   (disjlist2 (_30| _27) _28 _31 _2a))

((disjlist2 _27 _28 ('|'| _33) _2a)
   (disjlist ('|'| _27) _28 _33 _2a))
((disjlist2 (_32) (_32) _29 _2a)
   (cnull _29 _2a))
((disjlist2 _27 _28 _29 _2a)
   (cnull _29 _2a)
   (revlist _27 () _28))

((relnship '=' ('='| _28) _28))
((relnship '<' ('<'| _28) _28))
((relnship '>' ('>'| _28) _28))
((relnship '<=' ('<='| _28) _28))
((relnship '>=' ('>='| _28) _28))
((relnship '~' ('~'| _28) _28))

((measure _27 _28 _29 _2a)
   (realnumber _27 _29 _30)
   (measure3 _28 _30 _2a))

((measure2 _26 _27 _28)
   (realnumber _26 _27 _28)
   (!))
((measure2 () _27 _28)
   (cnull _27 _28))

((measure3 _26 _27 _28)
   (unit _26 _27 _28)
   (!))
((measure3 () _27 _28)
   (cnull _27 _28))

((setref _27 _28 ('*'| _33) _2a)
   (!)
   (setref2 ('*'| _27) _28 _33 _2a))
((setref _27 _28 _29 _2a)
   (element _30 _29 _31)
   (setref2 (_30| _27) _28 _31 _2a))

((setref2 _27 _28 (','| _33) _2a)
   (setref (','| _27) _28 _33 _2a)
   (!))
((setref2 _27 _28 _29 _2a)
   (cnull _29 _2a)
   (revlist _27 () _28))

((disjset _27 _28 _29 _2a)
   (element _30 _29 _31)
   (disjset2 (_30| _27) _28 _31 _2a))

((disjset2 _27 _28 ('|'| _33) _2a)
   (disjset ('|'| _27) _28 _33 _2a)
   (!))
((disjset2 _27 _28 _29 _2a)
   (cnull _29 _2a)
   (revlist _27 () _28))

((element _26 _27 _28)
   (label _26 _27 _28)
   (!))
((element (cgr _31) _27 _28)
   (new_graph _31 _27 _32)
   (cgraph2 _31 _32 _28))

((sequence _27 _28 _29 _2a)
   (label _30 _29 _31)
   (sequence2 (_30| _27) _28 _31 _2a))

((sequence2 _27 _28 (','| _33) _2a)
   (sequence (','| _27) _28 _33 _2a)
   (!))
((sequence2 _27 _28 _29 _2a)
   (cnull _29 _2a)
   (revlist _27 () _28))

((newline _26 _26))

((cnull _26 _26))

((indlabel ('#' _31) ('#'| _35) _28)
   (integer _31 _35 _28))
((indlabel (_30) _27 _28)
   (label _30 _27 _28))

((typelabel (not _31) _27 _28)
   (negsymbol _27 _32)
   (!)
   (label _31 _32 _28))
((typelabel _26 _27 _28)
   (label _26 _27 _28))

((relnlabel (not _31) _27 _28)
   (negsymbol _27 _32)
   (!)
   (label _31 _32 _28))
((relnlabel _26 _27 _28)
   (label _26 _27 _28))

((actlabel (not _31) _27 _28)
   (negsymbol _27 _32)
   (!)
   (label _31 _32 _28))
((actlabel _26 _27 _28)
   (label _26 _27 _28))

((graphname _26 (graph| _31) _28)
   (integer _26 _31 _28))
((graphname _26 _27 _28)
   (integer _26 _27 _28))
((graphname _26 _27 _28)
   (label _26 _27 _28))
((graphname _26 _27 _28)
   (label _2e _27 _2f)
   (indlabel _30 _26 _2f _31)
   (get_gname _2e _26 _31 _28))

((unit _26 _27 _28)
   (label _26 _27 _28))

((varlabel _26 _27 _28)
   (label _26 _27 _28))

((cstring (print| _c0) _b7)
   (graphname _c1 _c0 _b7)
   (print _c1))
((cstring (print| _c0) _b7)
   (graphname _c1 _c0 _c2)
   (opt from _c2 _c3)
   (noderead _c4 _c5 _c6 _c3 _b7)
   (!)
   (print _c1 _c4 _c5 _c6))
((cstring (copy| _c0) _b7)
   (!)
   (graphname _c1 _c0 _c2)
   (opt to _c2 _c3)
   (graphname _c4 _c3 _b7)
   (gcopy _c1 _c4))
((cstring (expand| _c0) _b7)
   (noderead _c1 _c2 _c3 _c0 _c4)
   (!)
   (cstring4 _c5 _c4 _b7)
   (!)
   (expand _c1 _c2 _c3 _c5))
((cstring (expand| _c0) _b7)
   (label _c1 _c0 _c2)
   (opt in _c2 _c3)
   (noderead conc _c4 _c5 _c3 _c6)
   (!)
   (cstring4 _c7 _c6 _b7)
   (clookup _c1 _c8)
   (expand _c8 _c4 _c5 _c7))
((cstring (contract| _c0) _b7)
   (noderead reln rel _c1 _c0 _c2)
   (!)
   (cstring4 _c3 _c2 _b7)
   (contract reln rel _c1 _c3))
((cstring (contract| _c0) _b7)
   (label _c1 _c0 _c2)
   (!)
   (cstring4 _c3 _c2 _b7)
   (clookup _c1 _c4)
   (contract reln rel _c4 _c3))
((cstring (restrict| _c0) _b7)
   (noderead conc _c1 _c2 _c0 _c3)
   (cstring4 _c4 _c3 _c5)
   (opt to _c5 _c6)
   (noderead conc _c7 _c8 _c6 _b7)
   (!)
   (restrict _c1 _c2 _c7 _c8 _c4))
((cstring (restrict| _c0) _b7)
   (!)
   (noderead conc _c1 _c2 _c0 _c3)
   (opt to _c3 _c4)
   (noderead conc _c5 _c6 _c4 _c7)
   (cstring4 _c8 _c7 _b7)
   (restrict _c1 _c2 _c5 _c6 _c8))
((cstring (join| _c0) _b7)
   (!)
   (noderead conc _c1 _c2 _c0 _c3)
   (cstring4 _c4 _c3 _c5)
   (opt and _c5 _c6)
   (noderead conc _c7 _c8 _c6 _c9)
   (cstring4 _ca _c9 _cb)
   (cstring5 _cc _cb _b7)
   (!)
   (join _c1 _c2 _c4 _c7 _c8 _ca _cc))
((cstring (maxj| _c0) _b7)
   (!)
   (graphname _c1 _c0 _c2)
   (opt and _c2 _c3)
   (graphname _c4 _c3 _c5)
   (cstring5 _c6 _c5 _b7)
   (!)
   (max_join _c1 _c4 _c6))
((cstring (graph| _c0) _b7)
   (!)
   (graphname _c1 _c0 _c2)
   (cstring3 _c1 () _c3 _c2 _b7)
   (abstraction graph _c1 () _c3))
((cstring (type| _c0) _b7)
   (!)
   (cstring2 _c1 _c2 _c3 _c0 _b7)
   (abstraction type _c1 (_c2) _c3))
((cstring (schema for| _c2) _b7)
   (!)
   (cstring2 _c3 _c4 _c5 _c2 _b7)
   (abstraction schema _c3 (_c4) _c5))
((cstring (prototype for| _c2) _b7)
   (!)
   (cstring2 _c3 _c4 _c5 _c2 _b7)
   (abstraction prototype _c3 (_c4) _c5))
((cstring (individual| _c0) _b7)
   (!)
   (typelabel _c1 _c0 ('('| _c2))
   (indlabel _c3 _c2 (')'| _c4))
   (cstring3 _c1 _c3 _c5 _c4 _b7)
   (abstraction individual _c1 _c3 _c5))
((cstring (relation| _c0) _b7)
   (!)
   (relnlabel _c1 _c0 ('('| _c2))
   (paramlist () _c3 _c2 (')'| _c4))
   (!)
   (cstring3 _c1 _c3 _c5 _c4 _b7)
   (abstraction relation _c1 _c3 _c5))
((cstring (actor| _c0) _b7)
   (!)
   (actlabel _c1 _c0 ('(' in| _c2))
   (paramlist () _c3 _c2 (';' out| _c4))
   (paramlist () _c5 _c4 (')'| _c6))
   (append _c3 _c5 _c7)
   (!)
   (cstring3 _c1 _c7 _c8 _c6 _b7)
   (abstraction actor _c1 (_c3 _c5) _c8))

((cstring2 _b9 _ba _bb _bc _bd)
   (typelabel _b9 _bc ('('| _c3))
   (varlabel _ba _c3 (')'| _c4))
   (cstring3 _b9 (_ba) _bb _c4 _bd)
   (!))

((cstring3 _b9 _ba _bb (is| _c6) _bd)
   (!)
   (kill reading_graph)
   (kill fplist)
   (addcl ((reading_graph _b9)))
   (addcl ((fplist _ba)))
   (cgraphlist _bb _c6 _bd)
   (!))

((cstring4 _b7 _b8 _b9)
   (opt in _b8 _bf)
   (graphname _b7 _bf _b9))

((cstring5 _b7 _b8 _b9)
   (opt to _b8 _bf)
   (opt give _bf _c0)
   (graphname _b7 _c0 _b9))

((noderead conc _ba _bb _bc _bd)
   (opt concept _bc _c3)
   (concread _ba _bb _c3 _bd))
((noderead reln rel _bb _bc _bd)
   (opt relation _bc _c3)
   (relnread rel _bb _c3 _bd))
((noderead reln act _bb _bc _bd)
   (opt actor _bc _c3)
   (relnread act _bb _c3 _bd))
((noderead conc num _bb (concept| _c6) _bd)
   (integer _bb _c6 _bd))
((noderead reln rel _bb (relation| _c6) _bd)
   (integer _bb _c6 _bd))
((noderead reln act _bb (actor| _c6) _bd)
   (integer _bb _c6 _bd))

((opt _b7 (_b7| _b9) _b9)
   (!))
((opt _b7 _b8 _b9)
   (cnull _b8 _b9))

((paramlist _b8 _b9 _ba _bb)
   (varlabel _c1 _ba _c2)
   (paramlist2 (_c1| _b8) _b9 _c2 _bb))

((paramlist2 _b8 _b9 (','| _c4) _bb)
   (paramlist _b8 _b9 _c4 _bb)
   (!))
((paramlist2 _b8 _b9 _ba _bb)
   (cnull _ba _bb)
   (revlist _b8 () _b9))
((paramlist2 _b8 _b9 _bb _bb)
   (error 160 control (formal parameter list) y (paramlist2 _b8 _b9| _c1) fail))

((cgraphlist _b7 _b8 _b9)
   (negsymbol _b8 ('['| _bf))
   (!)
   (graphlist () _c0 _bf (']'| _b9))
   (new_graph2 _b7)
   (addcl ((conc _b7 1 '-' _c0 () ()))))
((cgraphlist _b7 _b8 _b9)
   (graphlist () _bf _b8 _c0)
   (cgraphlist2 _b7 _bf _c0 _b9))

((cgraphlist2 _b8 (_b8) _ba _bb)
   (cnull _ba _bb))
((cgraphlist2 _b8 _b9 _bb _bb)
   (new_graph2 _b8)
   (addcl ((conc _b8 1 '+' _b9 () ()))))

((cgraph _b7 _b8 _b9)
   (cgraph2 _b7 _b8 _b9))
((cgraph _b7 _b9 _b9)
   (error 161 control (outermost context) y (cgraph _b7| _bf) fail))

((cgraph2 _b7 _b8 _b9)
   (concept2 _b7 _bf _b8 _c0)
   (!)
   (cgraph3 _b7 _bf _c1 _c2 _c0 _b9)
   (update_conc _b7 _bf _c1 _c2)
   (del_matching_cl ((temp _c3 _b7| _c4))))
((cgraph2 _b7 _b8 _b9)
   (relnode2 _b7 _bf _b8 _c0)
   (!)
   (conlink right _b7 _bf _c1 _c2 _c0 _b9)
   (update_reln _b7 _bf _c1 _c2)
   (del_matching_cl ((temp _c3 _b7| _c4))))

((cgraph3 _ba _bb _bc _bd _be _bf)
   (rlink _ba _bb _bc _bd _be _bf)
   (!))
((cgraph3 _ba _bb () () _be _bf)
   (cnull _be _bf))

((rlink _ba _bb (_c7) () _be _bf)
   (arcc left _c8 _be _c9)
   (!)
   (relnode2 _ba _c7 _c9 _ca)
   (rlink2 left _ba _c7 _cb _cc _ca _bf)
   (update_reln _ba _c7 _cb ((_c8 _bb)| _cc)))
((rlink _ba _bb () (_c7) _be _bf)
   (arcc right _c8 _be _c9)
   (!)
   (relnode2 _ba _c7 _c9 _ca)
   (rlink2 right _ba _c7 _cb _cc _ca _bf)
   (update_reln _ba _c7 ((_c8 _bb)| _cb) _cc))
((rlink _ba _bb _bc _bd ('-'| _c8) _bf)
   (relist _ba _bb _bc _bd _c8 _c9)
   (!)
   (commadot _ba _c9 _bf))

((rlink2 _bb _bc _bd _be _bf _c0 _c1)
   (conlink2 _bb _bc _bd _be _bf _c0 _c1)
   (!))
((rlink2 left _bc _bd () () _c0 _c1)
   (cnull _c0 _c1))

((conlink _bb _bc _bd _be _bf _c0 _c1)
   (conlink2 _bb _bc _bd _be _bf _c0 _c1))
((conlink _bb _bc _bd _be _bf _c1 _c1)
   (error 162 control (arrow usage) y (conlink _bb _bc _bd _be _bf| _c7) fail))

((conlink2 left _bc _bd ((_cc _cd)) () _c0 _c1)
   (arcc left _cc _c0 _ce)
   (!)
   (concept _bc _cd _ce _cf)
   (conlink3 _bc _cd _d0 _d1 _cf _c1)
   (update_conc _bc _cd _d0 (_bd| _d1)))
((conlink2 right _bc _bd () ((_cc _cd)) _c0 _c1)
   (arcc right _cc _c0 _ce)
   (!)
   (concept _bc _cd _ce _cf)
   (conlink3 _bc _cd _d0 _d1 _cf _c1)
   (update_conc _bc _cd (_bd| _d0) _d1))
((conlink2 _bb _bc _bd _be _bf ('-'| _ca) _c1)
   (conlist _bc _bd _be _bf _ca _cb)
   (!)
   (commadot _bc _cb _c1))

((conlink3 _ba _bb _bc _bd _be _bf)
   (rlink _ba _bb _bc _bd _be _bf)
   (!))
((conlink3 _ba _bb () () _be _bf)
   (cnull _be _bf))

((relist _ba _bb _bc _bd _be _bf)
   (newline _be _c5)
   (relnode _ba _c6 _c5 _c7)
   (!)
   (rlist3 _ba _bb _c6 () () _c8 _c9 _c7 _ca)
   (!)
   (rlist4 _ba _bb _c8 _c9 _bc _bd _ca _bf))
((relist _ba _bb _bc _bd _bf _bf)
   (error 163 control (relation list) y (relist _ba _bb _bc _bd| _c5) fail))

((rlist2 _bc _bd _be _bf _c0 _c1 _c2 _c3)
   (newline _c2 _c9)
   (relnode2 _bc _ca _c9 _cb)
   (!)
   (rlist3 _bc _bd _ca _be _bf _cc _cd _cb _ce)
   (!)
   (rlist4 _bc _bd _cc _cd _c0 _c1 _ce _c3))

((rlist3 _bd _be _bf _c2 _c1 _c2 (_bf| _c1) _c4 _c5)
   (conlink2 right _bd _bf _cd _ce _c4 _c5)
   (update_reln _bd _bf ((0 _be)| _cd) _ce))
((rlist3 _bd _be _bf _c0 _c3 (_bf| _c0) _c3 _c4 _c5)
   (conlink2 left _bd _bf _cd _ce _c4 _c5)
   (update_reln _bd _bf _cd ((0 _be)| _ce)))
((rlist3 _bd _be _bf _c0 _c3 (_bf| _c0) _c3 _c4 _c5)
   (cnull _c4 _c5)
   (update_reln _bd _bf () ((0 _be))))

((rlist4 _bc _bd _be _bf _c0 _c1 _c2 _c3)
   (rlist2 _bc _bd _be _bf _c0 _c1 _c2 _c3)
   (!))
((rlist4 _bc _bd _be _bf _c0 _c1 _c2 _c3)
   (cnull _c2 _c3)
   (revlist _be () _c0)
   (revlist _bf () _c1))

((conlist _ba _bb _bc _bd _be _bf)
   (conlist2 _ba _bb () () _bc _bd _be _bf))

((conlist2 _bc _bd _be _bf _c0 _c1 _c2 _c3)
   (newline _c2 _c9)
   (arcc left _ca _c9 _cb)
   (concept _bc _cc _cb _cd)
   (!)
   (conlist3 _bc _cc _ce _cf _cd _d0)
   (update_conc _bc _cc _ce (_bd| _cf))
   (!)
   (conlist4 _bc _bd ((_ca _cc)| _be) _bf _c0 _c1 _d0 _c3))
((conlist2 _bc _bd _be _bf _c0 _c1 _c2 _c3)
   (newline _c2 _c9)
   (arcc right _ca _c9 _cb)
   (concept _bc _cc _cb _cd)
   (!)
   (conlist3 _bc _cc _ce _cf _cd _d0)
   (update_conc _bc _cc (_bd| _ce) _cf)
   (!)
   (conlist4 _bc _bd _be ((_ca _cc)| _bf) _c0 _c1 _d0 _c3))

((conlist3 _ba _bb _bc _bd _be _bf)
   (rlink _ba _bb _bc _bd _be _bf)
   (!))
((conlist3 _ba _bb () () _be _bf)
   (cnull _be _bf))

((conlist4 _bc _bd _be _bf _c0 _c1 _c2 _c3)
   (conlist2 _bc _bd _be _bf _c0 _c1 _c2 _c3)
   (!))
((conlist4 _bc _bd _be _bf _c0 _c1 _c2 _c3)
   (cnull _c2 _c3)
   (revlist _be () _c0)
   (revlist _bf () _c1))

((arcc left _b9 ('<-'| _c4) _bb)
   (leftarc2 _b9 _c4 _bb)
   (!))
((arcc right _b9 _ba _bb)
   (rightarc2 _b9 _ba ('->'| _bb))
   (!))

((leftarc2 _b7 ('{'| _c2) _b9)
   (!)
   (integer _b7 _c2 ('}' '-'| _b9)))
((leftarc2 0 _b8 _b9)
   (cnull _b8 _b9))

((rightarc2 _b7 ('-' '{'| _c4) _b9)
   (!)
   (integer _b7 _c4 ('}'| _b9)))
((rightarc2 0 _b8 _b9)
   (cnull _b8 _b9))

((relnode _b8 _b9 _ba _bb)
   (relnode2 _b8 _b9 _ba _bb))
((relnode _b8 _b9 _bb _bb)
   (error 164 control (relation node) y (relnode _b8 _b9| _c1) fail))

((relnode2 _b8 _b9 ('('| _c4) _bb)
   (!)
   (relnlabel _c5 _c4 (')'| _bb))
   (new_node reln _b8 _b9 rel _c5)
   (!))
((relnode2 _b8 _b9 ('<<'| _c4) _bb)
   (!)
   (actlabel _c5 _c4 ('>>'| _bb))
   (new_node reln _b8 _b9 act _c5)
   (!))

((relnread rel _b9 ('('| _c4) _bb)
   (relnlabel _b9 _c4 (')'| _bb)))
((relnread act _b9 ('<<'| _c4) _bb)
   (actlabel _c5 _c4 ('>>'| _bb)))

((concread _b8 _b9 ('['| _c4) _bb)
   (typefield _c5 _b8 _c4 _c6)
   (concept3 _c5 _b9 _c6 (']'| _bb)))

((typeread _b7 _b8 _b9)
   (typelabel _b7 _b8 _b9))

((concept _b8 _b9 _ba _bb)
   (concept2 _b8 _b9 _ba _bb))
((concept _b8 _b9 _bb _bb)
   (error 165 control (concept node) y (concept _b8 _b9| _c1) fail))

((concept2 _b8 _b9 ('['| _c4) _bb)
   (typefield _c5 _c6 _c4 _c7)
   (concept3 _c5 _c8 _c7 (']'| _bb))
   (conf_load _b8 _c6 _c8)
   (new_node conc _b8 _b9 _c6 _c8)
   (!))
((concept2 _b8 _b9 _ba _bb)
   (concept4 _c1 _ba ('['| _c2))
   (graphlist () _c3 _c2 (']'| _bb))
   (new_node conc _b8 _b9 _c1 _c3)
   (!))
((concept2 _b8 _b9 ('['| _c4) _bb)
   (!)
   (reffield name _c5 _c4 (']'| _bb))
   (new_node conc _b8 _b9 (name) _c5))

((concept3 _b8 _b9 (:| _c4) _bb)
   (reffield _b8 _b9 _c4 _bb)
   (!))
((concept3 _b8 ('%') (: '*'| _bb) _bb)
   (!))
((concept3 _b8 ('%') _ba _bb)
   (cnull _ba _bb))

((concept4 '-' ('NOT'| _b9) _b9)
   (!))
((concept4 '+' _b8 _b9)
   (cnull _b8 _b9))

((graphlist _b8 _b9 _ba _bb)
   (new_graph _c1 _ba _c2)
   (cgraph _c1 _c2 _c3)
   (graphlist2 (_c1| _b8) _b9 _c3 _bb))

((graphlist2 _b8 _b9 _ba _bb)
   (graphlist _b8 _b9 _ba _bb)
   (!))
((graphlist2 _b8 _b9 _ba _bb)
   (cnull _ba _bb)
   (revlist _b8 () _b9))

((typefield _b8 (lambda _c5 _c6) (lambda| _ca) _bb)
   (!)
   (varlabel _c5 _ca _cb)
   (new_graph _c6 _cb _cc)
   (cgraph2 _c6 _cc _bb)
   (!)
   (conc _c6 _cd (_b8) (_ce| _cf) _d0 _d1)
   (member ('*' _c5) _cf))
((typefield _b8 (_b8) _ba _bb)
   (typelabel _b8 _ba _bb))
((typefield _b8 _b9 _ba _bb)
   (subrange _b8 _b9 _ba _bb))

((subrange _b8 (_c5 _b8 (_ca _cb _cc)) _ba _bb)
   (subrange2 _c5 _ba _cd)
   (typelabel _b8 _cd _ce)
   (relnship _ca _ce _cf)
   (measure _cb _cc _cf _bb))

((subrange2 (_c3 _c4 _c5) _b8 _b9)
   (measure _c3 _c4 _b8 _c6)
   (relnship _c5 _c6 _b9)
   (!))
((subrange2 () _b8 _b9)
   (cnull _b8 _b9))

((reffield _b8 (_c3) _ba _bb)
   (markfield _c3 _ba _bb))
((reffield _b8 (_c3| _c2) _ba _bb)
   (referent _b8 () _c2 _ba _c4)
   (markfield _c3 _c4 _bb))
((reffield _b8 ('%' (cgr _c7)) _ba _bb)
   (new_graph _c7 _ba _c8)
   (cgraph2 _c7 _c8 _bb))

((markfield ? _b8 _b9)
   (qmark _b8 _b9)
   (!))
((markfield ! _b8 _b9)
   (emark _b8 _b9)
   (!))
((markfield '%' _b8 _b9)
   (cnull _b8 _b9))

((referent name _ba _bb ('"'| _c6) _bd)
   (!)
   (label _c7 _c6 ('"'| _c8))
   (referent2 name (('"' _c7 '"')| _ba) _bb _c8 _bd))
((referent number _ba _bb _bc _bd)
   (realnumber _c3 _bc _c4)
   (!)
   (referent2 number ((_c3)| _ba) _bb _c4 _bd))
((referent measure _ba _bb _bc _bd)
   (measure2 _c3 _bc _c4)
   (!)
   (measure3 _c5 _c4 _c6)
   (!)
   (referent2 measure ((_c3 _c5)| _ba) _bb _c6 _bd))
((referent _b9 _ba _bb _bc _bd)
   (indref _c3 _bc _c4)
   (!)
   (referent2 _b9 (_c3| _ba) _bb _c4 _bd))

((referent2 _b9 _ba _bb ('='| _c6) _bd)
   (referent _b9 _ba _bb _c6 _bd)
   (!))
((referent2 _b9 _ba _bb _bc _bd)
   (cnull _bc _bd)
   (revlist _ba () _bb))

((indref ('#' _c2) ('#'| _c6) _b9)
   (integer _c2 _c6 _b9))
((indref ('#' ()) ('#'| _b9) _b9)
   (!))
((indref ('*' _c2) ('*'| _c6) _b9)
   (!)
   (varlabel _c2 _c6 _b9))
((indref ('@' _c3 _c4) ('@'| _c8) _b9)
   (measure2 _c3 _c8 _c9)
   (measure3 _c4 _c9 _b9))
((indref ('<*' _c5 '*>' _c6 _c7) ('{'| _cb) _b9)
   (setref () _c5 _cb ('}'| _cc))
   (indref2 _c6 _c7 _cc _b9))
((indref ('<*' _c3 '*>') ('{'| _c7) _b9)
   (!)
   (disjset () _c3 _c7 ('}'| _b9)))
((indref (Dist '<*' _c6 '*>' _c7 _c8) (Dist '{'| _ce) _b9)
   (!)
   (setref () _c6 _ce ('}'| _cf))
   (indref2 _c7 _c8 _cf _b9))
((indref (Resp '<' _c4 '>') (Resp '<'| _ca) _b9)
   (!)
   (sequence () _c4 _ca ('>'| _b9)))
((indref ('"' _c3 '"') ('"'| _c7) _b9)
   (!)
   (label _c3 _c7 ('"'| _b9)))
((indref (_c1) _b8 _b9)
   (label _c1 _b8 _b9)
   (!))
((indref () _b8 _b9)
   (cnull _b8 _b9))

((indref2 '@' _b9 ('@'| _c4) _bb)
   (disjlist () _b9 _c4 _bb)
   (!))
((indref2 () () _ba _bb)
   (cnull _ba _bb))

((disjlist _b8 _b9 _ba _bb)
   (integer _c1 _ba _c2)
   (disjlist2 (_c1| _b8) _b9 _c2 _bb))

((disjlist2 _b8 _b9 ('|'| _c4) _bb)
   (disjlist ('|'| _b8) _b9 _c4 _bb))
((disjlist2 (_c3) (_c3) _ba _bb)
   (cnull _ba _bb))
((disjlist2 _b8 _b9 _ba _bb)
   (cnull _ba _bb)
   (revlist _b8 () _b9))

((relnship '=' ('='| _b9) _b9))
((relnship '<' ('<'| _b9) _b9))
((relnship '>' ('>'| _b9) _b9))
((relnship '<=' ('<='| _b9) _b9))
((relnship '>=' ('>='| _b9) _b9))
((relnship '~' ('~'| _b9) _b9))

((measure _b8 _b9 _ba _bb)
   (realnumber _b8 _ba _c1)
   (measure3 _b9 _c1 _bb))

((measure2 _b7 _b8 _b9)
   (realnumber _b7 _b8 _b9)
   (!))
((measure2 () _b8 _b9)
   (cnull _b8 _b9))

((measure3 _b7 _b8 _b9)
   (unit _b7 _b8 _b9)
   (!))
((measure3 () _b8 _b9)
   (cnull _b8 _b9))

((setref _b8 _b9 ('*'| _c4) _bb)
   (!)
   (setref2 ('*'| _b8) _b9 _c4 _bb))
((setref _b8 _b9 _ba _bb)
   (indref _c1 _ba _c2)
   (!)
   (setref2 (_c1| _b8) _b9 _c2 _bb))
((setref _b8 _b9 _ba _bb)
   (element _c1 _ba _c2)
   (setref2 (_c1| _b8) _b9 _c2 _bb))

((setref2 _b8 _b9 (','| _c4) _bb)
   (setref (','| _b8) _b9 _c4 _bb)
   (!))
((setref2 _b8 _b9 _ba _bb)
   (cnull _ba _bb)
   (revlist _b8 () _b9))

((disjset _b8 _b9 _ba _bb)
   (element _c1 _ba _c2)
   (disjset2 (_c1| _b8) _b9 _c2 _bb))

((disjset2 _b8 _b9 ('|'| _c4) _bb)
   (disjset ('|'| _b8) _b9 _c4 _bb)
   (!))
((disjset2 _b8 _b9 _ba _bb)
   (cnull _ba _bb)
   (revlist _b8 () _b9))

((element _b7 _b8 _b9)
   (label _b7 _b8 _b9)
   (!))
((element (cgr _c2) _b8 _b9)
   (new_graph _c2 _b8 _c3)
   (cgraph2 _c2 _c3 _b9))

((sequence _b8 _b9 _ba _bb)
   (label _c1 _ba _c2)
   (sequence2 (_c1| _b8) _b9 _c2 _bb))

((sequence2 _b8 _b9 (','| _c4) _bb)
   (sequence (','| _b8) _b9 _c4 _bb)
   (!))
((sequence2 _b8 _b9 _ba _bb)
   (cnull _ba _bb)
   (revlist _b8 () _b9))

((newline _b7 _b7))

((cnull _b7 _b7))

((indlabel ('#' _c2) ('#'| _c6) _b9)
   (integer _c2 _c6 _b9))
((indlabel (_c1) _b8 _b9)
   (label _c1 _b8 _b9))

((typelabel (not _c2) _b8 _b9)
   (negsymbol _b8 _c3)
   (!)
   (label _c2 _c3 _b9))
((typelabel _b7 _b8 _b9)
   (label _b7 _b8 _b9))

((relnlabel (not _c2) _b8 _b9)
   (negsymbol _b8 _c3)
   (!)
   (label _c2 _c3 _b9))
((relnlabel _b7 _b8 _b9)
   (label _b7 _b8 _b9))

((actlabel (not _c2) _b8 _b9)
   (negsymbol _b8 _c3)
   (!)
   (label _c2 _c3 _b9))
((actlabel _b7 _b8 _b9)
   (label _b7 _b8 _b9))

((graphname _b7 (graph| _c2) _b9)
   (integer _b7 _c2 _b9))
((graphname _b7 _b8 _b9)
   (integer _b7 _b8 _b9))
((graphname _b7 _b8 _b9)
   (label _b7 _b8 _b9))
((graphname _b7 _b8 _b9)
   (label _bf _b8 _c0)
   (indlabel _c1 _b7 _c0 _c2)
   (get_gname _bf _b7 _c2 _b9))

((unit _b7 _b8 _b9)
   (label _b7 _b8 _b9))

((varlabel _b7 _b8 _b9)
   (label _b7 _b8 _b9))