Assertion list
sheer curtain (subgroup of curtain ) → IsA
Results from Ascent++: 1
sheer curtain → IsA → ideal option 0.25