(ASSEMBLE.CLAUSE ( system←module 1 si ) 4
    (get.Ai.constant 1 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( system←module 1 si ) 4
    (get.Ai.constant 1 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( system←module 1 si ) 4
    (get.Ai.constant 1 foreign)
    (proceed)
)

(ASSEMBLE.CLAUSE ( system←module 1 si ) 4
    (get.Ai.constant 1 format)
    (proceed)
)

(ASSEMBLE.CLAUSE ( system←module 1 si ) 4
    (get.Ai.constant 1 pprint)
    (proceed)
)

(ASSEMBLE.CLAUSE ( system←module 1 si ) 4
    (get.Ai.constant 1 indexer)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 foreign)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 user)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 foreign)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 user)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 foreign←file)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 user)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 portray)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 user)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 term←expansion)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 user)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 user←help)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 user)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 LC)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 NOLC)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 abolish)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 abort)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 ancestors)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 arg)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 assert)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 assert)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 asserta)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 asserta)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 assertz)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 assertz)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 atom)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 atomic)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 bagof)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 break)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 C)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 call)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 character←count)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 clause)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 clause)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 close)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 compare)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 compile)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 consult)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 current←atom)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 current←functor)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 current←input)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 current←op)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 current←output)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 current←predicate)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 current←stream)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 debug)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 debugging)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 depth)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 display)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 dynamic)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 erase)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 expand←term)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 fail)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 false)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 fileerrors)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 float)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 flush←output)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 functor)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 gc)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 gcguide)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 get)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 get)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 get0)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 get0)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 halt)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 help)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 help)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 incore)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 instance)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 integer)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 is)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 keysort)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 leash)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 length)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 line←count)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 line←position)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 listing)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 listing)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 load←foreign←files)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 foreign)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 log)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 manual)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 manual)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 maxdepth)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 mode)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 name)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 nl)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 nl)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 nodebug)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 nofileerrors)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 nogc)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 nolog)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 nonvar)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 nospy)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 nospyall)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 notrace)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 no←style←check)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 number)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 numbervars)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 op)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 open)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 open←null←stream)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 otherwise)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 phrase)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 phrase)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 plsys)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 print)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 print)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 prompt)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 public)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 put)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 put)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 read)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 read)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 reconsult)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 recorda)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 recorded)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 recordz)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 reinitialise)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 rename)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 repeat)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 restore)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 retract)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 revive)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 save)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 save)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 save←program)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 see)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 seeing)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 seen)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 set←input)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 set←output)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 setof)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 skip)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 skip)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 sort)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 spy)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 statistics)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 statistics)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 stream←code)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 stream←position)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 style←check)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 subgoal←of)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 tab)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 tab)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 tell)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 telling)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 told)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 trace)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 trimcore)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 true)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 ttyflush)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 ttyget)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 ttyget0)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 ttynl)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 ttyput)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 ttyskip)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 ttytab)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 unix)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 unknown)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 var)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 version)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 version)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 vms)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 write)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 write)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 writeq)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 writeq)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %\%+)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %↑)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 interp)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %=%:%=)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %=%\%=)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %<)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %=%<)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %>)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %>%=)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %=)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %=%.%.)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %=%=)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %\%=%=)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %@%<)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %@%=%<)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %@%>)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %@%>%=)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %.)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %!)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %,)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %;)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %-%>)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %:%-)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 %:%-)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 write←canonical)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 write←canonical)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 format)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 format)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 format)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 format)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 current←key)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 ensure←loaded)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 source←file)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 source←file)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 predicate←property)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 stream←position)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 library←directory)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 user)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 prolog←flag)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 stream←code)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 multifile)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 absolute←file←name)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 10
    (get.Ai.constant 1 pp)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 pprint)
    (execute development 0 si)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 10
    (get.Ai.constant 1 pp)
    (get.Ai.constant 2 4)
    (get.Ai.symbol 3 pprint)
    (execute development 0 si)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 begin←critical)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 end←critical)
    (get.Ai.constant 2 0)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 gettopval)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 settopval)
    (get.Ai.constant 2 2)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 lisp←apply)
    (get.Ai.constant 2 3)
    (get.Ai.symbol 3 si)
    (proceed)
)

(ASSEMBLE.CLAUSE ( user 3 si ) 9
    (get.Ai.constant 1 library←directory1)
    (get.Ai.constant 2 1)
    (get.Ai.symbol 3 si)
    (proceed)
)

STOP