[Attempto] puzzled by a rejected sentence

[Kenneth Jones]

Start with an empty KB and add the following two sentences:

Every file contains a record.
If a record is contained by a file then the record is a part of the file.

The second sentence is rejected (marked with a red triangle).  Why?

-- Ken
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20090714/5c917e3f/attachment.htm>