#ticket_stub__stub  a torn part of a ticket returned to the holder as a receipt
  supertype:  #receipt  an acknowledgment (usually tangible) that payment has been made
  subtype:  #rain_check.ticket_stub__raincheck  a ticket stub entitling the holder to admission to a future event if the scheduled event was cancelled due to rain

No statement uses or specializes #ticket_stub; click here to add one.