(Deep-)Nested negative surfaces do not share blank nodes? https://lists.w3.org/Archives/Public/public-rdfsurfaces/2023Aug/0000.html RDF-surfaceでforall X. A(X) —> exists Y. (B(Y, X) / forall Z. C(X, Z) —> D(Y, Z))という式を表現しようとすると多重入れ子の否定サーフィスになるようだがどうなのだろうという問いかけ。踏み込んだ例題としてスレッドで議論が