Assertion list
trial lawyer (subgroup of lawyer ) → IsA
Results from Ascent++: 1
trial lawyer → IsA → lawyer 0.25