Assertion list for term "correspond to pin".

Results from Ascent++: 1
bit CapableOfcorrespond to pin 0.30