APPROVED Jeremy J. Carroll This test shows a correct application of OWL Full comprehension rules. It also shows that optional type triples on an owl:Restriction do not replace the obligatory ones.