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

General