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

General