大乘入道次第開決 1.193

1.193

而猶未能除空有相者。謂前三位觀二取無皆作假有實無行見。故世第一雙印二空。亦得假有實無觀智。假有即是依他起性。此即有相。實無即是遍計所執。此名無相。證真理時二相皆滅。故世第一未證真也。

"Yet still unable to eliminate the marks of emptiness and existence" means: the previous three stages contemplate the non-existence of the two graspers, all forming the practice and view of conventional existence and substantial non-existence; hence, the worldly supreme dharmas doubly confirm the two emptinesses and also obtain the contemplative wisdom of conventional existence and substantial non-existence. Conventional existence is the dependent nature (paratantra-svabhāva), which is the mark of existence; substantial non-existence is the imagined nature (parikalpita-svabhāva), which is called the mark of non-existence. When realizing the true principle, both marks are extinguished; hence, the worldly supreme dharmas have not yet realized truth.