(2005), we assume that final scope determination requires two elements: formulae with epsilon terms like (9) and scope statements in the form of Scope(S<x<y), where S is interpreted as some temporal index.
the scope interaction is defined from the pair scope statement, formula with an -term (or -terms) .