Class EXPRESSION

KIF expression is either a word or a list of expressions.
Axioms:
(<=> (Expression ?Expr)
     (Or (Word ?Expr)
         (And (List ?Expr)
              (Forall (?Subexpr)
                      (=> (Item ?Subexpr ?Expr)
                          (Expression ?Subexpr))))))