Assertion list
manner (primary) → HasPrerequisite
Results from Ascent++: 2
manner → HasPrerequisite → a set of instructions 0.33
manner → HasPrerequisite → the service 0.31