Assertion list
attachment (primary) → HasPrerequisite
Results from Ascent++: 2
attachment → HasPrerequisite → larger, heavier carriers 0.25
attachment → HasPrerequisite → one double-acting circuit 0.25