Assertion list
substitute teacher (subgroup of teacher ) → IsA
Results from Ascent++: 2
substitute teacher → IsA → teacher 0.55
substitute teacher → IsA → in charge 0.25