Assertion list
menstrual cup (subgroup of cup ) → CapableOf

Results from Ascent++: 1
menstrual cupCapableOf come in two sizes 0.38