definition module Umpire

import Referee

umpire :: !FootballField -> Referee