Assertion list
washcloth (primary) → HasProperty
Results from Ascent++: 1
washcloth → HasProperty → soft 0.59