Assertion list
arm (aspect of sofa ) → HasA
Results from Ascent++: 1
arm → HasA → normal wear 0.25