\frac{A\quad A\supset B}{B}