Assertion list for term "contained in bit vector".

Results from Ascent++: 1
number (aspect of matrix) ReceivesActioncontained in bit vector 0.41