 As in the Leibniz-theory we should not necessarily assume that all maximal linear subsets in the branching time structure should be taken into account as chronicles in the semantics. It may be reasonable to assume various restrictions regarding the set of chronicles and its use in the semantical model. In fact, it has turned out to be interesting to consider the possibilities of modifying the definition of \(C(t)\) used in (f) of the \(Ock\) definition in section 5.1.