Paths

3 pages in this book.

Page	What it is for
Who produces and who reads a predicate	Two questions answer most investigations into a model: which rules conclude a predicate, and which bodies mention it. The first query lists the heads with their strength and anchors; the second lists the body uses outside heads, across packages when the scope is a glob.
Norms with an open window	A missing deadline is an open window: the goal interval ends in infinity rather than a date. The first query lists exactly those norms; the second lists the closed ones for contrast, with their dates.
Why an answer is empty	An empty answer is still an answer document: the funnel names the clause after which no rows were left. The query below matches nothing, and the funnel says exactly where the rows ran out.