static BasicLogicRule ai_parseIfThen(S s) {
  ret matchesToBasicLogicRule(getFlexMatchIC("if *, *", s));
}