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