Assertion list
brake rotor (subgroup of rotor ) → HasProperty
Results from Ascent++: 2
brake rotor → HasProperty → perfect 0.41
brake rotor → HasProperty → bad 0.22