Assertion list
wheel steering (subgroup of steering ) → HasProperty
Results from Ascent++: 1
wheel steering → HasProperty → standard 0.84