Assertion list
injured pedestrian (subgroup of pedestrian ) → HasA
Results from Ascent++: 1
injured pedestrian → HasA → right 0.30