. "A logical macro assertion whose domain is an IRI for a property" . . "logical macro assertion on a property"@en .