Assertion list for term "2 led".
Results from Ascent++: 1
port → HasA → 2 led 0.30