Transforms binds around the empty BGP or around a VALUES to be a VALUES itself.
Only a ground term: a VALUES row holds terms, so BIND(?o AS ?s) - which the assertion pushdown emits
for every variable it unified away - would turn into the nonsense VALUES ?s { ?o }.
Transforms binds around the empty BGP or around a VALUES to be a VALUES itself.
Only a ground term: a VALUES row holds terms, so
BIND(?o AS ?s)- which the assertion pushdown emits for every variable it unified away - would turn into the nonsenseVALUES ?s { ?o }.