static L<ParseResult1> parseResultsByNumberOfAssumptions(Collection<ParseResult1> l) {
  ret sortedByComparator(l, new Comparator<ParseResult1>() {
    public int compare(ParseResult1 a, ParseResult1 b) {
      ret cmp(l(a.assumptions), l(b.assumptions));
    }
  });
}