Assertion list
identity (primary) → HasPrerequisite
Results from Ascent++: 1
identity → HasPrerequisite → strength 0.31