俱舍論疏 2.17

2.17

論「若法境界有對至眼等五根」，第二順後句。以寬問狹，順後句答。若是所緣有對，定是境有對故。所緣障礙，體不相關，所以不合作句。

The treatise says: "If a phenomenon has objective opposition... the five faculties of the eye and so forth." This is the second part, the subsequent-affirming proposition. Questioning the broad with the narrow is answered by the subsequent-affirming proposition. This is because if something has cognitive opposition, it definitely has objective opposition. Cognitive opposition and obstructive opposition are unrelated in substance, which is why they do not form a tetralemma.