Text this: Chronicles: Formalization of a Temporal Model