4. 5. 6. He says no. What happened in between was less clear.
the number 5 is in the statement.
( z0 be-located-at :ARG1 ( z1 number :value 5 ) :ARG2 ( z2 thing :ARG1-of ( z3 state ) ) )
(z0 / be-located-at-91
    :ARG1 (z1 / number
              :value 5)
    :ARG2 (z2 / thing
              :ARG1-of (z3 / state-01)))
the number 5 is in the statement .
z1 :value 0
z0 :ARG1 z1
z0 :ARG2 z2
z2 :ARG1-of z3