Bilbao Arena is an indoor arena in the neighbourhood of Miribilla in Bilbao, Spain. The central hall can hold up to 10,014 people for basketball games. The central hall is also used for concerts and other kinds of shows. The facilities also include swimming pools and gymnasiums for the use of the local residents.
The central hall cannot hold (10,014+1) people for basketball games.
It's definitely correct because it can only hold up to 10,014 people for basketball games, therefore it cannot hold 10,015 people. It's difficult because the system probably just sees the 10,014 in the statement and doesn't understand that the (10,014+1) construction really means 10,015.
( z1 possible :polarity - :ARG1 ( z2 hold :ARG0 ( z3 hall :mod ( z4 center ) ) :ARG1 ( z5 person :quant ( z6 more-than :op 10014 ) ) :purpose ( z7 game :mod ( z8 basketball ) ) ) )