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) ∧ P86i(x,z) ∧ P170i(z,y)] E52 Time-Span P82 at some time within E61 Time Primitive E52 Time-Span P86 falls within E52 (Declarative) Time-Span P170i time is defined by E61 Time Primitive P82(x,y) ⇔ (∃z) [E52(z) ∧ P86(x,z) ∧ P170i(z,y)] Christian-Emil suggested opening an issue for completing the list of shortcuts in CRMbase, and to create a separate issue for the extensions whenever necessary. Best, Wolfgang _______________________________________________ Crm-sig mailing list Crm-sig@ics.forth.gr http://lists.ics.forth.gr/mailman/listinfo/crm-sig