If ** p** stands for ``all dogs are smelly'' and ** p** is ** true** then we would like
to be able to prove
that ``my dog fido is smelly''.

We need to be able to get at the structure and meaning of statements. This is where (first order) predicate logic is useful.

Mon May 24 20:14:48 BST 1999