Class STREAM-JUNCTION

Slots on this class:

Documentation: a junction between streams
Instance-Of: Class
Subclass-Of: Entity, Junction
Arity: 1
Range-Of:
Blr-tbn-junction, Chtr-sgen-junction, Chtr-trp-junction, Cnd-pmp-junction, Cnd-pmp1-junction, Cp-junction, Ohtr-pmp2-junction, Pmp-blr-junction, Pmp-sgen-junction, Pmp1-ohtr-junction, Pmp2-chtr-junction, Sgen-tbn1-junction, Sgen-tbn2-junction, Sgen-xtbn1-junction, Sgen-xtbn2-junction, Tbn-cnd-junction, Tbn1-sgen-junction, Tbn2-cnd-junction, Trp-ohtr-junction, Xtbn1-chtr-junction, Xtbn1-sgen-junction, Xtbn2-cnd-junction, Xtbn2-ohtr-junction

Axioms:

(Forall (?Self ?Time)
        (=> (Active ?Time Stream-Junction ?Self)
            (And (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Mass-Rate ?Terminal ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Stream-Pressure ?Terminal ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Specific-Enthalpy ?Terminal
                                                         ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Specific-Entropy ?Terminal ?X))))
                 (All= ?Time
                       (Setofall 
                           ?X
                           (And (Connected-Terminals ?Self ?Terminal)
                                (Specific-Internal-Energy ?Terminal
                                                          ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Stream-Temperature ?Terminal
                                                          ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Quality ?Terminal ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Specific-Volume ?Terminal ?X)))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time Stream-Junction ?Self)
             (And (Stream-Junction ?Self)
                  (Active ?Time Junction ?Self))))

Other Related Axioms:

(Forall (?Self ?Time)
        (=> (Active ?Time Stream-Junction ?Self)
            (And (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Mass-Rate ?Terminal ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Stream-Pressure ?Terminal ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Specific-Enthalpy ?Terminal
                                                         ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Specific-Entropy ?Terminal ?X))))
                 (All= ?Time
                       (Setofall 
                           ?X
                           (And (Connected-Terminals ?Self ?Terminal)
                                (Specific-Internal-Energy ?Terminal
                                                          ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Stream-Temperature ?Terminal
                                                          ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Quality ?Terminal ?X))))
                 (All= ?Time
                       (Setofall ?X
                                 (And (Connected-Terminals ?Self
                                                           ?Terminal)
                                      (Specific-Volume ?Terminal ?X)))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time Stream-Junction ?Self)
             (And (Stream-Junction ?Self)
                  (Active ?Time Junction ?Self))))

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-Eight-One
                       Pmp-Blr-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-Eight-One
                       Tbn-Cnd-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-Eight-One
                       Blr-Tbn-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-Eight-One
                       Cnd-Pmp-Junction
                       Stream-Junction)

