static BasicLogicRule<S> matchesToBasicLogicRule(Matches m) {
  ret listToBasicLogicRule(matchesToList(m));
}