*** Syntax error: ',' expected in argument list (near line 3)
*** Error: the sort 'cons' may not be redefined as a predicate.
*** Error: the sort 'cons' may not be redefined as a predicate.
*** Error: 'happy(person)' is not a predicate or a function.

*** Abort

*** END Abort