Assertion list
vermicelli (primary) → HasProperty
Results from Ascent++: 1
vermicelli → HasProperty → thin 0.47