Assertion list for term "necessary to verify conformance".
Results from Ascent++: 1
report (aspect of inspector) → ReceivesAction → necessary to verify conformance 0.32