Notes from the workbench

Why ShrikeDB?

Three practical arguments about hard queries: match the work to the answer, keep inference attached to evidence, and make source semantics explicit before the first large run.