If 'x is F at t' is primitive and irreducible, attributing successive properties to the whole event ...