Declare_QuarterlyReports.xml

<?xml version="1.0" encoding="UTF-8" standalone="no"?><model><assignment language="ConDec" name="new model"><activitydefinitions><activity id="1" name="First_activity_report"><authorization/><datamodel/></activity><activity id="2" name="Second_activity_report"><authorization/><datamodel/></activity><activity id="3" name="Third_activity_report"><authorization/><datamodel/></activity><activity id="4" name="Fourth_activity_report"><authorization/><datamodel/></activity></activitydefinitions><constraintdefinitions><constraint id="5" mandatory="true"><condition>(CTE_Year &lt; 2 &amp;&amp; Company_Type == "CTE") || (Company_Type == "NONCTE" &amp;&amp; Qtr_Counter &lt; ASX_Mandated_Qtrs) || (Company_Type == "Mining_Explore")</condition><name>chain precedence</name><template><description>B can be executed only directly after A.</description><display/><name>chain precedence</name><text>[]( ( X( "B.started" ) -&gt; "A") )</text><parameters><parameter branchable="true" id="1" name="A"><graphical><style number="3"/><begin fill="false" style="0"/><middle fill="false" style="0"/><end fill="false" style="0"/></graphical></parameter><parameter branchable="true" id="2" name="B"><graphical><style number="3"/><begin fill="true" style="10"/><middle fill="false" style="0"/><end fill="false" style="0"/></graphical></parameter></parameters><statemessages><message state="VIOLATED">VIOLATED undefined</message><message state="SATISFIED">SATISFIED undefined</message><message state="VIOLATED_TEMPORARY">VIOLATED_TEMPORARY undefined</message></statemessages></template><constraintparameters><parameter templateparameter="1"><branches><branch name="Fourth_activity_report"/></branches></parameter><parameter templateparameter="2"><branches><branch name="First_activity_report"/></branches></parameter></constraintparameters></constraint><constraint id="6" mandatory="false"><level><group id="1"><name>HOSPITAL POLICY</name><description>Rules defined in the hospital internally.</description></group><priority>1</priority><message/></level><condition>Company_Type == "NONCTE" &amp;&amp; Qtr_Counter &lt; ASX_Mandated_Qtrs</condition><name>alternate precedence</name><template><description>B cannot happen before A. After it happens, it can not happen before the next A again.</description><display/><name>alternate precedence</name><text>(  ( !( ( (  "B.started" \/  "B.completed" ) \/ "B.cancelled" ) ) W "A" )   /\ [] ( ( "B" -&gt;  X(  ( !(  ( (  "B.started" \/  "B.completed" ) \/ "B.cancelled" ) ) W "A" )  ) ) ) )</text><parameters><parameter branchable="true" id="1" name="A"><graphical><style number="2"/><begin fill="true" style="0"/><middle fill="false" style="0"/><end fill="false" style="0"/></graphical></parameter><parameter branchable="true" id="2" name="B"><graphical><style number="2"/><begin fill="true" style="10"/><middle fill="false" style="0"/><end fill="false" style="0"/></graphical></parameter></parameters><statemessages><message state="VIOLATED">VIOLATED undefined</message><message state="SATISFIED">SATISFIED undefined</message><message state="VIOLATED_TEMPORARY">VIOLATED_TEMPORARY undefined</message></statemessages></template><constraintparameters><parameter templateparameter="1"><branches><branch name="First_activity_report"/></branches></parameter><parameter templateparameter="2"><branches><branch name="Second_activity_report"/></branches></parameter></constraintparameters></constraint><constraint id="7" mandatory="true"><condition>Company_Type == "CTE" || Company_Type == "Mining_Explore"</condition><name>precedence</name><template><description>&lt;b&gt;Second_activity_report&lt;/b&gt; has to be preceded by &lt;b&gt;First_activity_report&lt;/b&gt;. &lt;b&gt;Second_activity_report&lt;/b&gt; can happen only after &lt;b&gt;First_activity_report&lt;/b&gt; had happened.</description><display/><name>precedence</name><text> ( ! ((( "B.started" \/ "B.completed") \/ "B.cancelled" )) W "A" ) </text><parameters><parameter branchable="true" id="1" name="A"><graphical><style number="1"/><begin fill="true" style="0"/><middle fill="false" style="0"/><end fill="false" style="0"/></graphical></parameter><parameter branchable="true" id="2" name="B"><graphical><style number="1"/><begin fill="true" style="10"/><middle fill="false" style="0"/><end fill="false" style="0"/></graphical></parameter></parameters><statemessages><message state="VIOLATED">&lt;html&gt;This constraint is violated because task &amp;quot;B&amp;quot; was executed before task &amp;quot;A&amp;quot;.&lt;/html&gt;</message><message state="SATISFIED">&lt;html&gt;This constraint is satisfied because either: 
&lt;ul&gt;
&lt;li&gt;task &amp;quot;B&amp;quot; was never executed, or&lt;/li&gt;
&lt;li&gt;first task &amp;quot;A&amp;quot; was executed, and then task &amp;quot;B&amp;quot; was executed. &lt;/li&gt;
&lt;/ul&gt;&lt;/html&gt;</message><message state="VIOLATED_TEMPORARY">&lt;html&gt;This should never happen!&lt;/html&gt;</message></statemessages></template><constraintparameters><parameter templateparameter="1"><branches><branch name="First_activity_report"/></branches></parameter><parameter templateparameter="2"><branches><branch name="Second_activity_report"/></branches></parameter></constraintparameters></constraint>