Under a procedural account, 'and' encodes conjunction of propositional forms, and temporal ordering ...