Assertion list
shipping (primary) → IsA
Results from Ascent++: 1
shipping → IsA → service 0.25