(=> (Power-System-Eight-One ?Self)
    (And (Value-Cardinality ?Self Blr-System 1)
         (Value-Type ?Self Blr-System Boiler-System)
         (Value-Cardinality ?Self Blr-System 1)
         (Value-Cardinality ?Self Tbn-System 1)
         (Value-Type ?Self Tbn-System Turbine-System)
         (Value-Cardinality ?Self Tbn-System 1)
         (Value-Cardinality ?Self Cdnsr-System 1)
         (Value-Type ?Self Cdnsr-System Condensor-System)
         (Value-Cardinality ?Self Cdnsr-System 1)
         (Value-Cardinality ?Self Pmp-System 1)
         (Value-Type ?Self Pmp-System Pump-System)
         (Value-Cardinality ?Self Pmp-System 1)
         (Value-Cardinality ?Self Cnd-Pmp-Junction 1)
         (Value-Type ?Self Cnd-Pmp-Junction Stream-Junction)
         (Value-Cardinality ?Self Cnd-Pmp-Junction 1)
         (Value-Cardinality ?Self Blr-Tbn-Junction 1)
         (Value-Type ?Self Blr-Tbn-Junction Stream-Junction)
         (Value-Cardinality ?Self Blr-Tbn-Junction 1)
         (Value-Cardinality ?Self Tbn-Cnd-Junction 1)
         (Value-Type ?Self Tbn-Cnd-Junction Stream-Junction)
         (Value-Cardinality ?Self Tbn-Cnd-Junction 1)
         (Value-Cardinality ?Self Pmp-Blr-Junction 1)
         (Value-Type ?Self Pmp-Blr-Junction Stream-Junction)
         (Value-Cardinality ?Self Pmp-Blr-Junction 1)
         (Value-Cardinality ?Self Working-Fluid-In-Cycle 1)
         (Value-Type ?Self Working-Fluid-In-Cycle Water)
         (Value-Cardinality ?Self Working-Fluid-In-Cycle 1)
         (Connected-Terminals (Blr-Tbn-Junction ?Self)
                              (Outlet-Stream (Blr-Cv (Blr-System ?Self))))
         (Connected-Terminals (Blr-Tbn-Junction ?Self)
                              (Inlet-Stream (Tbn-Cv (Tbn-System ?Self))))
         (Connected-Terminals (Tbn-Cnd-Junction ?Self)
                              (Outlet-Stream (Tbn-Cv (Tbn-System ?Self))))
         (Connected-Terminals (Tbn-Cnd-Junction ?Self)
                              (Inlet-Stream (Hf-Cv (Cdnsr-System ?Self))))
         (Connected-Terminals (Cnd-Pmp-Junction ?Self)
                              (Outlet-Stream (Hf-Cv (Cdnsr-System ?Self))))
         (Connected-Terminals (Cnd-Pmp-Junction ?Self)
                              (Inlet-Stream (Pmp-Cv (Pmp-System ?Self))))
         (Connected-Terminals (Pmp-Blr-Junction ?Self)
                              (Outlet-Stream (Pmp-Cv (Pmp-System ?Self))))
         (Connected-Terminals (Pmp-Blr-Junction ?Self)
                              (Inlet-Stream (Blr-Cv (Blr-System ?Self))))))

(=> (Cnd-Pmp-Junction $X $Y) (Stream-Junction $Y))

(=> (Blr-Tbn-Junction $X $Y) (Stream-Junction $Y))

(=> (Tbn-Cnd-Junction $X $Y) (Stream-Junction $Y))

(=> (Pmp-Blr-Junction $X $Y) (Stream-Junction $Y))

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Reheat
                       Pmp-Sgen-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Reheat
                       Cp-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Reheat
                       Tbn2-Cnd-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Reheat
                       Sgen-Tbn2-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Reheat
                       Tbn1-Sgen-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Reheat
                       Sgen-Tbn1-Junction
                       Stream-Junction)

