Assertion: passage | /r/HasProperty | translation
Facets:
Source sentences:
text: The rules of passage govern the "passage" (translation) from any formula of first-order logic to the equivalent formula in prenex normal form, and vice versa.