Order holds within one series

This page is generated from the code and must not be edited by hand.

Not available in this version. Files are put in order only when they already belong to one series under the same condition.

order_holds_within_one_series version 1

• Kind of rule: Limits every conclusion keeps to (constraint). Limits what any conclusion may say, by naming what cannot be true together.

• What it limits: succeeds

• Reasoning: entailed. A conclusion cannot be wrong if what it read is right.

• What it reads: one file at a time

Is it available in this version?

Not available in this version. Its test is declared and not written yet, so it refuses nothing.

What would defeat it

Nothing. An entailed conclusion cannot be wrong if what it read is right.

Parameters

Parameter	Shipped value	May be	What it does
series_equivalence	"experimental_condition"	text	The respect whose equivalence classes are the series. Naming it is what keeps transitivity honest: the second replicate of one condition does not come after the first replicate of another.