Assertion list
ford explorer (subgroup of explorer ) → HasProperty
Results from Ascent++: 2
ford explorer → HasProperty → more efficient 0.37
ford explorer → HasProperty → new 0.22