Inductive conclusion

$$\displaystyle\frac{a_1\ J \ \dots \ a_k\ J}{a\ J}$$

we typically need to show:

$$\displaystyle\frac{\mathcal{P}(a_1)\ \dots\ \mathcal{P}(a_k)}{\mathcal{P}(a)}$$

In this case, the Instance of the judgment form $\mathcal{P}(a)$ is the inductive conclusion.