=============
ThisIsAStream
=============
.. rubric:: Description


A stream is declared by specializing it from the 
ClassOfArrangedIndividual jord:Stream from the JORD-RDL.
Its entity type is set to be edm:class_of_stream.


.. rubric:: Definition


A stream (x1) is marked as such.


::

    
    ThisIsAStream(x1) <-> 
        edm:ClassOfStream(x1) &
        ClassOfActivity(x1) &
        exists jord:ProjecT( 
            ClassOfArrangedIndividual(jord:Stream) &
            MMT:SpecializationOfClassOfIndividual(x1, jord:Stream)) .
    

.. rubric:: Roles

1. hasThis

.. rubric:: Restrictions

One of:

* Role filler of hasThis must have entity type EdmClassOfStream.

* Role filler of hasThis must have entity type ClassOfActivity.