Assertion list
trojan (primary) → HasPrerequisite
Results from Ascent++: 1
trojan → HasPrerequisite → the user 0.38