Assertion list
piston (aspect of caliper ) → CapableOf
Results from Ascent++: 3
piston → CapableOf → keep the distance 0.25
piston → CapableOf → push entire caliper 0.25
piston → CapableOf → push the brake pads 0.25