static L<BasicLogicRule<S>> parseLogicRules_tlft(S s) {
  ret lambdaMap ai_parseLogicRule(tlft(s));
}