Agreed with all!
Martin
On 10/4/2023 12:42 PM, Schmidle, Wolfgang via Crm-sig wrote:
Dear All,
P81 "ongoing throughout" and P82 "at some time within" are strong shortcuts,
but not yet marked as such:
E52 Time-Span P81 ongoing throughout E61 Time Primitive
E52 Time-Span P86i contains E52 (De
that every path could be shortcuted.
>
> Best,
>
> C-E
>
>
> --
> *From:* Crm-sig on behalf of Schmidle,
> Wolfgang via Crm-sig
> *Sent:* 04 October 2023 11:42
> *To:* crm-sig@ics.forth.gr
> *Subject:* [Crm-sig] Issue: Completing the
: 04 October 2023 11:42
To: crm-sig@ics.forth.gr
Subject: [Crm-sig] Issue: Completing the list of shortcuts in CRMbase
Dear All,
P81 "ongoing throughout" and P82 "at some time within" are strong shortcuts,
but not yet marked as such:
E52 Time-Span P81 ongoing throughout E6
Dear All,
P81 "ongoing throughout" and P82 "at some time within" are strong shortcuts,
but not yet marked as such:
E52 Time-Span P81 ongoing throughout E61 Time Primitive
E52 Time-Span P86i contains E52 (Declarative) Time-Span P170i time is defined
by E61 Time Primitive
P81(x,y) ⇔ (∃z) [E52(z)