Assertion list
deductible (primary) → IsA
Results from Ascent++: 1
deductible → IsA → the sum 0.29