Assertion list for term "demonstrated for the insurance coverage protocol".
Results from Ascent++: 1
proof → ReceivesAction → demonstrated for the insurance coverage protocol 0.25