Assertion list for term "indicate the number of igmpv1".

Results from Ascent++: 1
value (aspect of limit) CapableOfindicate the number of igmpv1 0.36