e/Credit default option

Information
has gloss	eng: In finance, a default option, credit default swaption or credit default option is an option to buy protection (payer option) or sell protection (receiver option) as a credit default swap on a specific reference credit with a specific maturity. The option is usually American, exercisable only at one date in the future at a specific strike price defined as a coupon on the credit default swap.
lexicalization	eng: Credit default option
instance of	c/Options