Represent shortcut – long path properties in CRM

At the 62nd SIG meeting it became apparent that the SIG has not arrived at a uniform manner to represent that a property is a shortcut of a fully developped path. Enclosing both sets in boxes (like in Figure 2: Argumentation, Proposition Sets and E13 Attribute Assignment, in CRMinf v1.2.1, p.17) could serve like a blueprint.

HW was assigned to Martin and George to propose a suitable notation for that. 

*N.b.: in the HW will appear shortly after in this space