Assertion list
sewing machine (subgroup of machine ) → HasA
Results from Ascent++: 3
sewing machine → HasA → built-in light 0.42
sewing machine → HasA → free arm 0.30
sewing machine → HasA → table 0.25