Assertion list for term "common positive terminal".
Results from Ascent++: 1
led → HasA → common positive terminal 0.25