Assertion list
swing (primary) → HasPrerequisite
Results from Ascent++: 3
swing → HasPrerequisite → work 0.36
swing → HasPrerequisite → an h-shackle 0.25
swing → HasPrerequisite → either a large end s-hook 0.25