Assertion list
road trip (subgroup of trip ) → HasProperty
Results from Ascent++: 1
road trip → HasProperty → fun 0.75