================
ThisIsAnActivity
================
.. rubric:: Description


An activity (ACT) is declared.


.. rubric:: Definition


An activity (x1) is marked as such.


::

    
    ThisIsAnActivity(x1) <-> 
        Activity(x1) .
    

.. rubric:: Roles

1. hasThis

.. rubric:: Restrictions

Role filler of hasThis must have entity type Activity.