Assertion list for term "be an insurance card".

Results from Ascent++: 1
proof CapableOfbe an insurance card 0.25