derivation

Proof nodes of a computed answer: takes a materialized document and an identifier, and returns the proof-graph nodes with that identifier or that conclusion. Reads the ready answer document; it never evaluates anything itself. Grounds are quoted, not recomputed.

Arity

Takes 2 arguments on the materialized layer.