Cosmonaut Sergei Avdeyev, currently on board the Mir space station, has become the person with the longest total stay in space. He has clocked up 681 days.
Sergei Avdeyev used to be the person with second longest total stay in space
If he's first now, he must have been second at one point. I think the system got it wrong because the statement requires an inference
( z1 person :domain ( z2 person :name ( z3 name :op "Sergei" :op "Avdeyev" ) ) :ARG0-of ( z4 have :ARG1 ( z5 stay :ARG1 z1 :location ( z6 space ) :ARG1-of ( z7 total ) :ARG1-of ( z8 have-degree :ARG2 ( z9 long :ARG1 z5 ) :ARG3 ( z10 most :ord ( z11 ordinal-entity :value 2 ) ) ) ) ) :time ( z12 use ) )