Assertion list
substitute teacher (subgroup of teacher ) → HasA
Results from Ascent++: 2
substitute teacher → HasA → a selection of requirements 0.68
substitute teacher → HasA → an array of specifications 0.34