[Attempto] puzzled by a rejected sentence

[Norbert E. Fuchs]

On 15 Jul 2009, at 01:00, Kenneth Jones wrote:

> 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

AceWiki marks the second sentence because it  cannot be translated  
into OWL - recall that ACE is more expressive than OWL - and is  
currently not used for reasoning.

    --- nef