Premise: At the 1932 Olympic Games in Los Angeles, Didrikson won gold medals in the javelin (Olympic record) and 80-meter hurdles (world record), along with a silver in the high jump (share of the world record).
Hypothesis: 2,45 m is the world record in the high jump.
Label: UNKNOWN