问何地所系法。有几种离系得。答欲界乃至无所有处。见修所断法皆有三种离系得。谓学无学非学非无学。非想非非想处见所断法。及前八品修所断法。皆有二种离系得。谓学无学。彼第九品修所断法。唯有一种离系得。谓无学。无学初心方初起故。问何地所系法。有几地无漏离系得。或有说者。诸离系得随断对治。彼作是说。欲界见修所断法无漏离系得。未至定摄。初静虑见修所断法。无漏离系得三地摄。第二静虑见修所断法。无漏离系得四地摄。第三静虑见修所断法。无漏离系得五地摄。第四静虑见修所断法。及无色界见所断法。无漏离系得六地摄。空无边处修所断法。无漏离系得七地摄。识无边处修所断法。无漏离系得八地摄。无所有处非想非非想处。无漏离系得九地摄。复有说者。诸离系得随坏对治。彼作是说。欲色界见修所断法。无漏离系得皆六地摄。空无边处见修所断法。无漏离系得七地摄。识无边处见修所断法。无漏离系得八地摄。无所有处非想非非想处。见修所断法。无漏离系得九地摄。有作是说。若地有法智品道。彼地有欲界见修所断法无漏离系得。若地有类智品道彼地有色无色界。见修所断法无漏离系得。彼作是说。欲界见修所断法。无漏离系得六地摄。色无色界见修所断法。无漏离系得九地摄。评曰。此中初说为善。诸离系得必由断对治力所引起故。问若以灭道法智离色无色界修所断染时。彼色无色界修所断法。无漏离系得。为法智品摄。为类智品摄耶。若法智品摄此不应理。彼法及断类智所知故。若类智品摄亦不应理。彼断及得法智所证故。有作是说。彼离系得类智品摄。问岂不彼断及得法智所证耶。答虽法智所证而类智摄。类智所知故。有余师说彼无漏离系得法智品摄。问岂不彼法及断类智所知耶。答虽类智所知而法智摄。法智所证故。评曰。此中初说为善。以类智品是彼不共决定对治故。问圣者以世俗道离诸地染时。为是曾得道未曾得道耶。有作是说。是曾得道。由此道无始时来。串习曾得今现前故。彼作是说。圣者以世俗道。离欲界修所断上上品染时。于欲界修所断上上品法。得二种离系得。一世俗得。二无漏得。世俗得是曾得。道类无漏得是圣道类。以世俗道现在前时。亦修未来无漏道故。于欲界见所断上上品法。得一种离系得。谓世俗得是曾得道类不得。无漏得先已得故。问若尔云何共对治道。转成不共对治。谓此曾得道。先时总以欲界见修所断诸法为九品断。今时此道唯断欲界修所断故。答此道犹名共对治道。以此恒有俱断力故。此见所断先已断故。今无可断非不能断。是故恒名共对治道。如离上上品。乃至离下下品亦尔。如离欲界修所断。乃至离无所有处修所断亦尔。有余师说。是未曾得道。由此道无始时来。未习未得唯圣所起故。彼作是说。圣者以世俗道。离欲界修所断上上品染时。于欲界修所断上上品法。得二种离系得。一世俗得。二无漏得。世俗得是未曾得。道类无漏得是圣道类。以世俗道现在前时。亦修未来无漏道故。于欲界见所断上上品法。不得离系得。不得世俗得者未曾得道非彼对治故。不得无漏得者先已得故如离上上品乃至离下中品亦尔。如离欲界修所断八品。离初静虑修所断八品。乃至离无所有处修所断八品亦尔。离欲界修所断。第九品解脱道时。未来修曾得未曾得二世俗道。尔时于欲界修所断法。得三种离系得。一世俗曾得得。谓曾得道类。二世俗未曾得得谓未曾得道类。三无漏得。谓圣道类于欲界见所断法。得二种离系得。除未曾得世俗得。问云何知第九解脱时。能修未来曾得未曾得二世俗道。答以说若成就现在他心智。彼定成就过去他心智故。问何故离前八品染时。修未曾得道。离第九品染解脱道时。修曾得未曾得道耶。答离染道异得地亦异。谓离染道唯未曾得。未来所修亦未曾得。若得地时现离染道虽未曾得得根本地故。通修未来曾得未曾得道。如离欲界修所断第九品。乃至离无所有处修所断第九品亦尔。评曰。应作是说。圣者以世俗道离诸地染时。应言是未曾得道。昔来未得唯圣所起故。然于未来通修曾得未曾得道。所对治同故。应作是说。圣者以世俗道。离欲界修所断上上品染时。于欲界修所断上上品法。得三种离系得。一世俗曾得得。谓曾得道类。二世俗未曾得得。谓未曾得道类。三无漏得。谓圣道类。于欲界见所断上上品法。得一种离系得。谓曾得世俗道类。不得未曾得得者。未曾得道非彼对治故。不得无漏得者。先已得故。如离上上品。乃至离下下品亦尔。如离欲界修所断。乃至离无所有处修所断亦尔。由此故说颇有不退。不得果。不转根。非见道现在前。亦非异生类。而于见所断法得离系得耶。答有。谓前所说。唯除离欲染第六九品时。
依所说义应作是说颇有离系得。得而不舍。舍而不得耶。答应作四句。有离系得。得而不舍。谓诸异生离欲界。乃至无所有处染时。及诸圣者非得果离染时。有离系得舍而不得。谓诸异生从离欲界乃至无所有处染退时。及诸圣者非失果退时。若从欲界殁生第二静虑以上时。从初静虑殁生第二静虑以上时。乃至从无所有处殁生非想非非想处时。从色无色界诸地殁生欲界时。有离系得亦得亦舍。谓进得四沙门果时。信胜解练根成见至时。退法种性阿罗汉等。练根成思法等时。从离染或种性退。若三若四沙门果时。若色无色界上地殁生下地时。有离系得非得非舍。谓除前相。问若先离欲界五品染。后入正性离生。苦法智生时。于先所断见苦所断五品法。及今所断见苦所断四品法。皆得无漏离系得乃至道法智生时。于先所断见道所断五品法。及今所断见道所断四品法。皆得无漏离系得。道类智生时。于三界见所断法皆得无漏离系得。彼先所断欲界修所断五品法。无漏离系得何时当得。尊者僧伽筏苏作如是说。道类智时得。以尔时名预流果。亦名一来向故。彼说不然。所以者何。以于尔时得预流果于一来果向道乃至未起一刹那现前。如何可说为一来向。有作是说。起一来果加行道时得。以是一来向所摄故。有余师说。得一来果时得。以住第六无间道时。能引三界见所断。及欲界修所断前六品法。无漏离系得。令起得一来果故。如是说者。从预流果决定起胜进道。彼现前时得。以从下果起趣上胜进道时。必修先所断上位诸结对治道故。问颇有一刹那顷于无漏离系得有身作证。而慧不见有慧见而身不作证乃至作四句耶。答有。谓道类智忍灭。道类智生时。应作四句。有无漏离系得。身作证而慧不见。谓欲界见所断法无漏离系得。有无漏离系得。慧见而身不作证。谓色无色界修所断法无漏离系得。有无漏离系得。身作证慧亦见。谓色无色界见所断法无漏离系得。有无漏离系得。身不作证慧亦不见。谓欲界修所断法无漏离系得。问颇有一刹那顷于信等五根。得而不舍舍而不得。乃至作四句耶。答有。谓圣者离欲界染。住最后无间道时。应作四句。得而不舍者。谓三地世俗道。二地无漏道所摄信等五根。舍而不得者。谓欲界恶作忧根俱生信等五根。亦得亦舍者。谓未至地无漏道所摄信等五根。舍无间道所摄。得解脱道所摄。非得非舍者。谓除前相。问若法过去彼得过去耶。设得过去彼法过去耶。答应作四句。有法过去。彼得非过去。谓过去有情数法。彼得在未来现在。有得过去。彼法非过去。谓过去得得未来现在有情数法。及择灭非择灭。有法过去。彼得亦过去。谓过去有情数法。彼得在过去。有法非过去。彼得亦非过去。谓未来现在得得未来现在有情数法。及择灭非择灭。如过去作四句。未来现在各作四句。如理应知。问若法在过去。彼法有过去得耶。设法有过去得。彼法在过去耶。答应作四句。有法在过去。彼法无过去得。谓过去非有情数法。有法有过去得。彼法不在过去。谓择灭非择灭。及未来现在有情数法。有过去得。有法在过去。彼法亦有过去得。谓过去有情数法。有法非在过去。彼法亦非有过去得。谓未来现在非有情数法。及虚空无为并未来现在有情数法。及择灭非择灭无过去得。如过去作四句。未来现在各作四句。如理应知。问若法不在过去。彼法无过去得耶。设法无过去得。彼法不在过去耶。答应作四句。前第二句作此第一句。前第一句作此第二句。前第四句作此第三句。前第三句作此第四句。如前应知如过去作四句未来现在各作四句。如理应知。问若法有得彼法有离系得耶。设法有离系得。彼法有得耶。答应作四句。有法有得彼法非有离系得。谓无漏有为法。及择灭非择灭。有法有离系得。彼法非有得。谓非有情数法。有法有得彼法亦有离系得。谓有漏有情数法。有法非有得。彼法亦非有离系得。谓虚空无为。问若法无得彼法无离系得耶。设法无离系得。彼法无得耶。答应作四句。前第二句作此第一句。前第一句作此第二句前第四句作此第三句。前第三句作此第四句。如前应知。
问若法应修彼法得应修耶。设法得应修彼法应修耶。答若法应修彼法得亦应修。有法得应修。彼法非应修。谓择灭。问若法应断。彼法得应断耶。设法得应断。彼法应断耶。答若法应断彼法得亦应断有法得应断。彼法非应断谓择灭。一分。及非择灭。问若法应厌。彼法得应厌耶。设法得应厌。彼法应厌耶。答若法应厌。彼法得亦应厌。有法得应厌。彼法非应厌。谓择灭一分。及非择灭。问何故诸得随所得法。成善等性而不成色等耶。答善等是诸法性类。诸法性类可相随转。色等是诸法自体。诸法自体无相随义。有说。善等是共相可随而转。色等是自相无相随义。问何故诸得随所得法定是善等。不随所得法定是过去等耶。答所得诸法行世不定故。能得得世亦不定。所得诸法善等性定故。能得得善等亦定。问诸得几识所识。几智所知。几随眠之所随增耶。答诸得一识所识。谓意识法界法处行蕴摄故。八智所知除灭智。他心智以是有为不相应故。三界五部有漏缘随眠之所随增。以于得中无相应随增故。问诸非得几识所识。几智所知。几随眠之所随增耶。答诸非得一识所识。谓意识。亦法界法处行蕴摄故。七智所知。除灭智道智他心智。以是有漏不相应故。三界修所断。及诸遍行随眠之所随增。以非得唯修所断故。问颇有舍得而不得非得耶。答有。谓入无余涅槃时。舍诸法得而不得非得所依断故。问颇有诸法先起非得。一得以去更不起非得耶。答有。谓诸非择灭。及无生智等。一得以去乃至无余涅槃前恒成就故。问颇有诸法本来有得无非得耶。有说无。以有得者必有非得故。有说。有。如三类智边世俗智等。非择灭法本来有得无有非得。以彼本来定不生故。问如有一得能得彼法及得得亦有一非得能舍彼法及非得非得耶。答无。以非得同时无非得非得故。以现在非得必成就故。问颇有法无得无非得。彼法灭有得有非得耶。答有。谓一切非有情数法。