Changed implementation of representation of negation to use function application instead of a special syntactic form as suggested by SPJ.