Assertion list for term "unique covered structure".

Results from Ascent++: 1
bridge IsAunique covered structure 0.33