def parse_definite_clause(s):
assert is_definite_clause(s)<EOL>if is_symbol(s.op):<EOL><INDENT>return [], s<EOL><DEDENT>else:<EOL><INDENT>antecedent, consequent = s.args<EOL>return conjuncts(antecedent), consequent<EOL><DEDENT>
Return the antecedents and the consequent of a definite clause.