sclass EnglishDateParser > DateStructures {
  replace P with ParsedWithTokens.
  
  bool assumeFuture = true; // e.g. for "tuesday" [not used]
  LS tok;
  int maxTokens = 3;
  
  L<P<SomeDate>> longestParses(S s) {
    L<P<SomeDate>> l = pwt_filterByType SomeDate(allParses(s));
    new L<P<SomeDate>> topDogs;
    for (P<SomeDate> p : l)
      for (int i = p.iStart; i < p.iRemaining; i += 2)
        listPut(topDogs, i, pwt_winner(_get(topDogs, i), p));
    ret uniquify(nonNulls(topDogs));
  }
  
  SomeDate parse(S s) {
    ret getVar(first(longestParses(s)));
  }
  
  ItIt<P> allParses(S s) {
    tok = javaTok(s);
    new L<P> out;
    L<ListAndIndex<S>> codeTokens = asList(lai_codeTokens(tok));
    
    L<P<Int>> numbers = lazyListFromIterator(nestedIterator parseNumber(codeTokens));
    
    // "in <n> days"
    for (P<Int> number : numbers)
      for (P<S> in : print("in", asList(parseFixedToken_before("in", number.start()))))
        for (P<S> days : print("days", asList(parseOneOfFixedTokens(litciset("day", "days"), print(number.remaining())))))
          out.add(pwt_combine(new TodayPlus(number!), in, days));
    
    // "<n> days from now"
    for (P<Int> number : numbers)
      for (P<S> daysFromNow : parseOneOfFixedTokens(litciset("day from now", "days from now"), number.remaining()))
        out.add(pwt_combine(new TodayPlus(number!), number, daysFromNow));
    
    L<P<Int>> years = lazyListFromIterator(nestedIterator parseYear(codeTokens);
    print(+years);
    out.addAll(years);
    
    L<P<Weekday>> weekdays = lazyListFromIterator(nestedIterator parseWeekday(codeTokens));
    out.addAll(weekdays);
    
    L<P<Month>> months = lazyListFromIterator(nestedIterator parseMonthName(codeTokens));
    out.addAll(months);
    
    // "next <weekday>"
    for (P<Weekday> weekday : weekdays)
      for (P<S> next : parseFixedToken_before("next", weekday.start()))
        out.add(pwt_combine(new Weekday(weekday->weekday, new CurrentWeekPlus(1)), next, weekday));

    for (P<Int> year : years)
      for (P<S> slash : parseFixedToken("/", year.remaining()))
        for (P<Int> month : parseMonth(slash.remaining()))
          for (P<S> slash2 : parseFixedToken("/", month.remaining()))
            for (P<Int> day : parseDayOfMonth(slash2.remaining()))
              out.add(pwt_combine(new Day(day!, new Month(month!, new Year(year!))), year, day));
        
    ret itIt(out);
  }
  
  ItIt<P<Int>> parseNumber(ListAndIndex<S> toParse) {
    ret mapI_nonNulls(pwt_followingTokens(1, maxTokens, toParse),
      p -> isInteger(p!) ? p.withValue(parseInt(p!)) : null);
  }
  
  ItIt<P<Int>> parseYear(ListAndIndex<S> toParse) {
    ret filterI(parseNumber(toParse), p -> between(p!, 1900, 2100));
  }
  
  ItIt<P<Int>> parseMonth(ListAndIndex<S> toParse) {
    ret filterI(parseNumber(toParse), p -> between(p!, 1, 12));
  }
  
  ItIt<P<Int>> parseDayOfMonth(ListAndIndex<S> toParse) {
    ret filterI(parseNumber(toParse), p -> between(p!, 1, 31));
  }
  
  ItIt<P<S>> parseFixedToken(S token, ListAndIndex<S> toParse) {
    ret filterI(pwt_followingTokens(1, maxTokens, toParse), p -> eqic(p!, token));
  }
  
  ItIt<P<S>> parseFixedToken_before(S token, ListAndIndex<S> toParse) {
    ret filterI(pwt_precedingTokens(1, maxTokens, toParse), p -> eqic(p!, token));
  }
  
  ItIt<P<S>> parseOneOfFixedTokens(Set<S> tokens, ListAndIndex<S> toParse) {
    ret filterI(pwt_followingTokens(1, maxTokens, toParse), p -> contains(tokens, p!));
  }
  
  ItIt<P<Weekday>> parseWeekday(ListAndIndex<S> toParse) {
    ret pwt_mapI(s -> new Weekday(parseEnglishWeekday(s)), parseOneOfFixedTokens(englishWeekdays_ciSet(), toParse));
  }
  
  ItIt<P<Month>> parseMonthName(ListAndIndex<S> toParse) {
    ret pwt_mapI(s -> new Month(parseEnglishMonthName(s)), parseOneOfFixedTokens(englishMonthNames_ciSet(), toParse));
  }
}