A method for modeling imprecise temporal aspects of discrete-event systems, extended interval temporal logic, is proposed, which is an extension of the traditional point-interval temporal logic.

针对点-时段时序逻辑的不足，提出了一种新的时段时序逻辑——扩展时段时序逻辑，对不确定时间段发生的事件具有较好的描述能力。

youdao

Hodgson missed the conversion - his first failure in six attempts - but an 11-point interval lead still looked a healthy one.

BBC: New Zealand Maori 35-28 England

Henry Paul, who switched to full-back following injury to Justin Brooker, kicked his second conversion to give Bradford a deserved eight-point interval lead.

BBC: Bulls charge Saints

Scotland international Paterson kicked two further penalties to give his side a nine-point advantage at the interval.

BBC: Edinburgh 12-7 Munster