Assertion list
seduction (primary) → HasProperty
Results from Ascent++: 1
seduction → HasProperty → necessary 0.68