俱舍論記 1.82

1.82

「擇謂簡擇至故作是說」者，釋擇滅名。謂無漏慧異有漏慧名慧差別，或無染異染名慧差別，此差別慧各別簡擇四聖諦故。滅體先有，但不成就，由擇力所得名為擇滅，略力所得但言擇滅。擇之滅故，名為擇滅，依主釋也。如牛所駕車名曰牛車，略所駕中言，故作是說。擇滅亦爾。

Regarding the passage from "Deliberation means discernment" up to "therefore it is so stated": this explains the name "cessation through deliberation". That is, anāsrava wisdom being different from sāsrava wisdom is called a distinction in wisdom, or undefiled being different from defiled is called a distinction in wisdom, because this distinct wisdom separately discerns the four noble truths. The essence of cessation exists prior, but is simply not possessed; because it is attained through the power of deliberation, it is called cessation through deliberation—omitting "power" and "attained", it is called simply cessation through deliberation. Because it is the cessation of deliberation, it is called cessation through deliberation; this is a genitive tatpuruṣa compound (ṣaṣṭhī-tatpuruṣa). Just as a cart drawn by an ox is called an "ox-cart", omitting the word "drawn" in the middle, it is therefore spoken of in this way. Cessation through deliberation is also like this.