#miler  a runner in a one-mile race
  supertype:  runner.athlete  a trained athlete who competes in foot races
  subtype:  four-minute_man  someone who has run the mile is less that 4 minutes
     instance:  Sir_Roger_Gilbert_Bannister__Bannister__Roger_Bannister  John_Walker__Walker

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