Assertion list
meter (primary) → HasPrerequisite
Results from Ascent++: 1
meter → HasPrerequisite → one cr 1/3n lithium battery 0.28