]> <_clauses> <_head> <_opr> <_arg> <_body> <_arg> <_opr> <_arg> <_opr> <_arg>