...behaviour

Notice that this is a meta-diagnostic problem, since we are diagnosing failures in diagnostic methods.

...term

Terms beginning with a capital letter will denote variables.

...is

We write #-min for number-minimality, and = for the identity mapping

...now

We write 36#36 for subset-minimality.

Frank van Harmelen
Fri Oct 4 13:40:35 MET DST 1996