Assertion list
practical reason (subgroup of reason ) → IsA

Results from Ascent++: 1
practical reasonIsA reason 0.68