What does it mean by the judgment $\gamma \vdash_\mathcal{r} k$, where $\gamma$ is a finite set of basic judgments, $k$ is a basic judgment and $\mathcal{r}$ is a set of rules?

General