(=> (Power-System-With-Reheat ?Self)
    (And (Value-Cardinality ?Self Sgen-Sys 1)
         (Value-Type ?Self
                     Sgen-Sys
                     Steam-Generator-With-Reheat-System)
         (Value-Cardinality ?Self Sgen-Sys 1)
         (Value-Cardinality ?Self Tbn-Sys1 1)
         (Value-Type ?Self Tbn-Sys1 Turbine-System)
         (Value-Cardinality ?Self Tbn-Sys1 1)
         (Value-Cardinality ?Self Tbn-Sys2 1)
         (Value-Type ?Self Tbn-Sys2 Turbine-System)
         (Value-Cardinality ?Self Tbn-Sys2 1)
         (Value-Cardinality ?Self Cnd-Sys 1)
         (Value-Type ?Self
                     Cnd-Sys
                     Condensor-With-Heat-Transfer-System)
         (Value-Cardinality ?Self Cnd-Sys 1)
         (Value-Cardinality ?Self Pmp-Sys 1)
         (Value-Type ?Self Pmp-Sys Pump-System)
         (Value-Cardinality ?Self Pmp-Sys 1)
         (Value-Cardinality ?Self Sgen-Tbn1-Junction 1)
         (Value-Type ?Self Sgen-Tbn1-Junction Stream-Junction)
         (Value-Cardinality ?Self Sgen-Tbn1-Junction 1)
         (Value-Cardinality ?Self Tbn1-Sgen-Junction 1)
         (Value-Type ?Self Tbn1-Sgen-Junction Stream-Junction)
         (Value-Cardinality ?Self Tbn1-Sgen-Junction 1)
         (Value-Cardinality ?Self Sgen-Tbn2-Junction 1)
         (Value-Type ?Self Sgen-Tbn2-Junction Stream-Junction)
         (Value-Cardinality ?Self Sgen-Tbn2-Junction 1)
         (Value-Cardinality ?Self Tbn2-Cnd-Junction 1)
         (Value-Type ?Self Tbn2-Cnd-Junction Stream-Junction)
         (Value-Cardinality ?Self Tbn2-Cnd-Junction 1)
         (Value-Cardinality ?Self Cp-Junction 1)
         (Value-Type ?Self Cp-Junction Stream-Junction)
         (Value-Cardinality ?Self Cp-Junction 1)
         (Value-Cardinality ?Self Pmp-Sgen-Junction 1)
         (Value-Type ?Self Pmp-Sgen-Junction Stream-Junction)
         (Value-Cardinality ?Self Pmp-Sgen-Junction 1)
         (Connected-Terminals (Sgen-Tbn1-Junction ?Self)
                              (Outlet-Stream1 (Sgen-Cv (Sgen-Sys ?Self))))
         (Connected-Terminals (Sgen-Tbn1-Junction ?Self)
                              (Inlet-Stream (Tbn-Cv (Tbn-Sys1 ?Self))))
         (Connected-Terminals (Tbn1-Sgen-Junction ?Self)
                              (Outlet-Stream (Tbn-Cv (Tbn-Sys1 ?Self))))
         (Connected-Terminals (Tbn1-Sgen-Junction ?Self)
                              (Inlet-Stream2 (Sgen-Cv (Sgen-Sys ?Self))))
         (Connected-Terminals (Sgen-Tbn2-Junction ?Self)
                              (Outlet-Stream2 (Sgen-Cv (Sgen-Sys ?Self))))
         (Connected-Terminals (Sgen-Tbn2-Junction ?Self)
                              (Inlet-Stream (Tbn-Cv (Tbn-Sys2 ?Self))))
         (Connected-Terminals (Tbn2-Cnd-Junction ?Self)
                              (Outlet-Stream (Tbn-Cv (Tbn-Sys2 ?Self))))
         (Connected-Terminals (Tbn2-Cnd-Junction ?Self)
                              (Inlet-Stream (Cndsr-Cv (Cnd-Sys ?Self))))
         (Connected-Terminals (Cp-Junction ?Self)
                              (Outlet-Stream (Cndsr-Cv (Cnd-Sys ?Self))))
         (Connected-Terminals (Cp-Junction ?Self)
                              (Inlet-Stream (Pmp-Cv (Pmp-Sys ?Self))))
         (Connected-Terminals (Pmp-Sgen-Junction ?Self)
                              (Outlet-Stream (Pmp-Cv (Pmp-Sys ?Self))))
         (Connected-Terminals (Pmp-Sgen-Junction ?Self)
                              (Inlet-Stream1 (Sgen-Cv (Sgen-Sys ?Self))))))

(=> (Sgen-Tbn1-Junction $X $Y) (Stream-Junction $Y))

(=> (Tbn1-Sgen-Junction $X $Y) (Stream-Junction $Y))

(=> (Sgen-Tbn2-Junction $X $Y) (Stream-Junction $Y))

(=> (Tbn2-Cnd-Junction $X $Y) (Stream-Junction $Y))

(=> (Cp-Junction $X $Y) (Stream-Junction $Y))

