Assertion list
school bus (subgroup of bus ) → HasA
Results from Ascent++: 1
school bus → HasA → seat belts 0.53