Assertion list
right (aspect of pedestrian ) → HasProperty
Results from Ascent++: 2
right → HasProperty → safe 0.34
right → HasProperty → free 0.29