First order definite rule

A first order definite clause can be represented as a first order definite rule:

$$\forall x_1\dots \forall x_n\neg A_1\wedge \dots \wedge \neg A_m\to A$$

And we can drop conjunctions for commands:

$$\forall x_1\dots \forall x_n\neg A_1,\dots ,\neg A_m\to A$$