Inference is fully constituted by the logical relation between vyāpti (pervasion) and pakṣadharmatā ...