unsecured credit card subgroup of credit card, 4 assertions

IsA 1
card 0.25