temporal-order

Kind: predicate-type

Record: vocabulary:predicate-type-temporal-order

Canonical: Schema

A claim that one event happens before another.

Listed in Controlled vocabularies, after bound and before schema.

Predicate type of

• state-correctness
• protocol-correctness

Linked from

• The test surfaces