Kiels Mountain is a suburb of the Sunshine Coast Region in South East Queensland, Australia about 100 kilometres north of Brisbane. At the 2011 Australian Census the suburb recorded a population of 657. The Bruce Highway defines the western boundary and Eudlo Creek passes through the southeast tip of Kiels Mountain.
Six hundred and fifty seven is less than six hundred and fifty six.
657 is greater than 656. I'm sure the system was confused because I typed out the numbers.
( z1 equal :ARG1 ( z2 less-than :op 6 :quant 7 ) :ARG2 ( z3 less-than :op 6 :quant "6.5" ) )