APPROVED Jeremy J. Carroll This test shows a potential misapplication of OWL Full comprehension rules. It also shows optional type triples on an owl:Restriction.