static void ai_spec_possiblyIs(S s) { L l = javaTokC(s); if (l(l) == 3 && allContainCharacters(l)) ai_postTriple(s, "possibly is", first(l) + " " + last(l)); }