Prototype Lisp reasoner for Aristo