#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.