Assertion list
complete subject (subgroup of subject ) → IsA
Results from Ascent++: 1
complete subject → IsA → simple subject 0.68