             Context :                        Context :                     Context_pb
              System :                        ASystem :                        ASystem
           Component :                     AComponent :                         Type_5
           Component :                     AComponent :                       APrinter
           Component :                     AComponent :                   ACard_reader
           Component :                     AComponent :                     Ideal_pipe
           Component :                     AComponent :                     AComponent
          Connection :                    AConnection :                    AConnection
