@Test
    void testNumberReplacement() {
        assertSemantics("AND nokia 3100", "3100");
    }
Test a case reported by Alibaba

@author bratseth
container-search/src/test/java/com/yahoo/prelude/semantics/test/AlibabaTestCase.java