 The idea can be introduced in terms of Prior’s Ockhamistic model. As mentioned above any maximally ordered linear subset in (TIME,\(\le)\) will be accepted as a chronicle in the Ockhamistic model. However, in the Leibnizian model only some of these subsets will be accepted as chronicles, although the union of all chronicles will still be the full set TIME, i.e., any moment will belong to at least one Leibnizian chronicle. The set of “parallel lines” in the system may just be a subset of the set of all chronicles considered in the Ockhamistic model. Formally, each temporal moment in the Leibnizian semantics corresponds to a pair of a moment of time, \(m\), and a chronicle, \(c\), with \(m \in c\). This means that any Leibnizian time can be written as a structured formal object \(\temp(m,c)\), where \(m \in c\). The Leibnizian valuation function can be defined in terms of Prior’s Ockhamistic model in the following way: