Assertion list
interior (primary) → HasPrerequisite
Results from Ascent++: 2
interior → HasPrerequisite → updating 0.31
interior → HasPrerequisite → some work 0.27