============================
StreamIsInputOfUnitOperation
============================
.. rubric:: Description


A stream (hasStream) is the input stream of a unit operation (hasUnitOperation).


.. rubric:: Definition


A stream (x1) fulfills the role of input of a unit operation (x2).


.. image:: StreamIsInputOfUnitOperation.svg


::

    
    StreamIsInputOfUnitOperation(x1, x2) <-> 
        edm:ClassOfStream(x1) & 
        ClassOfActivity(x2) & 
        exists u1 exists u2 exists u3 exists u4( 
            ParticipatingRoleAndDomain(u1) &
            Cardinality(u2) &
            Cardinality(u3) &
            Role(u4) &
            MMT:ClassOfParticipationDefinition(x2, x1, u4, u1, u2, u3)) .
    

.. rubric:: Roles

1. hasStream

2. hasUnitOperation

.. rubric:: Restrictions

* Role filler of hasStream must have entity type EdmClassOfStream.

* Role filler of hasUnitOperation must have entity type ClassOfActivity.