$t -> author \ is-author-of / opus / bn
can be abridged to
$t -> is-author-of / bn
if the ontology makes it clear that an author can never play the role of an opus and vice-versa