Assertion list
manual (primary) → IsA
Results from Ascent++: 2
manual → IsA → work 0.49
manual → IsA → handbook 0.31