 To obtain a metric version of the Ockhamist system, a duration function has to be added. Let \(\dur(t_1,t_2,x)\) stand for the statement ‘\(t_1\) is \(x\) time units before \(t_2\)’. Using this formalism, (d) and (e) are replaced by: