Elsewhere, Mozambique took its first ever Olympic gold medal when Maria Mutola won the women's eight-hundred metres, while the men's ten-thousand-metres went to the Ethiopian Haile Gebrselassie.
Maria Mutola ran less miles than Gebrselassie.
The statement is correct but the AI did not know the math involved and the wording made it seem like unknown information was given so is marked it neither.
( z1 run :ARG0 ( z2 person :name ( z3 name :op "Maria" :op "Mutola" ) ) :ARG1 ( z4 less-than :op ( z5 run :ARG0 ( z6 person :name ( z7 name :op "Gebrselassie" ) ) :ARG1 ( z8 distance-quantity :quant 1 :unit ( z9 mile ) ) ) ) )