Assertion list
ashtray (primary) → CapableOf
Results from Ascent++: 1
ashtray → CapableOf → overflow with cigarette butts 0.25