Assertion list
life jacket (primary) → HasA
Results from Ascent++: 3
life jacket → HasA → handle 0.36
life jacket → HasA → whistle 0.36
life jacket → HasA → reflective trim 0.16