The theories of presupposition projection that linglib formalizes, scored against recorded experiments. Every mark is the right-hand side of a theorem, reduced by Lean when this page was built; follow a mark to its theorem.
Rows are theories, columns the cells of each experiment. Where a theory is scored with a way of parsing the sentences, each column is one such way, with the number of sentences whose parse it stipulates.
As printed in the papers and recorded in Linglib/Data/Experiments.
Each step is a named declaration, so a disagreement with a verdict can be traced to the step it comes from.
A judgment as printed, with its table and page: Data..
The sentence in the fragment every theory reads: Presupposition., Presupposition..
By a rule on the shared parse, or stipulated sentence by sentence, at a counted cost: Eval..
Which contexts accept the parse; a theory without a condition for a sentence is silent on it: Eval..
A stated rule from acceptance to the judgment subjects give: Theory., Chemla2009a..
The prediction against the observation: Eval..
The statements behind the marks, as their docstrings put them.