Assertion list
dislocation (primary) → IsA
Results from Ascent++: 1
dislocation → IsA → injury 0.42