#extra_time__extratime__overtime  playing time beyond regulation, to break a tie
  exclusion:  #regulation_time
  supertype:  #time_period__period__period_of_time  an amount of time; "a time period of 30 years"; "hastened the period of his recovery"
  part of:  #athletic_game
  subtype:  #extra_innings__extrainning  overtime play until one team is ahead at the end of an inning; e.g. baseball
  subtype:  #overtime_period  a period of overtime play to resolve a tie; e.g. basketball
  subtype:  #tiebreaker  overtime play in order to break a tie; e.g. tennis and soccer
  subtype:  #sudden_death  (sports) overtime in which play is stopped as soon as one contestant scores; e.g. football and golf

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