Manuscript XXII-B@1 · XXII-B.tex · section · 9d5c569c
The conditional classification route
Cone interface and hypothesis-ledger syntax › The conditional classification route · lines 758–764
The scheduler package does not furnish the combined classification hypotheses. Individual claims of independence must be proved in their declared common model universe; failure of the combined implication does not by itself prove independence of each conjunct.