Assertion list
spindle (aspect of lathe ) → HasProperty
Results from Ascent++: 2
spindle → HasProperty → hollow 0.75
spindle → HasProperty → parallel 0.25