The three positions a triple term construction builds its value out of.
All three are a TransferSource, although only an object can hold a triple term: this says what
the BIND wrote, not what a value can be, and reading TRIPLE(TRIPLE(?a, ?b, ?c), ?p, ?o) as the
construction it is, is what lets the positional range refuse it and prove the operation empty.
The three positions a triple term construction builds its value out of.
All three are a TransferSource, although only an object can hold a triple term: this says what the BIND wrote, not what a value can be, and reading
TRIPLE(TRIPLE(?a, ?b, ?c), ?p, ?o)as the construction it is, is what lets the positional range refuse it and prove the operation empty.