Assertion list
weight (primary) → IsA
Results from Ascent++: 1
weight → IsA → of utmost importance 0.39