// doesn't LHS-curry
static BasicLogicRule parseBasicLogicRule(S s) {
  ret ai_parseBasicLogicRule(s);
}