Assertion list
translation (primary) → HasPrerequisite
Results from Ascent++: 3
translation → HasPrerequisite → key 0.62
translation → HasPrerequisite → further revision 0.40
translation → HasPrerequisite → precision 0.27