Assertion list for term "1/3 covered".

Results from Ascent++: 1
rib ReceivesAction1/3 covered 0.25