Start with an empty KB and add the following two sentences:<br><br>Every file contains a record.<br>If a record is contained by a file then the record is a part of the file.<br><br>The second sentence is rejected (marked with a red triangle).  Why?<br>
<br>-- Ken<br>