有人将不成对不定为四句云。有不成因非不定。即四不成。有不定因非不成。即五不定。或唯第四。俱句即第六。亦可取初及二三五四相违因。其义云何。答理全不然。所闻虽不成。而自名不定。又前自云。虽是不成。何妨不定。如不共不定等。故初句非。不共既不定。与所闻何殊。即许非不成。唯是前不定。若言所闻同非有。故得是不成。亦所闻性遍宗。何得不成摄。若言非遍宗。自教等违摄俱句。即第六所作岂不成。所闻性如前。亦非不成摄。如第四无常因。即唯不定非不成。第三亦是无常因。何故即为俱句摄。又四相违因。如立声常所作性故。岂声非有。亦俱句耶。又假问云。缺减过虽七。阙异不成过。何妨作法。具初阙后二。就理中即无。即解云。谁言阙异非过。若有不引。理是阙减。若无异滥除。亦名为具。故不相似。此亦不然。前自数立。如缘生因。阙异非过。如何今说无异滥除。亦名为具。即缘生因三相具足。破他引之为阙。自立即云具足。如何于法得自在耶
又云。谁言缺过望因三相。此亦不然。如阙同有等。岂非是过耶。故寻诸解。竟无一当。亦应更思
有人解四相违叙古人释。言显意许。为自性差别。云理恐不然。即申难云。如他用为言显。真他为意许。因为违差别。亦应有性为言显。离实大有是意许。应名差别非自相。此既不然。故彼释非者。其义如何。答此亦未详。如有法自相差别。至后当知。且此法差别。若非意许。岂言显耶。又叙旧通。如轨法师疏。即难云。五顶弟子。岂可自难实等不无之宗。令成非有也。此乃自违。何成出过者。此亦不然。本立宗云。有性为宗有法。非实等为宗法。今弟子翻难云。汝有应非有。有一实故。如同异。此岂难实等不无耶。既言非实。明离实有。难彼成非有。故不是自违。又难。若云数论他用含真假。真他受用义虽无。眼等他用宗不失者。亦应五顶有性含即离。离实之有宗虽无。即实之有宗不失。应名差别相违。非自相者。此亦不然。谁言五顶有性含即离。以五顶有唯离实等。弟子立有。唯即实等。故言有时。望自望他。俱不得含。以同异性离实等。得成非实等。以同异性不名有故。成有非有。名俱决定。彼实等虽体不无。而不名有。何故如是是宗计故。若五顶实等。亦名有者。岂成自相相违。返彼量云。有应非有。有一实等故。如同异性。同异性名有。何得成相违。诸过类知。又五顶若许有即实等有。今总成非实等。岂非自违。故知。五顶不立即实等有。三解自相差别。第三云。随应何法谈其自体性者。说名自相。即于此法所有别义者。名为差别。此解不违。古德意云。以争彼差别。必非言显。但意所许。不障自相亦有意许。通言显故。故云言陈者名自相。意所争者名差别。若云依第三解。以法有法。各有自体及以别义者。如立声无常。有部可有别体。大乘如何无常等各有别体复俱不离色等自相。何缘名体。何缘名义。何故有为之上生灭等。名有自体。常住无为不迁不灭等。即名别义
又释自性差别有三重。初二如旧。第三云。谈其自性名自相。谈其别义名差别。复云法与有法。各有自体。及以别义。既称别义。何得云有法。即差别等义属于体。应说之差别。若言即有法。故不得说之。云何言此之别义。亦有自体。既许有多义。故应依主。应可更思。若以声瓶等异为差别。不得云别义。若即声等体上有别义。不应云各有体。又云。相违有三。一自体相违。如言常非常等。二形待相违。如言真假等。三性别相违。如言色心等。又云。言诠有二。一遮。二表。如立有非有。即自体相违。第一遮诠。如言真他假他。即但表真假。不非真假。此即义别相形。名差别相违。乃至自问云。若义别相违。名差别相违者。即如论中作非有缘性。亦非有缘性之自体。应名自相。非差别也（上自问也）此问元非有缘性是别义。作非有缘性。即义相违。何名自相。若此亦名自相。自相差别。有何殊异。又论云差别。何得称自相。若云此之别义。亦有别体。既有自体。何名谈自性谈别义。又如声瓶可烧可见等。岂离声瓶。外有别体。然自解云。不然。若言非作有缘性者。即是正非有缘性之自体。论中既说作非有缘性。作非有缘性言。此乃别表缘余也。此释不然。此中为争作所缘境。为争能缘有心。若言争能缘心。自是别法。岂名有法差别。若言大有。是缘大有心境性。不是缘有心之境性。此是有法差别。今争大有。与能缘有心作境性。不作缘有心境性。因与作缘有心之境性。相违作非缘有之心境性。为因名差别相违因。何得云此乃别表缘余性。若言别表缘余性。便是难能缘心。不难有法之上差别义。又更解云。或可。不成自违。缘有之心。应非缘有心。但非有缘心。不表缘余性。故名自相非差别。今论说言。作非有缘性。虽非缘有之自体。缘余之义心不失。此即缘有缘余。是别义故。故非自相名差别。此亦不然。论云。即于前宗之上。作有缘性。即是许有是缘有。心所取境性。岂成于心能缘于有名差别。若云成缘有心。岂得云以有一实故等因。成心为能缘有即。翻彼云。缘非有如同异性。同异性岂是能缘。云缘余之义心不失耶。又解三相违中。第三性别相违。与初自体相违何别。又云。一遮诠如言非有非无非人非天无我无常等。但遮有等。不表非有之体。若尔。如立声无常。岂但遮常。不表无常之体耶。既许无常亦遮亦表。何得言非但是遮。非之与无义相似故。既许诠中亦有遮。如何得言真诠。只应言有表必遮诠。有遮非表诠。又释云。若但言非有。不言非无。即是唯遮。即自引佛地等。为难云。如来功德非有非无。自通云。般若双言方有其表者。此与唯识。亦有相违。第一中云。若言是表。应不双非。故相违也。又云。今但约自体相违。名自相相违。不据言显。岂立有时。言中不显有耶。若云元不说大有。但诠不无有。此有相符。又因同有。岂是名相违。又言既不申大有。元不立大有为有法。云何因望于彼名相违。若既言陈。如何得言不据言显
释法差别相违中自云。同无异有。方是相违。此因同有龟毛遍无何名相违。答云。此中外道。虽总言他用。意成眼等为无积他用。据此即无同。除宗已外。诸卧具等。皆不为无积他用。即为异品。因彼遍转。故是相违。此释不然。唯识论云。执我是思。受用萨埵赖阇答摩所成。大等二十三法。云何但许受用五知。不受用余。故此释非。又云。二细微共生一粗。所生子微。不越因量。裹前二细。而别有体。此亦不然。果遍在因中。非果裹父母。如唯识论辨
解有法自相中云。有人云。既违意许。应是差别。何名自相。答言有性者。意诠离实等有为有法自相。然以有法须极成故。不可别云离实等有。故虽意许。而是言显。自相宗不同作有缘性。是离实等。有差别之义。为意所许差别宗也。难云。此解不然。若以今言有性。意许离实有为有法。有法须极成。不言离实有。虽是意许。而名为言显者。亦应意诠真他用。能别须极成。不言真他用。虽是意许。而名言显。亦应是自相非差别。故约言显意许。解自相差别者。未为当理（上他叙难）今共详云。若彼大有意许离实。今言有时。不即诠彼大有者。岂诠即实等有。若诠即实等有。五顶成非实等。亦违自弟子成非有。亦自违。若非言所显。何故寻言难。又五顶不许即实等有。弟子不许离实等有。今者言中。恐有法不成。不言大有。但总云有。有言虽通。岂显即实有。设若五顶。许即实有。今言即实有。云非实等。是自违过。况复本意。争大有句。何须诠即实。以五顶不许有即实有。故言有时。即显大有句。若直言大有。有法不成。为此但言有性。泛尔言有。彼此俱成。以为有法。不须分别即离。言非实等为法。以弟子有即实。今言非实。违他顺己。故得为宗。由此故知。离实等有。虽是意许。言有之时。即言所显。离言所显有。外更无别有。不同他用离真他外。有假他用。真他他虽不成。假他他自同许。故。成真他不用眼等。假他用在不违言显。故违差别
