Assertion list
mini facelift (subgroup of facelift ) → HasProperty
Results from Ascent++: 2
mini facelift → HasProperty → appropriate 0.59
mini facelift → HasProperty → right 0.45