static L ai_search_allNumbered(S baseTerm) { baseTerm += " "; new L l; for (S s : fullIndexedTermsStartingWith(baseTerm)) { S i = trim(substring(s, l(baseTerm))); if (isInteger(i)) l.add(s); } ret l; }