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