Assertion list
maximum speed (subgroup of speed ) → HasProperty
Results from Ascent++: 2
maximum speed → HasProperty → lower 0.46
maximum speed → HasProperty → safe 0.38