Assertion list
smith (primary) → IsA

Results from Ascent++: 1
smithIsA diligent and skillful worker 0.25