论云。故契经说至虚空显了 述曰。此下叙引证也。即引圣言以证虚空实有常住也。初引经文。后释经义。即引经文即引成立世界经也。彼经云。比丘白佛一切草木依何而住。佛言。依大地而住。比丘白佛。大地依何。佛言。依金刚轮。比丘白佛。金刚轮依何。佛言。依水轮。比丘白佛。水轮依何。佛言。依风轮。比丘白佛。风轮依何。佛言。依虚空。比丘白佛。虚空依何。佛言。汝问太过。言虚空者无色无见无对。当何所依。然藉光明虚空显了。今又存略不具引也。无色者无青黄等色处也。无见者既无有色不可见也。无对者无十色处相对碍也。夫有色有见有对碍物可有所依 空既无色无见无对。当何所依也。既言虚空无所依。止恐人便即谓无虚空。所以复言然藉光明虚空显了。谓若无虚空总是障碍光明等色则不得生。今既得生。知空是有。非但因空生彼光明色等。亦因光明色等知有虚空。此则空望光明是其生因。光明望空是了因也
论云。此经义说至因光明显 述曰。此下释经义也。文有三。一以文显意有。二以果显因有。三以用显体有。此即以文显其经意。所说常空是实有也
论云。或有疑难至应无体相 述曰。此下以果显因有也。佛恐有人疑难云。佛既不说虚空别有所依。如风轮等依虚空等。如是虚空应无体相也。虚空是无（宗）无所依故（因）诸无所依者皆悉是无如兔角等（同喻）若非是无即有所依如风轮等（异喻）
论云。为释此难光明等色 述曰。此为释也。释此疑难故说虚空容受有对光明等色。光明等色若无便不知虚空等色是有
论云。以果显因有实体相 述曰。此显意也。世尊为此则以光明果显虚空因有实体相也
论云。又说虚空至能作所依 述曰。此以用显体有也。虚空实有（宗）能作所依故（因）如风轮等（喻）
论云。此亦不然非经义故 述曰。此下非破也。初总非。后别破。此总非也。汝向释经并乖圣旨故不然也
论云。若谓虚空至如龟毛等 述曰。此下别破也。有三。一破以果显因有。二破约用显体有。三破以文显意空有。此即破以果显因有也。虚空之体应有生灭（宗）是有果法故（因）如色心等（喻）生灭既随。体则无常。汝等何故妄执空常。若汝执空无生灭者。汝所执空应无体相（宗）无生灭故（因）如龟毛等（喻）
论云。为显风轮至故作是说 述曰。此破约用显体有也。泛明轮依有其三种。一同聚依。谓同时极微相持为依。二同类依。谓前后自类相望为依。三异类依。谓轮依风异类为依。今此经意为显风轮离前念同类。况在二依之外无别第三异类所依。如地轮等依风轮等。所以经说风轮依空。空者无也。此言风轮空无异类所依故言风轮依空。非谓别有虚空之体为风轮依也。依者但遮风轮异类所依。不遮风轮前念同类生起所依。现在同聚生起所依。故作是说也。外人以彼虚空能为风轮作所依用证其体有。今论主释云。空者无也。风轮依空即无所依。所依体无用亦非有。何得以用而显体耶。此即随一不成过也
论云。为显虚空至非常住体相 述曰。此下破以文显意有也。论主云。小乘之人不了经旨遂妄解释显有常空我。今释此经正意显常空无也。经文有五句。初释上三句明虚空实无。后释下两句明虚空假有。释上三句中。初顺显经意。次引经帖成后反显经理。此即顺显经意也。为显虚空无同聚同类异类三种生起所依。如过去等无三种依。故无别实有常住体相也。此比量云。所执常空无实体相（宗）无所依故（因）诸无所依者皆无实体相如过去等（同喻）若有实体相即有所依如色受等（异喻）
论云。故复经说至当何所依 述曰。此引经帖成也
论云。不见实有至生起所依 述曰。此反证经理也。不见实有而无所依。空无所依明非实有。或可此文即是前量异法喻也
论云。又显虚空至实有体相 述曰。此下释经下两句明虚空假有也。有四。一正释经文。二通经妨难。三执实违经。四立假无过。此即正释经文也。文中初顺释经意。次引经帖成。后遮其外执。世俗谛中有通假实。如色等四尘即是实有。于四尘上建立瓶等即是假有。光明等色既是色尘二是实有。于光明等上建立虚空故是假有。然青等实色及与假立虚空。俱言藉诸光明而显了者。若光明了青等。青等先自有。光明但为眼识作见缘。不由光明立青等故青等是实有。若光明了虚空。虚空本自无。光明但为意识作知缘。于上假立虚空性。故虚空是假有。论主云。今经为显虚空因光明等。诸无碍色依世俗谛强假施设立有虚空。譬如因色等四尘假立瓶等。故经说言。然藉光明虚空显了。非谓同彼青等实色为光明显而是实有。此则显了虽通。有实有假。不可依此。因光明显即设虚空。离光明等实体相也
论云。虽因影闇至假立虚空 述曰。此下通经妨难也。初通影闇显空难。后通佛说无空难。此通初难也。外人伏难言。若论主言。虚空无体依光明等无碍色上假立虚空。故经说言。然藉光明虚空显了者。影闇等色亦是无碍。依影闇上应立虚空。何故不言然藉影闇虚空显了。论主通言。虽因影闇无碍色上得立虚空。然影闇中眼有影闇隔碍。虽见所余障碍之物而不明了。或有影闇之色极大重时。眼唯见此极重影闇。更不见余有障碍色。既不能了余有碍物。焉了影闇是无碍耶。故经不说然藉影闇虚空显了。于光明等无碍色中眼无障碍。对余碍色见光明无障显现。即便依此光明等上假立虚空。故经说言然藉光明虚空显了
论云。勿谤虚空至无有虚空 述曰。此通佛说无空难也。外人难言。若此虚空实无体者。佛应直说无有虚空。何须说言无色无见无对无依然藉光明虚空显了耶。论主通言。世俗说有。佛亦说有。世俗说无。佛亦说无。一切世间皆云虚空。佛若言无便违世俗。故随世俗言无色等依光明显假立虚空。非谓此言别显实有常住虚空
论云。又若虚空至无对无依 述曰。此明执实违经也。文中初破执实。后显违经。汝云所执常有虚空应当有色有见对有依（宗）藉诸光明而显了故（因）犹如青等色（喻）此破执实。既有色等。何故经说无色等耶。此显违经
论云。世俗假有至不相应故 述曰。此立假无过也。若于光明无碍色上假立虚空。即无虚空有色等过。以所立空顺无碍色与质碍色义不应故。其无碍色虽顺虚空。然是有色等。虚空自是无色等。以假实殊义用别故
论云。又此虚空至之所了知 述曰。此下正生下颂也。初明虚空唯散心知。后明散心不缘实境。此即初也。汝宗虚空四谛不摄。十智之中非九智知。谓非苦集灭道法。非尽及无生八无漏智现量境界。既非心法亦非他心现量境界。唯为世俗一智所知。于世俗智中有定有散。汝必应许唯分别散心所缘之境。非是定心现量境也。若外人言空处等至缘于虚空即是定心现量境者。此中文意立量破云。汝所执空非定心境（宗）四谛不摄故（因）如非择灭（喻）
论云。除五识身至缘实有境 述曰。此明散心不缘实境也。于散心意识中。有是现量。有非现量。五识所引。或邻次意识。或同时意识。诸部论师有许是现量。故今除之唯取其余散心意识。言有漏者简无漏。不定者简定心。外门者简自证分。分别意识者简五识。即正指有法体也。谓除五识身所引意识其余有漏不定外门分别意识（有法）决定不能缘实有境（宗法）除五识身所引意识其余有漏不定外门分别意识之所摄故（因也）如缘兔角龟毛等心（同喻）
论云。故说颂曰至亦不见此义 述曰。此举颂也。诸有智慧之人依世间真正道理寻求推度。亦不见此实有常住虚空之义
论云。论曰诸有至种种影像 述曰。此解释也。文中初明实无后明假有
论云。复次为破至故说颂曰 述曰。此下二十颂别指破常也。有六。第一一颂破虚空。第二三颂破常时。第三一颂破自然。第四两颂破常因。第五七颂破极微。第六六颂破涅槃。第一一颂破虚空中。初生起。次举颂。后解释。此生起也。小乘外道立宗云空等是常。立因云由遍满故。此无同喻。今论主为破彼执故说此颂
论云。非唯有一分至各别有有分 述曰。此举颂也。上半正破。下半结破
论云。论曰时方至故名有分 述曰。此下解释也。初释颂文。次结过失。后破救义。释颂文中。初释分有分。次别释上半颂。后别释下半颂。此总释分有分也。时谓三世四时。方谓东西等十方。物谓内外色心等物。类谓时方及物各有流类也。差别谓自类中种种不同也。如此时方物类差别不同故名为分。虚空体一遍合多分故名有分。如人有子谓之有子。子但名子。母名有子也
论云。非有一分至周遍相应 述曰。此下释上半颂即正破也。初须责后例破。此须责也。论主责云。非一空体常遍实有名为有分。能与一切时方物类一一别分周遍相应。此中应总作比量云。有分虚空成无量分（宗）与无量分不相离故（因）犹如诸分（喻）又应别作比量言。春时一分所合虚空（有分）与秋等时分必无合义（宗）与春时分不相离故（因）如春时分（喻）余时方等唯作可知
论云。勿复令此至一切相应 述曰。此例破也。汝若固执一有分空与一切分遍相应者。即复令此所相应分一一遍与一切相应也。谓一一诸分应成有分（宗）与有分空不相离故（因）如有分空（喻）又应别作此比量。谓春时一分与余三时应不相离（宗）与有分空不相离故（因）如有空分（喻）余时方等唯此应作之
论云。故此有分至成无量分 述曰。此释下半颂即结破也。初结后释。此结也。由随诸分故此有分成无量分
论云。即此诸分至成余物类 述曰。此释也。即此虚空既成多分。一一别分自名虚空。更不待余时方物类名虚空也。或余物类者。即神我等诸名字也。若一一别分名为虚空及名神我等者。即违汝宗空及我等是遍是常也。或可释云。即此多分虚空但随自所依立名。不待余时方立名也。如与春时合空但依春时无障碍义以立其名。更不待余秋冬等时分立其名也。余时方等亦尔。此既虚空随自所依各别立名。故知虚空成无量分也。或余物类者。非但于时此方物上无障碍义说名虚空。亦于时方物上毕竟无义说名龟毛兔角。然兔之与角。龟之与毛并是物类故言物类。然角不在兔。毛不在龟故。兔角龟毛表其无义也。此则虚空兔角并是约义立名。不可依名执有实体。问。虚空许假有不可谤言无。兔角本表无。何得引来类。答。约义有无异。虚空兔角殊。穷体并皆无。故得引为例
论云。故汝所执至因义不成 述曰。此结过失也。故汝所立虚空常住以遍满为因。此不成也。以此虚空成无量分非遍满故。即是随一不成过失
论云。若言空等至此亦不然 述曰。此下破救义也。初牒救总非。后以理逐破。此牒救总非也。若汝救言。空等体一遍周法界。然由分别之心随其诸分差别假说虚空有其方分。然虚空体实无方分故。遍满因无不成过者。此不然也
论云。实无方分不离如前所说过故 述曰。此下以理逐破也。有四。一同前过失破二显因相违破。三别立比量破。四宗因不成破。此同前过失破也。空等既无实无方分。遍一切分随所遍分成无量分。如此等过汝不离也
论云。瓶等亦应至与义相违 述曰。此显因相违破也。依第一义瓶等之应实无方分（宗）假立方分故（因）如虚空等（喻）瓶等既其实无方分。便同空等有遍满因。汝立空常竟无同品。但以瓶等为其异品。此遍满因无同可有于异有之。四相违中违法自相也
论云。又虚空等至境界而立 述曰。此别立比量破也。初两句有法。次两句宗法。次两句立因。次四句同喻。后四句显意。显意云。此虚空等名言之声。唯依世俗所知境界和合法上而假建立。不可依此假立名言即执所诠空等以为实有
论云。又若可说至所依不成 述曰。此宗因不成破也。空等（有法）非常（宗法）非遍（宗法）非实有。虚空等性（宗法）可说有方分故（因）犹如青等（喻）外人宗云空等是遍。因云可说有方分故。今论主即以此因在于异品青等之上。反破外人成相违过。谓空等非常是法差别相违。空等非遍是法自相相违。空等非实有空等是有法自相相违。然以前文已作相违因难。今此但约宗因显不成过。虚空等性既非常遍。即是所立一分能别不成。又此空等既非实有。虚空等性此即可说有方分因无所依处。即是能立所依不成
论云。复次或有至知实有时 述曰。此下三颂破常时。初一颂破时作用。即约用随缘缘转破。第二一颂破时功能。即约因不离果破。第三一颂破时常住。即约因必变异破。第一破时作用中。初生起。次举颂。后解释。生起中初叙外执情。后明颂所为。叙执情中。证时有。后立时常。此证时有也。或有执时真实常住者。此立宗也。以见种等至随其荣瘁者。此立因也。此所说因至如实有时者。此立喻也。此文意云。时体实有。以现见种子水土人功众缘和合。然于春时即生。秋时不生。故知其时有卷舒作用。谓于春时有舒作用故。种子缘合则生令枝条荣茂。秋时有卷作用。虽种等缘合则不生令枝条枯瘁。此所说因具有离合者。离即异喻。合即同喻也。此比量云。时体实有（宗）有作用故（因）诸有作用悉皆实有犹如色等（同喻）若非实有即无作用如龟毛等（异喻）
