\frac{A\supset B(x)}{A\supset (\forall x)B(x)}