(=> (Pmp-Sgen-Junction $X $Y) (Stream-Junction $Y))

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Extraction-Turbines
                       Trp-Ohtr-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Extraction-Turbines
                       Chtr-Trp-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Extraction-Turbines
                       Chtr-Sgen-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Extraction-Turbines
                       Pmp2-Chtr-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Extraction-Turbines
                       Ohtr-Pmp2-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Extraction-Turbines
                       Pmp1-Ohtr-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Extraction-Turbines
                       Cnd-Pmp1-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Extraction-Turbines
                       Xtbn2-Cnd-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Extraction-Turbines
                       Xtbn2-Ohtr-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Extraction-Turbines
                       Sgen-Xtbn2-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Extraction-Turbines
                       Xtbn1-Sgen-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Extraction-Turbines
                       Xtbn1-Chtr-Junction
                       Stream-Junction)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Extraction-Turbines
                       Sgen-Xtbn1-Junction
                       Stream-Junction)

(=> (Power-System-With-Extraction-Turbines ?Self)
    (And (Value-Cardinality ?Self Sgen-System 1)
         (Value-Type ?Self
                     Sgen-System
                     Steam-Generator-With-Reheat-System)
         (Value-Cardinality ?Self Sgen-System 1)
         (Value-Cardinality ?Self Xtbn-System1 1)
         (Value-Type ?Self Xtbn-System1 Extraction-Turbine-System)
         (Value-Cardinality ?Self Xtbn-System1 1)
         (Value-Cardinality ?Self Xtbn-System2 1)
         (Value-Type ?Self Xtbn-System2 Extraction-Turbine-System)
         (Value-Cardinality ?Self Xtbn-System2 1)
         (Value-Cardinality ?Self Cnd-System 1)
         (Value-Type ?Self
                     Cnd-System
                     Condensor-With-Heat-Transfer-System)
         (Value-Cardinality ?Self Cnd-System 1)
         (Value-Cardinality ?Self Pmp-System1 1)
         (Value-Type ?Self Pmp-System1 Pump-System)
         (Value-Cardinality ?Self Pmp-System1 1)
         (Value-Cardinality ?Self Ohtr-System 1)
         (Value-Type ?Self
                     Ohtr-System
                     3-1-Open-Feedwater-Heater-System)
         (Value-Cardinality ?Self Ohtr-System 1)
         (Value-Cardinality ?Self Pmp-System2 1)
         (Value-Type ?Self Pmp-System2 Pump-System)
         (Value-Cardinality ?Self Pmp-System2 1)
         (Value-Cardinality ?Self Chtr-System 1)
         (Value-Type ?Self
                     Chtr-System
                     2-2-Closed-Feedwater-Heater-System)
         (Value-Cardinality ?Self Chtr-System 1)
         (Value-Cardinality ?Self Trp-System 1)
         (Value-Type ?Self Trp-System Nozzle-System)
         (Value-Cardinality ?Self Trp-System 1)
         (Value-Cardinality ?Self Sgen-Xtbn1-Junction 1)
         (Value-Type ?Self Sgen-Xtbn1-Junction Stream-Junction)
         (Value-Cardinality ?Self Sgen-Xtbn1-Junction 1)
         (Value-Cardinality ?Self Xtbn1-Chtr-Junction 1)
         (Value-Type ?Self Xtbn1-Chtr-Junction Stream-Junction)
         (Value-Cardinality ?Self Xtbn1-Chtr-Junction 1)
         (Value-Cardinality ?Self Xtbn1-Sgen-Junction 1)
         (Value-Type ?Self Xtbn1-Sgen-Junction Stream-Junction)
         (Value-Cardinality ?Self Xtbn1-Sgen-Junction 1)
         (Value-Cardinality ?Self Sgen-Xtbn2-Junction 1)
         (Value-Type ?Self Sgen-Xtbn2-Junction Stream-Junction)
         (Value-Cardinality ?Self Sgen-Xtbn2-Junction 1)
         (Value-Cardinality ?Self Xtbn2-Ohtr-Junction 1)
         (Value-Type ?Self Xtbn2-Ohtr-Junction Stream-Junction)
         (Value-Cardinality ?Self Xtbn2-Ohtr-Junction 1)
         (Value-Cardinality ?Self Xtbn2-Cnd-Junction 1)
         (Value-Type ?Self Xtbn2-Cnd-Junction Stream-Junction)
         (Value-Cardinality ?Self Xtbn2-Cnd-Junction 1)
         (Value-Cardinality ?Self Cnd-Pmp1-Junction 1)
         (Value-Type ?Self Cnd-Pmp1-Junction Stream-Junction)
         (Value-Cardinality ?Self Cnd-Pmp1-Junction 1)
         (Value-Cardinality ?Self Pmp1-Ohtr-Junction 1)
         (Value-Type ?Self Pmp1-Ohtr-Junction Stream-Junction)
         (Value-Cardinality ?Self Pmp1-Ohtr-Junction 1)
         (Value-Cardinality ?Self Ohtr-Pmp2-Junction 1)
         (Value-Type ?Self Ohtr-Pmp2-Junction Stream-Junction)
         (Value-Cardinality ?Self Ohtr-Pmp2-Junction 1)
         (Value-Cardinality ?Self Pmp2-Chtr-Junction 1)
         (Value-Type ?Self Pmp2-Chtr-Junction Stream-Junction)
         (Value-Cardinality ?Self Pmp2-Chtr-Junction 1)
         (Value-Cardinality ?Self Chtr-Sgen-Junction 1)
         (Value-Type ?Self Chtr-Sgen-Junction Stream-Junction)
         (Value-Cardinality ?Self Chtr-Sgen-Junction 1)
         (Value-Cardinality ?Self Chtr-Trp-Junction 1)
         (Value-Type ?Self Chtr-Trp-Junction Stream-Junction)
         (Value-Cardinality ?Self Chtr-Trp-Junction 1)
         (Value-Cardinality ?Self Trp-Ohtr-Junction 1)
         (Value-Type ?Self Trp-Ohtr-Junction Stream-Junction)
         (Value-Cardinality ?Self Trp-Ohtr-Junction 1)
         (Connected-Terminals (Sgen-Xtbn1-Junction ?Self)
                              (Outlet-Stream1 
                                  (Sgen-Cv (Sgen-System ?Self))))
         (Connected-Terminals (Sgen-Xtbn1-Junction ?Self)
                              (Inlet-Stream (Xtbn-Cv 
                                                (Xtbn-System1 ?Self))))
         (Connected-Terminals 
             (Xtbn1-Chtr-Junction ?Self)
             (Outlet-Stream2 (Xtbn-Cv (Xtbn-System1 ?Self))))
         (Connected-Terminals (Xtbn1-Chtr-Junction ?Self)
                              (Inlet-Stream2 (Chtr-Cv 
                                                 (Chtr-System ?Self))))
         (Connected-Terminals 
             (Xtbn1-Sgen-Junction ?Self)
             (Outlet-Stream1 (Xtbn-Cv (Xtbn-System1 ?Self))))
         (Connected-Terminals (Xtbn1-Sgen-Junction ?Self)
                              (Inlet-Stream2 (Sgen-Cv 
                                                 (Sgen-System ?Self))))
         (Connected-Terminals (Sgen-Xtbn2-Junction ?Self)
                              (Outlet-Stream2 
                                  (Sgen-Cv (Sgen-System ?Self))))
         (Connected-Terminals (Sgen-Xtbn2-Junction ?Self)
                              (Inlet-Stream (Xtbn-Cv 
                                                (Xtbn-System2 ?Self))))
         (Connected-Terminals 
             (Xtbn2-Ohtr-Junction ?Self)
             (Outlet-Stream2 (Xtbn-Cv (Xtbn-System2 ?Self))))
         (Connected-Terminals 
             (Xtbn2-Ohtr-Junction ?Self)
             (Inlet-Stream2 (Fwt-Htr-Cv (Ohtr-System ?Self))))
         (Connected-Terminals 
             (Xtbn2-Cnd-Junction ?Self)
             (Outlet-Stream1 (Xtbn-Cv (Xtbn-System2 ?Self))))
         (Connected-Terminals (Xtbn2-Cnd-Junction ?Self)
                              (Inlet-Stream (Cndsr-Cv (Cnd-System ?Self))))
         (Connected-Terminals (Cnd-Pmp1-Junction ?Self)
                              (Outlet-Stream (Cndsr-Cv 
                                                 (Cnd-System ?Self))))
         (Connected-Terminals (Cnd-Pmp1-Junction ?Self)
                              (Inlet-Stream (Pmp-Cv (Pmp-System1 ?Self))))
         (Connected-Terminals (Pmp1-Ohtr-Junction ?Self)
                              (Outlet-Stream (Pmp-Cv (Pmp-System1 ?Self))))
         (Connected-Terminals 
             (Pmp1-Ohtr-Junction ?Self)
             (Inlet-Stream1 (Fwt-Htr-Cv (Ohtr-System ?Self))))
         (Connected-Terminals 
             (Ohtr-Pmp2-Junction ?Self)
             (Outlet-Stream (Fwt-Htr-Cv (Ohtr-System ?Self))))
         (Connected-Terminals (Ohtr-Pmp2-Junction ?Self)
                              (Inlet-Stream (Pmp-Cv (Pmp-System2 ?Self))))
         (Connected-Terminals (Pmp2-Chtr-Junction ?Self)
                              (Outlet-Stream (Pmp-Cv (Pmp-System2 ?Self))))
         (Connected-Terminals (Pmp2-Chtr-Junction ?Self)
                              (Inlet-Stream1 (Chtr-Cv 
                                                 (Chtr-System ?Self))))
         (Connected-Terminals (Chtr-Sgen-Junction ?Self)
                              (Outlet-Stream1 
                                  (Chtr-Cv (Chtr-System ?Self))))
         (Connected-Terminals (Chtr-Sgen-Junction ?Self)
                              (Inlet-Stream1 (Sgen-Cv 
                                                 (Sgen-System ?Self))))
         (Connected-Terminals (Chtr-Trp-Junction ?Self)
                              (Outlet-Stream2 
                                  (Chtr-Cv (Chtr-System ?Self))))
         (Connected-Terminals (Chtr-Trp-Junction ?Self)
                              (Inlet-Stream (Nzl-Cv (Trp-System ?Self))))
         (Connected-Terminals (Trp-Ohtr-Junction ?Self)
                              (Outlet-Stream (Nzl-Cv (Trp-System ?Self))))
         (Connected-Terminals 
             (Trp-Ohtr-Junction ?Self)
             (Inlet-Stream3 (Fwt-Htr-Cv (Ohtr-System ?Self))))))

(=> (Sgen-Xtbn1-Junction $X $Y) (Stream-Junction $Y))

(=> (Xtbn1-Chtr-Junction $X $Y) (Stream-Junction $Y))

(=> (Xtbn1-Sgen-Junction $X $Y) (Stream-Junction $Y))

(=> (Sgen-Xtbn2-Junction $X $Y) (Stream-Junction $Y))

(=> (Xtbn2-Ohtr-Junction $X $Y) (Stream-Junction $Y))

(=> (Xtbn2-Cnd-Junction $X $Y) (Stream-Junction $Y))

(=> (Cnd-Pmp1-Junction $X $Y) (Stream-Junction $Y))

(=> (Pmp1-Ohtr-Junction $X $Y) (Stream-Junction $Y))

(=> (Ohtr-Pmp2-Junction $X $Y) (Stream-Junction $Y))

(=> (Pmp2-Chtr-Junction $X $Y) (Stream-Junction $Y))

(=> (Chtr-Sgen-Junction $X $Y) (Stream-Junction $Y))

(=> (Chtr-Trp-Junction $X $Y) (Stream-Junction $Y))

(=> (Trp-Ohtr-Junction $X $Y) (Stream-Junction $Y))