Assertion list
eiderdown (primary) → HasProperty
Results from Ascent++: 3
eiderdown → HasProperty → an light 0.53
eiderdown → HasProperty → soft 0.22
eiderdown → HasProperty → more resilient 0.16