khyab bya khyab byed kyi 'gal ba

pervasion [of the thesis gsal ba by the reason] [rtags de bsgrub bya'i chos kyi mthun phyogs sam, mi mthun phyogs gang rung dang gnyis ka la khyab par yod pa the syllogism is valid only if the reason makes a universal/necessariy statement that includes all instances of the thesis. eg vases are impermanent because they are conditioned. The reason "whatever is conditined is impermanet pervades the thesis conditioned vases, it necessarily applies to all instances of the thesis.] [IW]

pervasion [of the thesis gsal ba by the reason] [IW]

applied as the pervader [RY]