Assertion list for term "overfull".
Results from Ascent++: 3
circuit → HasProperty → overfull 0.26
bus → HasProperty → overfull 0.25
tank → HasProperty → overfull 0.21