Reporting Options
- Variable binding matrix -- useful for application access to data.
- Closure (graph in, graph out) -- can chain effects.
- Combination of the two, runs into practical trade-offs.
- Proofs (distinct from minimal graph construction).
- Context (where did this triple come from).