Inverse relations

[ .. ] → schema:isBasedOn → Annals of mathematical logic