Assertion list
rv camping (subgroup of camping ) → HasProperty
Results from Ascent++: 1
rv camping → HasProperty → fun 0.59