code: def parse_definite_clause(s):
      "Return the antecedents and the consequent of a definite clause."
      assert is_definite_clause(s)
      if is_symbol(s.op):
          return [], s
      else:
          antecedent, consequent = s.args
          return conjuncts(antecedent), consequenf parse_definite_clause(s):
      "Return the antecedents and the consequent of a definite clause."
      assert is_definite_clause(s)
      if is_symbol(s.op):
          return [], s
      else:
          antecedent, consequent = s.args
          return conjuncts(antecedent), consequent
docs: Return the antecedents and the consequent of a definite clause.