Assertion list
pen (primary) → HasPrerequisite
Results from Ascent++: 2
pen → HasPrerequisite → battery 0.48
pen → HasPrerequisite → one aaa battery 0.30