public bool stoplist() { return And(()=> stopcase() && S() && Option(()=> And(()=> or_keyword() && S() && stoplist() && S() ) ) && S() ); }