The semantic material just combines normally via superposition, as can be seen in (11), and the algorithm finishes here.
(11) Λ(V tel in an hour) = a, ¬o, time(m) ¬a, ¬o + ¬a, o, time(n), hour(m,n) in case of an aspectual clash between preposition and event description, combining the concepts leads to a contradiction at some predetermined position inside the complex situational type, as happens in (12).