Learning vi Queries in [+, <]