entailment
数人のランナーがロードレースに参加します。