Assertion list
trip odometer (subgroup of odometer ) → CapableOf
Results from Ascent++: 1
trip odometer → CapableOf → record the distance 0.68