This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice. Jeremy J. Carroll APPROVED