Re: TEST, SEM: test cases for dark triples

Here is another test case

R:

     John rdf:type Person .
     Bill rdf:type Person .
     John child Bill .
entailing
     John rdf:type _:1 .
     _:1 rdf:type daml:Restriction .
     _:1 rdf:onProperty child .
     _:1 rdf:hasClass :_1 .

This is a very different situation from that in Jeremy's cases, even case C.

peter