Assertion list
disc (primary) → HasPrerequisite
Results from Ascent++: 2
disc → HasPrerequisite → replacement 0.35
disc → HasPrerequisite → machining 0.30