(DEFINE-PRIMITIVE-ROLE DISPLAY-TYPE) 
(DEFINE-PRIMITIVE-ROLE DISPLAY-X-AXIS-VALUES) 
(DEFINE-PRIMITIVE-ROLE DISPLAY-Y-AXIS-VALUES) 
(DEFINE-PRIMITIVE-ROLE THE-DISPLAY-OF) 
(DEFINE-PRIMITIVE-ROLE CHEMICAL-FORMULA) 
(DEFINE-PRIMITIVE-ROLE COMPONENTS) 
(DEFINE-PRIMITIVE-ROLE AGGREGATE-STATE) 
(DEFINE-PRIMITIVE-ROLE TYPE) 
(DEFINE-PRIMITIVE-ROLE STAT) 
(DEFINE-PRIMITIVE-ROLE HOLDUP-TERM) 
(DEFINE-PRIMITIVE-ROLE PARAMS) 
(DEFINE-PRIMITIVE-ROLE BALANCE-QUANTITIES) 
(DEFINE-PRIMITIVE-ROLE SUPERIOR-CONNECTION-HOLD) 
(DEFINE-PRIMITIVE-ROLE STATUS) 
(DEFINE-PRIMITIVE-ROLE RIGHT-INTERFACE) 
(DEFINE-PRIMITIVE-ROLE CONNECTIVITY) 
(DEFINE-PRIMITIVE-ROLE NORMAL-MODE-DIRECTION) 
(DEFINE-PRIMITIVE-ROLE BEHAVIOR) 
(DEFINE-PRIMITIVE-ROLE DISPERSIVE-STATE) 
(DEFINE-PRIMITIVE-ROLE ID) 
(DEFINE-PRIMITIVE-ROLE EQUATIONS) 
(DEFINE-PRIMITIVE-ROLE ACTIVE-INTERFACES) 
(DEFINE-PRIMITIVE-ROLE COUNTER) 
(DEFINE-PRIMITIVE-ROLE VIEW) 
(DEFINE-PRIMITIVE-ROLE KEY) 
(DEFINE-PRIMITIVE-ROLE DOF) 
(DEFINE-PRIMITIVE-ROLE POSSIBLE-INTERFACES) 
(DEFINE-PRIMITIVE-ROLE DEFAULT) 
(DEFINE-PRIMITIVE-ROLE EQUATION) 
(DEFINE-PRIMITIVE-ROLE TRANSPORT-TERM) 
(DEFINE-PRIMITIVE-ROLE FORTRAN-NAME) 
(DEFINE-PRIMITIVE-ROLE PARAMS-TEMPLATE) 
(DEFINE-PRIMITIVE-ROLE VARIABLES) 
(DEFINE-PRIMITIVE-ROLE UNIQUE-ID) 
(DEFINE-PRIMITIVE-ROLE LEFT-INTERFACE) 
(DEFINE-PRIMITIVE-ROLE TRANSMITTED-PHASES) 
(DEFINE-PRIMITIVE-ROLE PHASES) 
(DEFINE-PRIMITIVE-ROLE ADDITIONAL-QUANTITIES) 
(DEFINE-PRIMITIVE-ROLE CONSTRAINTS) 
(DEFINE-PRIMITIVE-ROLE ACTIVE-IMPLEMENTATION) 
(DEFINE-PRIMITIVE-ROLE POSSIBLE-IMPLEMENTATIONS) 
(DEFINE-PRIMITIVE-ROLE PASSED-ON-TO) 
(DEFINE-PRIMITIVE-ROLE LOWER) 
(DEFINE-PRIMITIVE-ROLE UPPER) 
(DEFINE-PRIMITIVE-ROLE UNIT) 
(DEFINE-PRIMITIVE-ROLE AGGREGATION-INPUT) 
(DEFINE-PRIMITIVE-ROLE INTERFACE) 
(DEFINE-PRIMITIVE-ROLE ARRAY) 
(DEFINE-PRIMITIVE-ROLE ARRAY-DEPENDENCY) 
(DEFINE-PRIMITIVE-ROLE MULTIPLE) 
(DEFINE-PRIMITIVE-ROLE MULTIPLE-DEPENDENCY) 
(DEFINE-PRIMITIVE-ROLE SUPPLIED-VALUE) 
(DEFINE-PRIMITIVE-ROLE COMMENT) 
(DEFINE-PRIMITIVE-ROLE DIFFERENTIAL) 
(DEFINE-PRIMITIVE-ROLE ALGEBRAIC) 
(DEFINE-PRIMITIVE-ROLE REFINING-EQN-CLASS) 
(DEFINE-PRIMITIVE-ROLE ASSIGNED-TO-IN-SOLVABILITY-TOOL) 
(DEFINE-PRIMITIVE-ROLE ASSIGNED-TO-IN-INDEX-TOOL) 
(DEFINE-PRIMITIVE-ROLE OCCURRING-IN) 
(DEFINE-PRIMITIVE-ROLE THE-DISPLAY-VARIABLE-OF) 
(DEFINE-PRIMITIVE-ROLE EXPANDED-EQUATION) 
(DEFINE-PRIMITIVE-ROLE TEMPLATE) 
(DEFINE-PRIMITIVE-ROLE MULTIPLE-START-DEPEND) 
(DEFINE-PRIMITIVE-ROLE SPEEDUP-NOTATION) 
(DEFINE-PRIMITIVE-ROLE COMPUTING-IN-SOLVABILITY-TOOL) 
(DEFINE-PRIMITIVE-ROLE COMPUTING-IN-INDEX-TOOL) 
(DEFINE-PRIMITIVE-ROLE CONTAINING) 
(DEFINE-PRIMITIVE-ROLE EXCHANGE-TERM) 
(DEFINE-PRIMITIVE-ROLE SOURCE-TERM) 
(DEFINE-PRIMITIVE-ROLE RESULTS) 
(DEFINE-PRIMITIVE-ROLE SPACE) 
(DEFINE-PRIMITIVE-ROLE PRECALL) 
(DEFINE-PRIMITIVE-ROLE POSTCALL) 
(DEFINE-PRIMITIVE-ROLE STREAM) 
(DEFINE-PRIMITIVE-ROLE CODE) 
(DEFINE-PRIMITIVE-ROLE RESULTS-TEMPLATE) 
(DEFINE-PRIMITIVE-ROLE DEFINITION) 
(DEFINE-PRIMITIVE-ROLE PPDS) 
(DEFINE-PRIMITIVE-ROLE ACTIVE-CONTEXT) 
(DEFINE-PRIMITIVE-ROLE POSSIBLE-CONTEXTS) 
(DEFINE-PRIMITIVE-ROLE IMPLEMENTATION-TYPE) 
(DEFINE-PRIMITIVE-ROLE LEFT-INTERFACE-DIRECTION) 
(DEFINE-PRIMITIVE-ROLE RIGHT-INTERFACE-DIRECTION) 
(DEFINE-PRIMITIVE-ROLE ACTUAL-DIRECTION) 
(DEFINE-PRIMITIVE-ROLE SIDE) 
(DEFINE-PRIMITIVE-ROLE POSITION) 
(DEFINE-PRIMITIVE-ROLE DEVICE-COUPLING) 
(DEFINE-PRIMITIVE-ROLE CONNECTION-COUPLING) 
(DEFINE-PRIMITIVE-ROLE TRANSMITTED-QUANTITIES) 
(DEFINE-PRIMITIVE-ROLE DOCUMENTATION-TEMPLATE) 
(DEFINE-PRIMITIVE-ROLE SOLVABILITY) 
(DEFINE-PRIMITIVE-ROLE RECEIVING) 
(DEFINE-PRIMITIVE-ROLE SPATIAL-RESOLUTION) 
(DEFINE-PRIMITIVE-ROLE COORDINATE-SYSTEM) 
(DEFINE-PRIMITIVE-ROLE SHAPE) 
(DEFINE-PRIMITIVE-ROLE INTENSIVE-PROCESS-QUANTITIES) 
(DEFINE-PRIMITIVE-ROLE FURTHER-PROCESS-QUANTITIES) 
(DEFINE-PRIMITIVE-ROLE PHENOMENA) 
(DEFINE-PRIMITIVE-ROLE BEHAVIOUR) 
(DEFINE-PRIMITIVE-ROLE DRIVING-FORCES) 
(DEFINE-PRIMITIVE-ROLE CALCULATE-VOLUME) 
(DEFINE-PRIMITIVE-ROLE VOLUME) 
(DEFINE-PRIMITIVE-ROLE CALCULATE-AREA) 
(DEFINE-PRIMITIVE-ROLE LENGTH-X) 
(DEFINE-PRIMITIVE-ROLE LENGTH-Y) 
(DEFINE-PRIMITIVE-ROLE LENGTH-Z) 
(DEFINE-PRIMITIVE-ROLE AREA-XY) 
(DEFINE-PRIMITIVE-ROLE AREA-XZ) 
(DEFINE-PRIMITIVE-ROLE AREA-YZ) 
(DEFINE-PRIMITIVE-ROLE RADIUS) 
(DEFINE-PRIMITIVE-ROLE LENGTH) 
(DEFINE-PRIMITIVE-ROLE AREA-TOP) 
(DEFINE-PRIMITIVE-ROLE AREA-SIDE) 
(DEFINE-PRIMITIVE-ROLE AREA-BOTTOM) 
(DEFINE-PRIMITIVE-ROLE EXTERNAL-AREA) 
(DEFINE-PRIMITIVE-ROLE AUTOMATIC-UPDATE) 
(DEFINE-PRIMITIVE-ROLE CONSTANT-COORD) 
(DEFINE-PRIMITIVE-ROLE R1) 
(DEFINE-PRIMITIVE-ROLE R2) 
(DEFINE-PRIMITIVE-ROLE THETA1) 
(DEFINE-PRIMITIVE-ROLE THETA2) 
(DEFINE-PRIMITIVE-ROLE AREA) 
(DEFINE-PRIMITIVE-ROLE X1) 
(DEFINE-PRIMITIVE-ROLE X2) 
(DEFINE-PRIMITIVE-ROLE Y1) 
(DEFINE-PRIMITIVE-ROLE Y2) 
(DEFINE-PRIMITIVE-ROLE Z1) 
(DEFINE-PRIMITIVE-ROLE Z2) 
(DEFINE-PRIMITIVE-ROLE PHI1) 
(DEFINE-PRIMITIVE-ROLE PHI2) 
(DEFINE-PRIMITIVE-ROLE ORIGIN) 
(DEFINE-PRIMITIVE-ROLE DISCRETIZATION-STEP-NO-X) 
(DEFINE-PRIMITIVE-ROLE DISCRETIZATION-STEP-NO-Y) 
(DEFINE-PRIMITIVE-ROLE DISCRETIZATION-STEP-NO-Z) 
(IMPLIES MODELING-CONCEPT (AND (SOME ID SYMBOL))) 
(IMPLIES DISPLAY (AND (ALL THE-DISPLAY-OF PROCESS-QUANTITY) (SOME DISPLAY-Y-AXIS-VALUES TOP) (SOME DISPLAY-X-AXIS-VALUES TOP) (SOME DISPLAY-TYPE SYMBOL) MODELING-CONCEPT)) 
(IMPLIES MATERIAL-MODELING-CONCEPT (AND MODELING-CONCEPT)) 
(IMPLIES CHEMICAL-COMPONENT (AND (SOME KEY SYMBOL) (SOME CHEMICAL-FORMULA SYMBOL) MATERIAL-MODELING-CONCEPT)) 
(IMPLIES PURE-CHEMICAL-COMPONENT (AND CHEMICAL-COMPONENT)) 
(IMPLIES INORGANIC-COMPOUND (AND PURE-CHEMICAL-COMPONENT)) 
(IMPLIES HYDROGEN-COMPOUND (AND INORGANIC-COMPOUND)) 
(IMPLIES HYDROGEN (AND HYDROGEN-COMPOUND)) 
(IMPLIES WATER (AND HYDROGEN-COMPOUND)) 
(IMPLIES HALOGENE (AND INORGANIC-COMPOUND)) 
(IMPLIES CHLORINE (AND HALOGENE)) 
(IMPLIES FLOURINE (AND HALOGENE)) 
(IMPLIES OXYGEN-COMPOUND (AND INORGANIC-COMPOUND)) 
(IMPLIES OXYGEN (AND OXYGEN-COMPOUND)) 
(IMPLIES NITROGEN-COMPOUND (AND INORGANIC-COMPOUND)) 
(IMPLIES NITROGEN (AND NITROGEN-COMPOUND)) 
(IMPLIES AMMONIA (AND NITROGEN-COMPOUND)) 
(IMPLIES CARBON-COMPOUND (AND INORGANIC-COMPOUND)) 
(IMPLIES CARBON-DIOXIDE (AND CARBON-COMPOUND)) 
(IMPLIES ORGANIC-COMPOUND (AND PURE-CHEMICAL-COMPONENT)) 
(IMPLIES POLYCYCLIC-HYDROCARBON (AND ORGANIC-COMPOUND)) 
(IMPLIES MONOCYCLIC-HYDROCARBON (AND ORGANIC-COMPOUND)) 
(IMPLIES CYCLOALKANE (AND MONOCYCLIC-HYDROCARBON)) 
(IMPLIES CYCLOHEXANE (AND CYCLOALKANE)) 
(IMPLIES AROMATIC-COMPOUND (AND MONOCYCLIC-HYDROCARBON)) 
(IMPLIES ALKOXIDE (AND AROMATIC-COMPOUND)) 
(IMPLIES PHENOL (AND ETHER ALCOHOL ALKOXIDE)) 
(IMPLIES BENZENE (AND ETHER ALKOXIDE)) 
(IMPLIES ACYCLIC-HYDROCARBON (AND ORGANIC-COMPOUND)) 
(IMPLIES ALKANE (AND ACYCLIC-HYDROCARBON)) 
(IMPLIES METHANE (AND ALKANE)) 
(IMPLIES ETHANE (AND ALKANE)) 
(IMPLIES PROPANE (AND ALKANE)) 
(IMPLIES BUTANE (AND ALKANE)) 
(IMPLIES ALKENE (AND ACYCLIC-HYDROCARBON)) 
(IMPLIES ETHYLENE (AND ALKENE)) 
(IMPLIES PROPYLENE (AND ALKENE)) 
(IMPLIES ALKADIENE (AND ACYCLIC-HYDROCARBON)) 
(IMPLIES BUTADIEN (AND ALKADIENE)) 
(IMPLIES CARBOXYLIC-ACID (AND ACID ACYCLIC-HYDROCARBON)) 
(IMPLIES FORMIC-ACID (AND CARBOXYLIC-ACID)) 
(IMPLIES ALKANAL (AND ALDEHYDE ACYCLIC-HYDROCARBON)) 
(IMPLIES FORMALDEHYDE (AND ALKANAL)) 
(IMPLIES ACETALDEHYDE (AND ALKANAL)) 
(IMPLIES ALKANONE (AND KETONE ACYCLIC-HYDROCARBON)) 
(IMPLIES ACETONE (AND ALKANONE)) 
(IMPLIES ALKANOL (AND ALCOHOL ACYCLIC-HYDROCARBON)) 
(IMPLIES TRIETHYLENE-GLYCOL (AND ALKANOL)) 
(IMPLIES DIETHYLENE-GLYCOL (AND ALKANOL)) 
(IMPLIES ETHYLENE-GLYCOL (AND ALKANOL)) 
(IMPLIES ETHANOL (AND ALKANOL)) 
(IMPLIES METHANOL (AND ALKANOL)) 
(IMPLIES PROPANOL (AND ALKANOL)) 
(IMPLIES DIALKYL-ETHER (AND ETHER ACYCLIC-HYDROCARBON)) 
(IMPLIES DIETHYL-ETHER (AND DIALKYL-ETHER)) 
(IMPLIES ETHYLENE-OXIDE (AND DIALKYL-ETHER)) 
(IMPLIES COMPOUND-WITH-FUNCTIONAL-GROUP (AND ORGANIC-COMPOUND)) 
(IMPLIES ACID (AND COMPOUND-WITH-FUNCTIONAL-GROUP)) 
(IMPLIES ALDEHYDE (AND COMPOUND-WITH-FUNCTIONAL-GROUP)) 
(IMPLIES KETONE (AND COMPOUND-WITH-FUNCTIONAL-GROUP)) 
(IMPLIES ALCOHOL (AND COMPOUND-WITH-FUNCTIONAL-GROUP)) 
(IMPLIES AMINE (AND COMPOUND-WITH-FUNCTIONAL-GROUP)) 
(IMPLIES ETHER (AND COMPOUND-WITH-FUNCTIONAL-GROUP)) 
(IMPLIES SULFIDE (AND COMPOUND-WITH-FUNCTIONAL-GROUP)) 
(IMPLIES SULFONE (AND COMPOUND-WITH-FUNCTIONAL-GROUP)) 
(IMPLIES SULFOXIDE (AND COMPOUND-WITH-FUNCTIONAL-GROUP)) 
(IMPLIES MIXTURE (AND (SOME COMPONENTS TOP) CHEMICAL-COMPONENT)) 
(IMPLIES PHYSICAL-PHASE-SYSTEM (AND (SOME AGGREGATE-STATE SYMBOL) (SOME COMPONENTS TOP) MATERIAL-MODELING-CONCEPT)) 
(IMPLIES SINGLE-PHASE-SYSTEM (AND PHYSICAL-PHASE-SYSTEM)) 
(IMPLIES MULTI-PHASE-SYSTEM (AND PHYSICAL-PHASE-SYSTEM)) 
(IMPLIES MODELING-CONTEXT (AND (SOME POSSIBLE-IMPLEMENTATIONS TOP) (SOME ACTIVE-IMPLEMENTATION TOP) (SOME POSSIBLE-INTERFACES TOP) (SOME ACTIVE-INTERFACES TOP) (SOME TYPE SYMBOL) MODELING-CONCEPT)) 
(IMPLIES MODEL-CONTAINER (AND MODELING-CONCEPT)) 
(IMPLIES BEHAVIORAL-MODELING-CONCEPT (AND (ALL PASSED-ON-TO MODELING-OBJECT-IMPLEMENTATION) MODELING-CONCEPT)) 
(IMPLIES PROCESS-QUANTITY-TYPE (AND (SOME UNIT TEXT) (SOME UPPER FLOAT) (SOME LOWER FLOAT) (SOME DEFAULT FLOAT) (SOME COUNTER INTEGER) BEHAVIORAL-MODELING-CONCEPT)) 
(IMPLIES INTENSIVE-PROCESS-QUANTITY-TYPE (AND PROCESS-QUANTITY-TYPE)) 
(IMPLIES TEMPERATURE-TYPE (AND PROCESS-QUANTITY-TYPE)) 
(IMPLIES PHYSICAL-QUANTITY-TYPE (AND PROCESS-QUANTITY-TYPE)) 
(IMPLIES THERMODYNAMIC-STATE-TYPE (AND PHYSICAL-QUANTITY-TYPE)) 
(IMPLIES EXTENSIVE-STATE-TYPE (AND THERMODYNAMIC-STATE-TYPE)) 
(IMPLIES MOLAR-HOLDUP-TYPE (AND EXTENSIVE-STATE-TYPE)) 
(IMPLIES PARTIAL-MOLAR-HOLDUP-TYPE (AND MOLAR-HOLDUP-TYPE)) 
(IMPLIES TOTAL-MOLAR-HOLDUP-TYPE (AND MOLAR-HOLDUP-TYPE)) 
(IMPLIES MASS-TYPE (AND EXTENSIVE-STATE-TYPE)) 
(IMPLIES TOTAL-MASS-TYPE (AND MASS-TYPE)) 
(IMPLIES PARTIAL-MASS-TYPE (AND MASS-TYPE)) 
(IMPLIES ENERGY-TYPE (AND EXTENSIVE-STATE-TYPE)) 
(IMPLIES TOTAL-ENERGY-TYPE (AND ENERGY-TYPE)) 
(IMPLIES INTERNAL-ENERGY-TYPE (AND ENERGY-TYPE)) 
(IMPLIES ENTHALPY-TYPE (AND ENERGY-TYPE)) 
(IMPLIES MOMENTUM-TYPE (AND EXTENSIVE-STATE-TYPE)) 
(IMPLIES INTENSIVE-STATE-TYPE (AND THERMODYNAMIC-STATE-TYPE)) 
(IMPLIES MOLAR-FRACTION-TYPE (AND INTENSIVE-STATE-TYPE)) 
(IMPLIES PRESSURE-TYPE (AND INTENSIVE-STATE-TYPE)) 
(IMPLIES MASS-FRACTION-TYPE (AND INTENSIVE-STATE-TYPE)) 
(IMPLIES MASS-DENSITY-TYPE (AND INTENSIVE-STATE-TYPE)) 
(IMPLIES LIQUID-MASS-DENSITY-TYPE (AND MASS-DENSITY-TYPE)) 
(IMPLIES VAP-MASS-DENSITY-TYPE (AND MASS-DENSITY-TYPE)) 
(IMPLIES MOLAR-DENSITY-TYPE (AND INTENSIVE-STATE-TYPE)) 
(IMPLIES VAPOR-MOLAR-DENSITY-TYPE (AND MOLAR-DENSITY-TYPE)) 
(IMPLIES LIQUID-MOLAR-DENSITY-TYPE (AND MOLAR-DENSITY-TYPE)) 
(IMPLIES SPECIFIC-ENERGY-TYPE (AND INTENSIVE-STATE-TYPE)) 
(IMPLIES MASS-SPEC-TOTAL-ENERGY-TYPE (AND SPECIFIC-ENERGY-TYPE)) 
(IMPLIES MOLE-SPEC-TOTAL-ENERGY-TYPE (AND SPECIFIC-ENERGY-TYPE)) 
(IMPLIES MASS-SPEC-INT-ENERGY-TYPE (AND SPECIFIC-ENERGY-TYPE)) 
(IMPLIES MOLE-SPEC-INT-ENERGY-TYPE (AND SPECIFIC-ENERGY-TYPE)) 
(IMPLIES MASS-SPEC-ENTHALPY-TYPE (AND SPECIFIC-ENERGY-TYPE)) 
(IMPLIES MOLE-SPEC-ENTHALPY-TYPE (AND SPECIFIC-ENERGY-TYPE)) 
(IMPLIES LIQUID-ENTHALPY-TYPE (AND MOLE-SPEC-ENTHALPY-TYPE)) 
(IMPLIES VAPOR-ENTHALPY-TYPE (AND MOLE-SPEC-ENTHALPY-TYPE)) 
(IMPLIES GENERALIZED-FLUX-TYPE (AND PHYSICAL-QUANTITY-TYPE)) 
(IMPLIES HOLDUP-VARIATION-TYPE (AND GENERALIZED-FLUX-TYPE)) 
(IMPLIES INTRAPHASE-TRANSPORT-TYPE (AND GENERALIZED-FLUX-TYPE)) 
(IMPLIES SOURCE-FLUX-TYPE (AND GENERALIZED-FLUX-TYPE)) 
(IMPLIES EXCHANGE-FLUX-TYPE (AND GENERALIZED-FLUX-TYPE)) 
(IMPLIES MASS-FLUX-TYPE (AND EXCHANGE-FLUX-TYPE)) 
(IMPLIES CONVECTIVE-MASS-FLUX-TYPE (AND MASS-FLUX-TYPE)) 
(IMPLIES DIFFUSIVE-MASS-FLUX-TYPE (AND MASS-FLUX-TYPE)) 
(IMPLIES ENERGY-FLUX-TYPE (AND EXCHANGE-FLUX-TYPE)) 
(IMPLIES ENTHALPY-FLUX-TYPE (AND ENERGY-FLUX-TYPE)) 
(IMPLIES HEAT-FLUX-TYPE (AND ENERGY-FLUX-TYPE)) 
(IMPLIES MOMENTUM-FLUX-TYPE (AND EXCHANGE-FLUX-TYPE)) 
(IMPLIES MOLAR-FLUX-TYPE (AND EXCHANGE-FLUX-TYPE)) 
(IMPLIES CONVECTIVE-MOLAR-FLUX-TYPE (AND MOLAR-FLUX-TYPE)) 
(IMPLIES DIFFUSIVE-MOLAR-FLUX-TYPE (AND MOLAR-FLUX-TYPE)) 
(IMPLIES PHENOMENOLOGICAL-COEFFICIENT-TYPE (AND PHYSICAL-QUANTITY-TYPE)) 
(IMPLIES REACTION-RATE-COEFFICIENT-TYPE (AND PHENOMENOLOGICAL-COEFFICIENT-TYPE)) 
(IMPLIES FREQUENCY-FACTOR-TYPE (AND REACTION-RATE-COEFFICIENT-TYPE)) 
(IMPLIES INTRAPHASE-TRANSPORT-COEFFICIENT-TYPE (AND PHENOMENOLOGICAL-COEFFICIENT-TYPE)) 
(IMPLIES DIFFUSIVITY-TYPE (AND INTRAPHASE-TRANSPORT-COEFFICIENT-TYPE)) 
(IMPLIES THERMAL-CONDUCTIVITY-TYPE (AND INTRAPHASE-TRANSPORT-COEFFICIENT-TYPE)) 
(IMPLIES LIQUID-CONDUCTIVITY-TYPE (AND THERMAL-CONDUCTIVITY-TYPE)) 
(IMPLIES VAP-CONDUCTIVITY-TYPE (AND THERMAL-CONDUCTIVITY-TYPE)) 
(IMPLIES VISCOSITY-TYPE (AND INTRAPHASE-TRANSPORT-COEFFICIENT-TYPE)) 
(IMPLIES INTERPHASE-TRANSPORT-COEFFICIENT-TYPE (AND PHENOMENOLOGICAL-COEFFICIENT-TYPE)) 
(IMPLIES HEAT-TRANSFER-COEFFICIENT-TYPE (AND INTERPHASE-TRANSPORT-COEFFICIENT-TYPE)) 
(IMPLIES MASS-TRANSFER-COEFFICIENT-TYPE (AND INTERPHASE-TRANSPORT-COEFFICIENT-TYPE)) 
(IMPLIES EQUILIBRIUM-RATIO-TYPE (AND PHENOMENOLOGICAL-COEFFICIENT-TYPE)) 
(IMPLIES PHASE-EQ-RATIO-TYPE (AND EQUILIBRIUM-RATIO-TYPE)) 
(IMPLIES REACTION-EQ-RATIO-TYPE (AND EQUILIBRIUM-RATIO-TYPE)) 
(IMPLIES GENERALIZED-FORCE-TYPE (AND PHYSICAL-QUANTITY-TYPE)) 
(IMPLIES TEMPERATURE-GRADIENT-TYPE (AND GENERALIZED-FORCE-TYPE)) 
(IMPLIES PRESSURE-GRADIENT-TYPE (AND GENERALIZED-FORCE-TYPE)) 
(IMPLIES CONCENTRATION-GRADIENT-TYPE (AND GENERALIZED-FORCE-TYPE)) 
(IMPLIES GEOMETRICAL-QUANTITY-TYPE (AND PHYSICAL-QUANTITY-TYPE)) 
(IMPLIES AREA-TYPE (AND GEOMETRICAL-QUANTITY-TYPE)) 
(IMPLIES VOLUME-TYPE (AND GEOMETRICAL-QUANTITY-TYPE)) 
(IMPLIES LENGTH-TYPE (AND GEOMETRICAL-QUANTITY-TYPE)) 
(IMPLIES NON-PHYSICAL-QUANTITY-TYPE (AND PROCESS-QUANTITY-TYPE)) 
(IMPLIES SIGNAL-TYPE (AND NON-PHYSICAL-QUANTITY-TYPE)) 
(IMPLIES FURTHER-PROCESS-QUANTITY-TYPE (AND PROCESS-QUANTITY-TYPE)) 
(IMPLIES TRANSMITTED-QUANTITY-TYPE (AND PROCESS-QUANTITY-TYPE)) 
(IMPLIES BALANCE-QUANTITY-TYPE (AND PROCESS-QUANTITY-TYPE)) 
(IMPLIES PROCESS-QUANTITY (AND (ALL THE-DISPLAY-VARIABLE-OF DISPLAY) (ALL OCCURRING-IN EQUATION) (ALL ASSIGNED-TO-IN-INDEX-TOOL EQUATION) (ALL ASSIGNED-TO-IN-SOLVABILITY-TOOL EQUATION) (SOME REFINING-EQN-CLASS SYMBOL) (SOME ALGEBRAIC TRUTH-VALUE) (SOME DIFFERENTIAL TRUTH-VALUE) (SOME COMMENT TEXT) (SOME UNIQUE-ID TEXT) (SOME SUPPLIED-VALUE FLOAT) (SOME MULTIPLE-DEPENDENCY TEXT) (SOME MULTIPLE TRUTH-VALUE) (SOME ARRAY-DEPENDENCY TEXT) (SOME ARRAY TRUTH-VALUE) (SOME INTERFACE PROCESS-QUANTITY-TYPE) (SOME TYPE SYMBOL) (SOME COUNTER INTEGER) (SOME AGGREGATION-INPUT TRUTH-VALUE) (SOME VIEW TOP) (SOME STATUS SYMBOL) (SOME STAT SYMBOL) BEHAVIORAL-MODELING-CONCEPT)) 
(IMPLIES PHYSICAL-QUANTITY (AND PROCESS-QUANTITY)) 
(IMPLIES THERMODYNAMIC-STATE (AND PHYSICAL-QUANTITY)) 
(IMPLIES EXTENSIVE-STATE (AND BALANCE-QUANTITY THERMODYNAMIC-STATE)) 
(IMPLIES MASS (AND EXTENSIVE-STATE)) 
(IMPLIES PARTIAL-MASS (AND MASS)) 
(IMPLIES TOTAL-MASS (AND MASS)) 
(IMPLIES ENERGY (AND EXTENSIVE-STATE)) 
(IMPLIES INTERNAL-ENERGY (AND ENERGY)) 
(IMPLIES TOTAL-ENERGY (AND ENERGY)) 
(IMPLIES ENTHALPY (AND ENERGY)) 
(IMPLIES MOLAR-HOLDUP (AND EXTENSIVE-STATE)) 
(IMPLIES TOTAL-MOLAR-HOLDUP (AND MOLAR-HOLDUP)) 
(IMPLIES PARTIAL-MOLAR-HOLDUP (AND MOLAR-HOLDUP)) 
(IMPLIES MOMENTUM (AND EXTENSIVE-STATE)) 
(IMPLIES INTENSIVE-STATE (AND INTENSIVE-PROCESS-QUANTITY THERMODYNAMIC-STATE)) 
(IMPLIES MOLAR-FRACTION (AND INTENSIVE-STATE)) 
(IMPLIES MASS-FRACTION (AND INTENSIVE-STATE)) 
(IMPLIES PRESSURE (AND INTENSIVE-STATE)) 
(IMPLIES TEMPERATURE (AND INTENSIVE-STATE)) 
(IMPLIES MASS-DENSITY (AND INTENSIVE-STATE)) 
(IMPLIES LIQUID-MASS-DENSITY (AND MASS-DENSITY)) 
(IMPLIES VAP-MASS-DENSITY (AND MASS-DENSITY)) 
(IMPLIES MOLAR-DENSITY (AND INTENSIVE-STATE)) 
(IMPLIES VAPOR-MOLAR-DENSITY (AND MOLAR-DENSITY)) 
(IMPLIES LIQUID-MOLAR-DENSITY (AND MOLAR-DENSITY)) 
(IMPLIES SPECIFIC-ENERGY (AND INTENSIVE-STATE)) 
(IMPLIES MOLE-SPEC-TOTAL-ENERGY (AND SPECIFIC-ENERGY)) 
(IMPLIES MASS-SPEC-TOTAL-ENERGY (AND SPECIFIC-ENERGY)) 
(IMPLIES MASS-SPEC-INT-ENERGY (AND SPECIFIC-ENERGY)) 
(IMPLIES MOLE-SPEC-INT-ENERGY (AND SPECIFIC-ENERGY)) 
(IMPLIES MASS-SPEC-ENTHALPY (AND SPECIFIC-ENERGY)) 
(IMPLIES MOLE-SPEC-ENTHALPY (AND SPECIFIC-ENERGY)) 
(IMPLIES LIQUID-ENTHALPY (AND MOLE-SPEC-ENTHALPY)) 
(IMPLIES VAPOR-ENTHALPY (AND MOLE-SPEC-ENTHALPY)) 
(IMPLIES GENERALIZED-FLUX (AND PHYSICAL-QUANTITY)) 
(IMPLIES EXCHANGE-FLUX (AND TRANSMITTED-QUANTITY GENERALIZED-FLUX)) 
(IMPLIES MASS-FLUX (AND EXCHANGE-FLUX)) 
(IMPLIES CONVECTIVE-MASS-FLUX (AND MASS-FLUX)) 
(IMPLIES DIFFUSIVE-MASS-FLUX (AND MASS-FLUX)) 
(IMPLIES ENERGY-FLUX (AND EXCHANGE-FLUX)) 
(IMPLIES ENTHALPY-FLUX (AND ENERGY-FLUX)) 
(IMPLIES HEAT-FLUX (AND ENERGY-FLUX)) 
(IMPLIES MOMENTUM-FLUX (AND EXCHANGE-FLUX)) 
(IMPLIES MOLAR-FLUX (AND EXCHANGE-FLUX)) 
(IMPLIES CONVECTIVE-MOLAR-FLUX (AND MOLAR-FLUX)) 
(IMPLIES DIFFUSIVE-MOLAR-FLUX (AND MOLAR-FLUX)) 
(IMPLIES SOURCE-FLUX (AND FURTHER-PROCESS-QUANTITY GENERALIZED-FLUX)) 
(IMPLIES HOLDUP-VARIATION (AND GENERALIZED-FLUX)) 
(IMPLIES INTRAPHASE-TRANSPORT (AND GENERALIZED-FLUX)) 
(IMPLIES PHENOMENOLOGICAL-COEFFICIENT (AND FURTHER-PROCESS-QUANTITY PHYSICAL-QUANTITY)) 
(IMPLIES REACTION-RATE-COEFFICIENT (AND PHENOMENOLOGICAL-COEFFICIENT)) 
(IMPLIES FREQUENCY-FACTOR (AND REACTION-RATE-COEFFICIENT)) 
(IMPLIES INTRAPHASE-TRANSPORT-COEFFICIENT (AND PHENOMENOLOGICAL-COEFFICIENT)) 
(IMPLIES DIFFUSIVITY (AND INTRAPHASE-TRANSPORT-COEFFICIENT)) 
(IMPLIES THERMAL-CONDUCTIVITY (AND INTRAPHASE-TRANSPORT-COEFFICIENT)) 
(IMPLIES LIQUID-CONDUCTIVITY (AND THERMAL-CONDUCTIVITY)) 
(IMPLIES VAP-CONDUCTIVITY (AND THERMAL-CONDUCTIVITY)) 
(IMPLIES VISCOSITY (AND INTRAPHASE-TRANSPORT-COEFFICIENT)) 
(IMPLIES INTERPHASE-TRANSPORT-COEFFICIENT (AND PHENOMENOLOGICAL-COEFFICIENT)) 
(IMPLIES HEAT-TRANSFER-COEFFICIENT (AND INTERPHASE-TRANSPORT-COEFFICIENT)) 
(IMPLIES MASS-TRANSFER-COEFFICIENT (AND INTERPHASE-TRANSPORT-COEFFICIENT)) 
(IMPLIES EQUILIBRIUM-RATIO (AND PHENOMENOLOGICAL-COEFFICIENT)) 
(IMPLIES PHASE-EQ-RATIO (AND EQUILIBRIUM-RATIO)) 
(IMPLIES REACTION-EQ-RATIO (AND EQUILIBRIUM-RATIO)) 
(IMPLIES GENERALIZED-FORCE (AND PHYSICAL-QUANTITY)) 
(IMPLIES CONCENTRATION-GRADIENT (AND GENERALIZED-FORCE)) 
(IMPLIES PRESSURE-GRADIENT (AND GENERALIZED-FORCE)) 
(IMPLIES TEMPERATURE-GRADIENT (AND GENERALIZED-FORCE)) 
(IMPLIES GEOMETRICAL-QUANTITY (AND FURTHER-PROCESS-QUANTITY PHYSICAL-QUANTITY)) 
(IMPLIES LENGTH (AND GEOMETRICAL-QUANTITY)) 
(IMPLIES VOLUME (AND GEOMETRICAL-QUANTITY)) 
(IMPLIES AREA (AND GEOMETRICAL-QUANTITY)) 
(IMPLIES BALANCE-QUANTITY (AND PROCESS-QUANTITY)) 
(IMPLIES INTENSIVE-PROCESS-QUANTITY (AND PROCESS-QUANTITY)) 
(IMPLIES TRANSMITTED-QUANTITY (AND PROCESS-QUANTITY)) 
(IMPLIES NON-PHYSICAL-QUANTITY (AND PROCESS-QUANTITY TRANSMITTED-QUANTITY FURTHER-PROCESS-QUANTITY)) 
(IMPLIES SIGNAL (AND NON-PHYSICAL-QUANTITY)) 
(IMPLIES FURTHER-PROCESS-QUANTITY (AND PROCESS-QUANTITY)) 
(IMPLIES PHENOMENA (AND BEHAVIORAL-MODELING-CONCEPT)) 
(IMPLIES PHASE-CONNECTION-PHENOMENA (AND PHENOMENA)) 
(IMPLIES SURFACE-DIFFUSION (AND PHASE-CONNECTION-PHENOMENA)) 
(IMPLIES SURFACE-REACTION (AND PHASE-CONNECTION-PHENOMENA)) 
(IMPLIES ADSORPTION (AND PHASE-CONNECTION-PHENOMENA)) 
(IMPLIES HEAT-LOSS (AND PHASE-CONNECTION-PHENOMENA)) 
(IMPLIES GENERALIZED-PHASE-PHENOMENA (AND PHENOMENA)) 
(IMPLIES PHASE-EQUILIBRIUM (AND GENERALIZED-PHASE-PHENOMENA)) 
(IMPLIES MASS-CAPACITANCE (AND GENERALIZED-PHASE-PHENOMENA)) 
(IMPLIES ENERGY-CAPACITANCE (AND GENERALIZED-PHASE-PHENOMENA)) 
(IMPLIES IMPULSE-CAPACITANCE (AND GENERALIZED-PHASE-PHENOMENA)) 
(IMPLIES MASS-DIFFUSION (AND GENERALIZED-PHASE-PHENOMENA)) 
(IMPLIES HEAT-DIFFUSION (AND GENERALIZED-PHASE-PHENOMENA)) 
(IMPLIES CHEMICAL-REACTION (AND GENERALIZED-PHASE-PHENOMENA)) 
(IMPLIES THERMAL-EQUILIBRIUM (AND GENERALIZED-PHASE-PHENOMENA)) 
(IMPLIES ACTING-VOLUME-FORCES (AND GENERALIZED-PHASE-PHENOMENA)) 
(IMPLIES EQUATION (AND (ALL CONTAINING PROCESS-QUANTITY) (ALL COMPUTING-IN-INDEX-TOOL PROCESS-QUANTITY) (ALL COMPUTING-IN-SOLVABILITY-TOOL PROCESS-QUANTITY) (SOME COUNTER INTEGER) (SOME ARRAY-DEPENDENCY TEXT) (SOME ARRAY TRUTH-VALUE) (SOME DIFFERENTIAL TRUTH-VALUE) (SOME COMMENT TEXT) (SOME SPEEDUP-NOTATION TEXT) (SOME MULTIPLE-DEPENDENCY TEXT) (SOME MULTIPLE-START-DEPEND TEXT) (SOME MULTIPLE TRUTH-VALUE) (SOME TEMPLATE TEXT) (SOME VARIABLES TOP) (SOME EXPANDED-EQUATION TEXT) (SOME EQUATION TEXT) (SOME VIEW TOP) (SOME STAT SYMBOL) BEHAVIORAL-MODELING-CONCEPT)) 
(IMPLIES PHYSICAL-EQUATION (AND EQUATION)) 
(IMPLIES GEOMETRY-EQUATION (AND PHYSICAL-EQUATION)) 
(IMPLIES CONSTRAINTS (AND PHYSICAL-EQUATION)) 
(IMPLIES VOLUME-CONSTRAINT (AND CONSTRAINTS)) 
(IMPLIES EQUILIBRIUM-CONSTRAINT (AND CONSTRAINTS)) 
(IMPLIES TEMP-EQU-CONSTRAINT (AND EQUILIBRIUM-CONSTRAINT)) 
(IMPLIES PHASE-EQU-CONSTRAINT (AND EQUILIBRIUM-CONSTRAINT)) 
(IMPLIES REACT-EQU-CONSTRAINT (AND EQUILIBRIUM-CONSTRAINT)) 
(IMPLIES MECHAN-EQU-CONSTRAINT (AND EQUILIBRIUM-CONSTRAINT)) 
(IMPLIES CLOSING-EQUATION (AND CONSTRAINTS)) 
(IMPLIES SUM-OF-MOLE-FRACTIONS (AND CLOSING-EQUATION)) 
(IMPLIES SUM-OF-DIFFUSIVE-FLUXES (AND CLOSING-EQUATION)) 
(IMPLIES SUM-OF-MASS-FRACTIONS (AND CLOSING-EQUATION)) 
(IMPLIES BALANCE-EQUATION (AND (SOME SOURCE-TERM SYMBOL) (SOME EXCHANGE-TERM SYMBOL) (SOME TRANSPORT-TERM SYMBOL) (SOME HOLDUP-TERM SYMBOL) PHYSICAL-EQUATION)) 
(IMPLIES ENERGY-BALANCE-EQ (AND BALANCE-EQUATION)) 
(IMPLIES DIFFERENTIAL-TOTAL-ENERGY-BAL-EQ (AND ENERGY-BALANCE-EQ)) 
(IMPLIES DIFFERENTIAL-ENTHALPY-BAL-EQ (AND DIFFERENTIAL-TOTAL-ENERGY-BAL-EQ)) 
(IMPLIES DIFFERENTIAL-INTERN-ENERGY-BAL-EQ (AND DIFFERENTIAL-TOTAL-ENERGY-BAL-EQ)) 
(IMPLIES INTEGRAL-TOTAL-ENERGY-BAL-EQ (AND ENERGY-BALANCE-EQ)) 
(IMPLIES INTEGRAL-ENTHALPY-BAL-EQ (AND INTEGRAL-TOTAL-ENERGY-BAL-EQ)) 
(IMPLIES INTEGRAL-INTERN-ENERGY-BAL-EQ (AND INTEGRAL-TOTAL-ENERGY-BAL-EQ)) 
(IMPLIES MASS-BALANCE-EQ (AND BALANCE-EQUATION)) 
(IMPLIES TOTAL-MASS-BAL-EQ (AND MASS-BALANCE-EQ)) 
(IMPLIES DIFFERENTIAL-TOT-MASS-BAL-EQ (AND TOTAL-MASS-BAL-EQ)) 
(IMPLIES INTEGRAL-TOT-MASS-BAL-EQ (AND TOTAL-MASS-BAL-EQ)) 
(IMPLIES INTEGRAL-TOT-MASS-MOLAR-UNITS-BAL-EQ (AND INTEGRAL-TOT-MASS-BAL-EQ)) 
(IMPLIES COMPONENT-BAL-EQ (AND MASS-BALANCE-EQ)) 
(IMPLIES INTEGRAL-COMP-BAL-EQ (AND COMPONENT-BAL-EQ)) 
(IMPLIES INTEGRAL-COMP-MOLAR-UNITS-BAL-EQ (AND INTEGRAL-COMP-BAL-EQ)) 
(IMPLIES DIFFERENTIAL-COMP-BAL-EQ (AND COMPONENT-BAL-EQ)) 
(IMPLIES MOMENTUM-BALANCE-EQ (AND BALANCE-EQUATION)) 
(IMPLIES INTEGRAL-MOMENT-BAL-EQ (AND MOMENTUM-BALANCE-EQ)) 
(IMPLIES DIFFERENTIAL-MOMENT-BAL-EQ (AND MOMENTUM-BALANCE-EQ)) 
(IMPLIES NO-OF-PARTICLES-BAL-EQ (AND BALANCE-EQUATION)) 
(IMPLIES CONSTITUTIVE-EQUATION (AND PHYSICAL-EQUATION)) 
(IMPLIES GENERAL-FLUX-EQUATION (AND CONSTITUTIVE-EQUATION)) 
(IMPLIES EXCHANGE-EQUATION (AND GENERAL-FLUX-EQUATION)) 
(IMPLIES MASS-TRANSFER-EQ (AND EXCHANGE-EQUATION)) 
(IMPLIES DIFF-MASS-TRANSFER-EQ (AND MASS-TRANSFER-EQ)) 
(IMPLIES CONV-MASS-TRANSFER-EQ (AND MASS-TRANSFER-EQ)) 
(IMPLIES ENERGY-TRANSFER-EQ (AND EXCHANGE-EQUATION)) 
(IMPLIES CONV-ENERGY-TRANSFER-EQ (AND ENERGY-TRANSFER-EQ)) 
(IMPLIES DIFF-ENERGY-TRANSFER-EQ (AND ENERGY-TRANSFER-EQ)) 
(IMPLIES HEAT-TRANSFER-EQ (AND DIFF-ENERGY-TRANSFER-EQ)) 
(IMPLIES MASS-DIFF-ENERGY-TRANSF-EQ (AND DIFF-ENERGY-TRANSFER-EQ)) 
(IMPLIES RADIATION-EQ (AND ENERGY-TRANSFER-EQ)) 
(IMPLIES MOMENTUM-TRANSFER-EQ (AND EXCHANGE-EQUATION)) 
(IMPLIES SOURCE-EQUATION (AND GENERAL-FLUX-EQUATION)) 
(IMPLIES REACTION-RATE-EQ (AND SOURCE-EQUATION)) 
(IMPLIES FREQUENCY-FACTOR-EQUATION (AND REACTION-RATE-EQ)) 
(IMPLIES VOL-REACTION-RATE-EQ (AND REACTION-RATE-EQ)) 
(IMPLIES SURF-REACTION-RATE-EQ (AND REACTION-RATE-EQ)) 
(IMPLIES GAS-RADIATION-EQ (AND SOURCE-EQUATION)) 
(IMPLIES TECHNICAL-WORK-RATE-EQ (AND SOURCE-EQUATION)) 
(IMPLIES VOLUME-CHANGE-EQ (AND SOURCE-EQUATION)) 
(IMPLIES VOLUME-FORCE-EQ (AND SOURCE-EQUATION)) 
(IMPLIES GRAVITATION-FORCE-EQ (AND VOLUME-FORCE-EQ)) 
(IMPLIES TRANSPORT-EQUATION (AND GENERAL-FLUX-EQUATION)) 
(IMPLIES MOMENTUM-TRANSPORT-EQ (AND TRANSPORT-EQUATION)) 
(IMPLIES DIFF-MOMENT-TRANSPORT-EQ (AND MOMENTUM-TRANSPORT-EQ)) 
(IMPLIES CONV-MOMENT-TRANSPORT-EQ (AND MOMENTUM-TRANSPORT-EQ)) 
(IMPLIES ENERGY-TRANSPORT-EQ (AND TRANSPORT-EQUATION)) 
(IMPLIES MASS-DIFF-ENERGY-TRANSP-EQ (AND ENERGY-TRANSPORT-EQ)) 
(IMPLIES DIFF-ENERGY-TRANSPORT-EQ (AND ENERGY-TRANSPORT-EQ)) 
(IMPLIES HEAT-CONDUCTION-EQ (AND DIFF-ENERGY-TRANSPORT-EQ)) 
(IMPLIES CONV-ENERGY-TRANSPORT-EQ (AND ENERGY-TRANSPORT-EQ)) 
(IMPLIES MASS-TRANSPORT-EQ (AND TRANSPORT-EQUATION)) 
(IMPLIES DIFF-MASS-TRANSPORT-EQ (AND MASS-TRANSPORT-EQ)) 
(IMPLIES CONV-MASS-TRANSPORT-EQ (AND MASS-TRANSPORT-EQ)) 
(IMPLIES THERMO-STATE-FUNCTION (AND CONSTITUTIVE-EQUATION)) 
(IMPLIES EXTENSIVE-THERMO-STATE-EQ (AND THERMO-STATE-FUNCTION)) 
(IMPLIES INTENSIVE-THERMO-STATE-EQ (AND THERMO-STATE-FUNCTION)) 
(IMPLIES SPECIFIC-INTERN-ENERGY-EQ (AND INTENSIVE-THERMO-STATE-EQ)) 
(IMPLIES SPECIFIC-HEAT-EQ (AND INTENSIVE-THERMO-STATE-EQ)) 
(IMPLIES SPECIFIC-ENTHALPY-EQ (AND INTENSIVE-THERMO-STATE-EQ)) 
(IMPLIES SUBSTANCE-DENSITY-EQ (AND INTENSIVE-THERMO-STATE-EQ)) 
(IMPLIES PHENOM-COEFF-EQUATION (AND CONSTITUTIVE-EQUATION)) 
(IMPLIES INTERPHASE-TRANSP-COEFF-EQ (AND PHENOM-COEFF-EQUATION)) 
(IMPLIES HEAT-TRANSFER-COEFF-EQ (AND INTERPHASE-TRANSP-COEFF-EQ)) 
(IMPLIES MASS-TRANSFER-COEFF-EQ (AND INTERPHASE-TRANSP-COEFF-EQ)) 
(IMPLIES INTRAPHASE-TRANSP-COEFF-EQ (AND PHENOM-COEFF-EQUATION)) 
(IMPLIES DIFFUSIVITY-EQ (AND INTRAPHASE-TRANSP-COEFF-EQ)) 
(IMPLIES VISCOSITY-EQ (AND INTRAPHASE-TRANSP-COEFF-EQ)) 
(IMPLIES THERM-CONDUCTIVITY-EQ (AND INTRAPHASE-TRANSP-COEFF-EQ)) 
(IMPLIES DISPERSION-COEFF-EQ (AND INTRAPHASE-TRANSP-COEFF-EQ)) 
(IMPLIES DISPERSION-COEFF-GAS-EQ (AND DISPERSION-COEFF-EQ)) 
(IMPLIES MANGARTZ-PILHOFER-EQ (AND DISPERSION-COEFF-GAS-EQ)) 
(IMPLIES FIELDS-DAVIDSON-EQ (AND DISPERSION-COEFF-GAS-EQ)) 
(IMPLIES DISPERSION-COEFF-LIQ-EQ (AND DISPERSION-COEFF-EQ)) 
(IMPLIES DECKWER-BURCKHARDT-ZOLL-EQ (AND DISPERSION-COEFF-LIQ-EQ)) 
(IMPLIES DECKWER-EQ (AND DISPERSION-COEFF-LIQ-EQ)) 
(IMPLIES REACTION-RATE-COEFF-EQ (AND PHENOM-COEFF-EQUATION)) 
(IMPLIES DEFINITION-EQUATION (AND PHYSICAL-EQUATION)) 
(IMPLIES VOLUME-DEFINITION-EQUATION (AND DEFINITION-EQUATION)) 
(IMPLIES IDENTITY-EQUATION (AND DEFINITION-EQUATION)) 
(IMPLIES TOTAL-MOLAR-HOLDUP-DEFINITION-EQUATION (AND DEFINITION-EQUATION)) 
(IMPLIES TOTAL-ENERGY-DEFINITION-EQUATION (AND DEFINITION-EQUATION)) 
(IMPLIES NON-PHYSICAL-EQUATION (AND EQUATION)) 
(IMPLIES PROCEDURE-DEFINITION (AND (SOME COMMENT TEXT) (SOME CODE TOP) (SOME STREAM TRUTH-VALUE) (SOME POSTCALL TRUTH-VALUE) (SOME PRECALL TRUTH-VALUE) (SOME SPACE INTEGER) (SOME RESULTS TOP) (SOME PARAMS TOP) (SOME FORTRAN-NAME TEXT) BEHAVIORAL-MODELING-CONCEPT)) 
(IMPLIES PROCEDURE-CALL (AND (SOME COMMENT TEXT) (SOME DEFINITION SYMBOL) (SOME INTERFACE SYMBOL) (SOME DIFFERENTIAL TRUTH-VALUE) (SOME ARRAY-DEPENDENCY TEXT) (SOME ARRAY TRUTH-VALUE) (SOME MULTIPLE-DEPENDENCY TEXT) (SOME MULTIPLE TRUTH-VALUE) (SOME RESULTS-TEMPLATE TEXT) (SOME RESULTS TOP) (SOME PARAMS-TEMPLATE TEXT) (SOME PARAMS TOP) (SOME STAT SYMBOL) BEHAVIORAL-MODELING-CONCEPT)) 
(IMPLIES PROPERTIES-PLUS-CALL (AND PROCEDURE-CALL)) 
(IMPLIES DENS-MOL-LIQ-CALL (AND PROPERTIES-PLUS-CALL)) 
(IMPLIES CP-MOL-VAP-CALL (AND PROPERTIES-PLUS-CALL)) 
(IMPLIES CP-MOL-LIQ-CALL (AND PROPERTIES-PLUS-CALL)) 
(IMPLIES ACT-COEFF-LIQ-CALL (AND PROPERTIES-PLUS-CALL)) 
(IMPLIES DENS-MOL-VAP-CALL (AND PROPERTIES-PLUS-CALL)) 
(IMPLIES ENTH-MOL-LIQ-CALL (AND PROPERTIES-PLUS-CALL)) 
(IMPLIES ENTH-MOL-VAP-CALL (AND PROPERTIES-PLUS-CALL)) 
(IMPLIES K-VALUES-CALL (AND PROPERTIES-PLUS-CALL)) 
(IMPLIES BUBT-CALL (AND PROPERTIES-PLUS-CALL)) 
(IMPLIES CV-MOL-LIQ-CALL (AND PROPERTIES-PLUS-CALL)) 
(IMPLIES CV-MOL-VAP-CALL (AND PROPERTIES-PLUS-CALL)) 
(IMPLIES BEHAVIOR (AND BEHAVIORAL-MODELING-CONCEPT)) 
(IMPLIES ELEMENTARY-DEVICE-BEHAVIOR (AND BEHAVIOR)) 
(IMPLIES GENERALIZED-PHASE-BEHAVIOR (AND (SOME BALANCE-QUANTITIES TOP) ELEMENTARY-DEVICE-BEHAVIOR)) 
(IMPLIES HOMOGENEOUS-PHASE-BEHAVIOR (AND GENERALIZED-PHASE-BEHAVIOR)) 
(IMPLIES HOMOGENEOUS-WELL-MIXED-PHASE-BEHAVIOR (AND HOMOGENEOUS-PHASE-BEHAVIOR)) 
(IMPLIES HOMOGENEOUS-MACROSCOPIC-PHASE-BEHAVIOR (AND HOMOGENEOUS-PHASE-BEHAVIOR)) 
(IMPLIES QUASIHOMOGENEOUS-PHASE-BEHAVIOR (AND GENERALIZED-PHASE-BEHAVIOR)) 
(IMPLIES SIGNAL-TRANSFORMER-BEHAVIOR (AND ELEMENTARY-DEVICE-BEHAVIOR)) 
(IMPLIES PI-BEHAVIOR (AND SIGNAL-TRANSFORMER-BEHAVIOR)) 
(IMPLIES PT1-BEHAVIOR (AND SIGNAL-TRANSFORMER-BEHAVIOR)) 
(IMPLIES P-BEHAVIOR (AND SIGNAL-TRANSFORMER-BEHAVIOR)) 
(IMPLIES PD-BEHAVIOR (AND SIGNAL-TRANSFORMER-BEHAVIOR)) 
(IMPLIES PID-BEHAVIOR (AND SIGNAL-TRANSFORMER-BEHAVIOR)) 
(IMPLIES ELEMENTARY-CONNECTION-BEHAVIOR (AND BEHAVIOR)) 
(IMPLIES SIM-STREAM (AND (SOME PPDS TEXT) (SOME TYPE SYMBOL) (SOME VARIABLES TOP) BEHAVIORAL-MODELING-CONCEPT)) 
(IMPLIES SIM-INPUT-STREAM (AND SIM-STREAM)) 
(IMPLIES SIM-OUTPUT-STREAM (AND SIM-STREAM)) 
(IMPLIES SIM-CONNECTION-STREAM (AND SIM-STREAM)) 
(IMPLIES STRUCTURAL-MODELING-CONCEPT (AND MODELING-CONCEPT)) 
(IMPLIES GENERIC-CONNECTION-POST (AND (SOME SUPERIOR-CONNECTION-HOLD TEXT) STRUCTURAL-MODELING-CONCEPT)) 
(IMPLIES MODELING-OBJECT (AND (SOME IMPLEMENTATION-TYPE SYMBOL) (SOME POSSIBLE-CONTEXTS TOP) (SOME ACTIVE-CONTEXT TOP) (SOME UNIQUE-ID SYMBOL) (SOME STATUS SYMBOL) STRUCTURAL-MODELING-CONCEPT)) 
(IMPLIES GENERIC-DEVICE (AND MODELING-OBJECT)) 
(IMPLIES COMPOSITE-DEVICE (AND GENERIC-DEVICE)) 
(IMPLIES PROCESS (AND COMPOSITE-DEVICE)) 
(IMPLIES BUBBLE-COLUMN (AND COMPOSITE-DEVICE)) 
(IMPLIES ELEMENTARY-DEVICE (AND GENERIC-DEVICE)) 
(IMPLIES GENERALIZED-PHASE (AND ELEMENTARY-DEVICE)) 
(IMPLIES PARTICULATE-PHASE (AND GENERALIZED-PHASE)) 
(IMPLIES QUASI-HOMOGENEOUS-PHASE (AND GENERALIZED-PHASE)) 
(IMPLIES HOMOGENEOUS-PHASE (AND GENERALIZED-PHASE)) 
(IMPLIES WELL-MIXED-PHASE (AND HOMOGENEOUS-PHASE)) 
(IMPLIES MACROSCOPIC-PHASE (AND HOMOGENEOUS-PHASE)) 
(IMPLIES SIGNAL-TRANSFORMER (AND ELEMENTARY-DEVICE)) 
(IMPLIES PI-ELEMENT (AND SIGNAL-TRANSFORMER)) 
(IMPLIES P-ELEMENT (AND SIGNAL-TRANSFORMER)) 
(IMPLIES PT1-ELEMENT (AND SIGNAL-TRANSFORMER)) 
(IMPLIES GENERIC-CONNECTION (AND (SOME RIGHT-INTERFACE-DIRECTION SYMBOL) (SOME LEFT-INTERFACE-DIRECTION SYMBOL) (SOME LEFT-INTERFACE SYMBOL) (SOME RIGHT-INTERFACE SYMBOL) MODELING-OBJECT)) 
(IMPLIES COMPOSITE-CONNECTION (AND GENERIC-CONNECTION)) 
(IMPLIES ELEMENTARY-CONNECTION (AND GENERIC-CONNECTION)) 
(IMPLIES PHASE-CONNECTION (AND ELEMENTARY-CONNECTION)) 
(IMPLIES VALVE-CONNECTION (AND PHASE-CONNECTION)) 
(IMPLIES PERMEABLE-VALVE (AND VALVE-CONNECTION)) 
(IMPLIES DIRECTED-PERMEABLE-VALVE (AND PERMEABLE-VALVE)) 
(IMPLIES SEMIPERMEABLE-VALVE (AND VALVE-CONNECTION)) 
(IMPLIES DIRECTED-SEMIPERMEABLE-VALVE (AND SEMIPERMEABLE-VALVE)) 
(IMPLIES IMPERMEABLE-VALVE (AND VALVE-CONNECTION)) 
(IMPLIES DIRECTED-IMPERMEABLE-VALVE (AND IMPERMEABLE-VALVE)) 
(IMPLIES FILM-CONNECTION (AND PHASE-CONNECTION)) 
(IMPLIES THREE-FILM (AND FILM-CONNECTION)) 
(IMPLIES DIRECTED-THREE-FILM (AND THREE-FILM)) 
(IMPLIES TWO-FILM (AND FILM-CONNECTION)) 
(IMPLIES DIRECTED-TWO-FILM (AND TWO-FILM)) 
(IMPLIES ONE-FILM (AND FILM-CONNECTION)) 
(IMPLIES DIRECTED-ONE-FILM (AND ONE-FILM)) 
(IMPLIES SIGNAL-CONNECTION (AND ELEMENTARY-CONNECTION)) 
(IMPLIES ENVIRONMENT-TERMINAL (AND MODELING-OBJECT)) 
(IMPLIES SOURCE (AND ENVIRONMENT-TERMINAL)) 
(IMPLIES SINK (AND ENVIRONMENT-TERMINAL)) 
(IMPLIES SOURCE-OR-SINK (AND ENVIRONMENT-TERMINAL)) 
(IMPLIES MODELING-OBJECT-INTERFACE (AND (SOME COMMENT TEXT) (SOME TRANSMITTED-QUANTITIES TOP) (SOME CONNECTION-COUPLING SYMBOL) (SOME DEVICE-COUPLING SYMBOL) (SOME POSITION INTEGER) (SOME SIDE SYMBOL) (SOME ACTUAL-DIRECTION SYMBOL) (SOME MULTIPLE TRUTH-VALUE) (SOME TYPE SYMBOL) (SOME CONNECTIVITY SYMBOL) (SOME STATUS SYMBOL) STRUCTURAL-MODELING-CONCEPT)) 
(IMPLIES GENERIC-INTERFACE (AND MODELING-OBJECT-INTERFACE)) 
(IMPLIES ELEMENTARY-INTERFACE (AND GENERIC-INTERFACE)) 
(IMPLIES PHASE-INTERFACE (AND (SOME TRANSMITTED-PHASES TOP) (SOME NORMAL-MODE-DIRECTION SYMBOL) ELEMENTARY-INTERFACE)) 
(IMPLIES VALVE-INTERFACE (AND PHASE-INTERFACE)) 
(IMPLIES VALVE-IN-INTERFACE (AND VALVE-INTERFACE)) 
(IMPLIES VALVE-OUT-INTERFACE (AND VALVE-INTERFACE)) 
(IMPLIES FILM-INTERFACE (AND PHASE-INTERFACE)) 
(IMPLIES FILM-IN-INTERFACE (AND FILM-INTERFACE)) 
(IMPLIES FILM-OUT-INTERFACE (AND FILM-INTERFACE)) 
(IMPLIES SIGNAL-INTERFACE (AND ELEMENTARY-INTERFACE)) 
(IMPLIES SIGNAL-IN-INTERFACE (AND SIGNAL-INTERFACE)) 
(IMPLIES SIGNAL-OUT-INTERFACE (AND SIGNAL-INTERFACE)) 
(IMPLIES COMPOSITE-INTERFACE (AND GENERIC-INTERFACE)) 
(IMPLIES MODELING-OBJECT-IMPLEMENTATION (AND (ALL RECEIVING BEHAVIORAL-MODELING-CONCEPT) (SOME SOLVABILITY SYMBOL) (SOME DOCUMENTATION-TEMPLATE SYMBOL) (SOME DOF VALUE) (SOME EQUATIONS TOP) STRUCTURAL-MODELING-CONCEPT)) 
(IMPLIES DEVICE-IMPLEMENTATION (AND MODELING-OBJECT-IMPLEMENTATION)) 
(IMPLIES ELEMENTARY-DEVICE-IMPLEMENTATION (AND (SOME BEHAVIOR SYMBOL) DEVICE-IMPLEMENTATION)) 
(IMPLIES GENERALIZED-PHASE-IMPLEMENTATION (AND (SOME PHENOMENA TOP) (SOME FURTHER-PROCESS-QUANTITIES TOP) (SOME INTENSIVE-PROCESS-QUANTITIES TOP) (SOME BALANCE-QUANTITIES TOP) (SOME SHAPE TOP) (SOME COORDINATE-SYSTEM SYMBOL) (SOME SPATIAL-RESOLUTION SYMBOL) (SOME PHASES TOP) (SOME AGGREGATE-STATE TOP) (SOME DISPERSIVE-STATE SYMBOL) ELEMENTARY-DEVICE-IMPLEMENTATION)) 
(IMPLIES PARTICULATE-PHASE-IMPLEMENTATION (AND GENERALIZED-PHASE-IMPLEMENTATION)) 
(IMPLIES QUASI-HOMOGENEOUS-PHASE-IMPLEMENTATION (AND GENERALIZED-PHASE-IMPLEMENTATION)) 
(IMPLIES HOMOGENEOUS-PHASE-IMPLEMENTATION (AND GENERALIZED-PHASE-IMPLEMENTATION)) 
(IMPLIES WELL-MIXED-PHASE-IMPLEMENTATION (AND HOMOGENEOUS-PHASE-IMPLEMENTATION)) 
(IMPLIES MACROSCOPIC-PHASE-IMPLEMENTATION (AND HOMOGENEOUS-PHASE-IMPLEMENTATION)) 
(IMPLIES SIGNAL-TRANSFORMER-IMPLEMENTATION (AND (SOME BEHAVIOUR SYMBOL) (SOME ADDITIONAL-QUANTITIES TOP) ELEMENTARY-DEVICE-IMPLEMENTATION)) 
(IMPLIES P-ELEMENT-IMPLEMENTATION (AND SIGNAL-TRANSFORMER-IMPLEMENTATION)) 
(IMPLIES PT1-ELEMENT-IMPLEMENTATION (AND SIGNAL-TRANSFORMER-IMPLEMENTATION)) 
(IMPLIES PI-ELEMENT-IMPLEMENTATION (AND SIGNAL-TRANSFORMER-IMPLEMENTATION)) 
(IMPLIES COMPOSITE-DEVICE-IMPLEMENTATION (AND (SOME CONSTRAINTS TOP) DEVICE-IMPLEMENTATION)) 
(IMPLIES PROCESS-IMPLEMENTATION (AND COMPOSITE-DEVICE-IMPLEMENTATION)) 
(IMPLIES BUBBLE-COLUMN-IMPLEMENTATION (AND COMPOSITE-DEVICE-IMPLEMENTATION)) 
(IMPLIES CONNECTION-IMPLEMENTATION (AND MODELING-OBJECT-IMPLEMENTATION)) 
(IMPLIES COMPOSITE-CONNECTION-IMPLEMENTATION (AND (SOME CONSTRAINTS TOP) CONNECTION-IMPLEMENTATION)) 
(IMPLIES ELEMENTARY-CONNECTION-IMPLEMENTATION (AND (SOME BEHAVIOR SYMBOL) CONNECTION-IMPLEMENTATION)) 
(IMPLIES PHASE-CONNECTION-IMPLEMENTATION (AND (SOME DRIVING-FORCES TOP) (SOME SHAPE TOP) (SOME FURTHER-PROCESS-QUANTITIES TOP) (SOME PHENOMENA TOP) ELEMENTARY-CONNECTION-IMPLEMENTATION)) 
(IMPLIES FILM-CONNECTION-IMPLEMENTATION (AND PHASE-CONNECTION-IMPLEMENTATION)) 
(IMPLIES SINGLE-FILM-CONNECTION-IMPLEMENTATION (AND FILM-CONNECTION-IMPLEMENTATION)) 
(IMPLIES DIRECTED-SINGLE-FILM-CONNECTION-IMPLEMENTATION (AND SINGLE-FILM-CONNECTION-IMPLEMENTATION)) 
(IMPLIES TWO-FILM-CONNECTION-IMPLEMENTATION (AND FILM-CONNECTION-IMPLEMENTATION)) 
(IMPLIES DIRECTED-TWO-FILM-CONNECTION-IMPLEMENTATION (AND TWO-FILM-CONNECTION-IMPLEMENTATION)) 
(IMPLIES THREE-FILM-CONNECTION-IMPLEMENTATION (AND FILM-CONNECTION-IMPLEMENTATION)) 
(IMPLIES DIRECTED-THREE-FILM-CONNECTION-IMPLEMENTATION (AND THREE-FILM-CONNECTION-IMPLEMENTATION)) 
(IMPLIES VALVE-CONNECTION-IMPLEMENTATION (AND PHASE-CONNECTION-IMPLEMENTATION)) 
(IMPLIES IMPERMEABLE-VALVE-IMPLEMENTATION (AND VALVE-CONNECTION-IMPLEMENTATION)) 
(IMPLIES DIRECTED-IMPERMEABLE-VALVE-IMPLEMENTATION (AND IMPERMEABLE-VALVE-IMPLEMENTATION)) 
(IMPLIES PERMEABLE-VALVE-IMPLEMENTATION (AND VALVE-CONNECTION-IMPLEMENTATION)) 
(IMPLIES DIRECTED-PERMEABLE-VALVE-IMPLEMENTATION (AND PERMEABLE-VALVE-IMPLEMENTATION)) 
(IMPLIES SEMIPERMEABLE-VALVE-IMPLEMENTATION (AND VALVE-CONNECTION-IMPLEMENTATION)) 
(IMPLIES DIRECTED-SEMIPERMEABLE-VALVE-IMPLEMENTATION (AND SEMIPERMEABLE-VALVE-IMPLEMENTATION)) 
(IMPLIES SIGNAL-CONNECTION-IMPLEMENTATION (AND ELEMENTARY-CONNECTION-IMPLEMENTATION)) 
(IMPLIES ENVIRONMENT-TERMINAL-IMPLEMENTATION (AND (SOME INTENSIVE-PROCESS-QUANTITIES TOP) MODELING-OBJECT-IMPLEMENTATION)) 
(IMPLIES SOURCE-IMPLEMENTATION (AND ENVIRONMENT-TERMINAL-IMPLEMENTATION)) 
(IMPLIES SINK-IMPLEMENTATION (AND ENVIRONMENT-TERMINAL-IMPLEMENTATION)) 
(IMPLIES SOURCE-OR-SINK-IMPLEMENTATION (AND ENVIRONMENT-TERMINAL-IMPLEMENTATION)) 
(IMPLIES COUPLING (AND STRUCTURAL-MODELING-CONCEPT)) 
(IMPLIES GEOMETRICAL-MODELING-CONCEPT (AND MODELING-CONCEPT)) 
(IMPLIES BODY (AND (SOME CALCULATE-AREA TRUTH-VALUE) (SOME VOLUME FLOAT) (SOME CALCULATE-VOLUME TRUTH-VALUE) GEOMETRICAL-MODELING-CONCEPT)) 
(IMPLIES BOX (AND (SOME AREA-YZ FLOAT) (SOME AREA-XZ FLOAT) (SOME AREA-XY FLOAT) (SOME LENGTH-Z FLOAT) (SOME LENGTH-Y FLOAT) (SOME LENGTH-X FLOAT) BODY)) 
(IMPLIES CYLINDER (AND (SOME AREA-BOTTOM FLOAT) (SOME AREA-SIDE FLOAT) (SOME AREA-TOP FLOAT) (SOME LENGTH FLOAT) (SOME RADIUS FLOAT) BODY)) 
(IMPLIES SPHERE (AND (SOME EXTERNAL-AREA FLOAT) (SOME RADIUS FLOAT) BODY)) 
(IMPLIES CONE (AND (SOME AREA-BOTTOM FLOAT) (SOME AREA-SIDE FLOAT) (SOME LENGTH FLOAT) (SOME RADIUS FLOAT) BODY)) 
(IMPLIES SURFACE (AND (SOME CONSTANT-COORD SYMBOL) (SOME AUTOMATIC-UPDATE TRUTH-VALUE) GEOMETRICAL-MODELING-CONCEPT)) 
(IMPLIES PLANE (AND SURFACE)) 
(IMPLIES CYLINDER-WALL (AND (SOME AREA FLOAT) (SOME Z2 FLOAT) (SOME Z1 FLOAT) (SOME THETA2 FLOAT) (SOME THETA1 FLOAT) (SOME R2 FLOAT) (SOME R1 FLOAT) SURFACE)) 
(IMPLIES BOX-WALL (AND (SOME AREA FLOAT) (SOME Z2 FLOAT) (SOME Z1 FLOAT) (SOME Y2 FLOAT) (SOME Y1 FLOAT) (SOME X2 FLOAT) (SOME X1 FLOAT) SURFACE)) 
(IMPLIES SPHERE-SURFACE (AND (SOME AREA FLOAT) (SOME PHI2 FLOAT) (SOME PHI1 FLOAT) (SOME THETA2 FLOAT) (SOME THETA1 FLOAT) (SOME R2 FLOAT) (SOME R1 FLOAT) SURFACE)) 
(IMPLIES BODY-COORDINATE-SYSTEM (AND (SOME ORIGIN TOP) GEOMETRICAL-MODELING-CONCEPT)) 
(IMPLIES NUMERICAL-CONCEPT (AND MODELING-CONCEPT)) 
(IMPLIES SIMULATION-PARAMETER (AND (SOME DISCRETIZATION-STEP-NO-Z INTEGER) (SOME DISCRETIZATION-STEP-NO-Y INTEGER) (SOME DISCRETIZATION-STEP-NO-X INTEGER) NUMERICAL-CONCEPT))