1 assume!    [process Listener 1]
      Arguments:
        (< (cl-user::pressure cl-user::Wf) (cl-user::pressure cl-user::Wg))
        :user
      Values Returned:
        <Datum 1147>
2 find-state-completions    [process Listener 1]
      Arguments:
        <Gizmo Your friendly Gizmo>
      Values Returned:
        (<State 27> <State 26> <State 25> <State 24> <State 19> <State 18> <State 17> <State 16> <State 11> <State 10> <State 9> <State 8> <State 3> <State 2> <State 1> <State 0>)
  3 explore-exists-choices
        Arguments:
          #<Function (labels gizmo:find-state-completions gizmo::end-state-completion-search)>
        Values Returned:
          nil
    4 find-existence-choices
          Values Returned:
            (((cl-user::exists cl-user::MF5) (:not (cl-user::exists cl-user::MF5))) ((cl-user::exists cl-user::MF4) (:not (cl-user::exists cl-user::MF4))))
      5 make-existence-index
            Values Returned:
              ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (:unknown (cl-user::exists cl-user::MF4)) (:unknown (cl-user::exists cl-user::MF5)) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))
      6 boolean-choice-sets-from-unknowns
            Arguments:
              ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (:unknown (cl-user::exists cl-user::MF4)) (:unknown (cl-user::exists cl-user::MF5)) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))
            Values Returned:
              (((cl-user::exists cl-user::MF5) (:not (cl-user::exists cl-user::MF5))) ((cl-user::exists cl-user::MF4) (:not (cl-user::exists cl-user::MF4))))
    7 assume!
          Arguments:
            (cl-user::exists cl-user::MF5)
            (ltre::dds ((cl-user::exists cl-user::MF5) (:not (cl-user::exists cl-user::MF5))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 428>
    8 assume!
          Arguments:
            (cl-user::exists cl-user::MF4)
            (ltre::dds ((cl-user::exists cl-user::MF4) (:not (cl-user::exists cl-user::MF4))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 405>
    9 boolean-choice-sets-from-unknowns
          Arguments:
            ((cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas) (cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas) (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::liquid) (cl-user::can-contain-substance cl-user::G cl-user::water cl-user::liquid) (cl-user::aligned cl-user::P1))
          Values Returned:
            nil
    10 boolean-choice-sets-from-unknowns
          Arguments:
            ((cl-user::active cl-user::Wf) (cl-user::active cl-user::Wg) (cl-user::active cl-user::MF0) (cl-user::active cl-user::MF1) (cl-user::active cl-user::MF2) (cl-user::active cl-user::MF3) (cl-user::active cl-user::MF4) (cl-user::active cl-user::MF5) (cl-user::active cl-user::MF6) (cl-user::active cl-user::MF7) (cl-user::active cl-user::MF8) (:not (cl-user::active cl-user::MF9)) (cl-user::active cl-user::MF10) (cl-user::active cl-user::MF11))
          Values Returned:
            nil
    11 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1148>
    12 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::MF4)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::MF4) (cl-user::mass cl-user::MF4) (cl-user::active cl-user::MF10)) (cl-user::qprop (cl-user::pressure cl-user::MF4) (cl-user::heat cl-user::MF4) (cl-user::active cl-user::MF10)) (cl-user::qprop- (cl-user::pressure cl-user::MF4) (cl-user::volume cl-user::MF4) (cl-user::active cl-user::MF10))))
            :cwa
          Values Returned:
            <Datum 1150>
    13 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1153>
    14 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1155>
    15 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1157>
    16 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::MF5)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::MF5) (cl-user::mass cl-user::MF5) (cl-user::active cl-user::MF11)) (cl-user::qprop (cl-user::pressure cl-user::MF5) (cl-user::heat cl-user::MF5) (cl-user::active cl-user::MF11)) (cl-user::qprop- (cl-user::pressure cl-user::MF5) (cl-user::volume cl-user::MF5) (cl-user::active cl-user::MF11))))
            :cwa
          Values Returned:
            <Datum 1159>
    17 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1162>
    18 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1164>
    19 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1166>
    20 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1168>
    21 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1170>
    22 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::MF4)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::MF4) (cl-user::heat cl-user::MF4) (cl-user::finite-thermal-physob cl-user::MF4))))
            :cwa
          Values Returned:
            <Datum 1172>
    23 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1175>
    24 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1177>
    25 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1179>
    26 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::MF5)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::MF5) (cl-user::heat cl-user::MF5) (cl-user::finite-thermal-physob cl-user::MF5))))
            :cwa
          Values Returned:
            <Datum 1181>
    27 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::gas cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1184>
    28 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::gas cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1186>
    29 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::gas cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1188>
    30 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::gas cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1190>
    31 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1192>
    32 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::MF4)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::MF4) (cl-user::amount-of cl-user::water cl-user::gas cl-user::F) (cl-user::active cl-user::MF4))))
            :cwa
          Values Returned:
            <Datum 1194>
    33 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1197>
    34 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::MF5)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::MF5) (cl-user::amount-of cl-user::water cl-user::gas cl-user::G) (cl-user::active cl-user::MF5))))
            :cwa
          Values Returned:
            <Datum 1199>
    35 assume!
          Arguments:
            ((cl-user::dis (cl-user::level cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1202>
    36 assume!
          Arguments:
            ((cl-user::iis (cl-user::level cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::level cl-user::Wf) (cl-user::mass cl-user::Wf) (cl-user::active cl-user::MF6))))
            :cwa
          Values Returned:
            <Datum 1204>
    37 assume!
          Arguments:
            ((cl-user::dis (cl-user::level cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1207>
    38 assume!
          Arguments:
            ((cl-user::iis (cl-user::level cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::level cl-user::Wg) (cl-user::mass cl-user::Wg) (cl-user::active cl-user::MF7))))
            :cwa
          Values Returned:
            <Datum 1209>
    39 assume!
          Arguments:
            ((cl-user::dis (cl-user::liquid-flow-rate cl-user::MF8)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1212>
    40 assume!
          Arguments:
            ((cl-user::iis (cl-user::liquid-flow-rate cl-user::MF8)) ltre::cwa ((cl-user::qprop (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::pressure cl-user::Wg) (cl-user::active cl-user::MF8)) (cl-user::qprop- (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::pressure cl-user::Wf) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1214>
    41 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1217>
    42 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::Wf) (cl-user::level cl-user::Wf) (cl-user::active cl-user::MF6))))
            :cwa
          Values Returned:
            <Datum 1219>
    43 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1222>
    44 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1224>
    45 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1226>
    46 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::Wg) (cl-user::level cl-user::Wg) (cl-user::active cl-user::MF7))))
            :cwa
          Values Returned:
            <Datum 1228>
    47 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1231>
    48 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1233>
    49 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1235>
    50 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1237>
    51 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1239>
    52 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1241>
    53 assume!
          Arguments:
            ((cl-user::dis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G))) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1243>
    54 assume!
          Arguments:
            ((cl-user::iis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G))) ltre::cwa ((cl-user::qprop (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1245>
    55 assume!
          Arguments:
            ((cl-user::dis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F))) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1248>
    56 assume!
          Arguments:
            ((cl-user::iis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F))) ltre::cwa ((cl-user::qprop (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1250>
    57 assume!
          Arguments:
            ((cl-user::dis (cl-user::bottom-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1253>
    58 assume!
          Arguments:
            ((cl-user::iis (cl-user::bottom-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1255>
    59 assume!
          Arguments:
            ((cl-user::dis (cl-user::top-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1257>
    60 assume!
          Arguments:
            ((cl-user::iis (cl-user::top-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1259>
    61 assume!
          Arguments:
            ((cl-user::dis (cl-user::bottom-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1261>
    62 assume!
          Arguments:
            ((cl-user::iis (cl-user::bottom-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1263>
    63 assume!
          Arguments:
            ((cl-user::dis (cl-user::top-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1265>
    64 assume!
          Arguments:
            ((cl-user::iis (cl-user::top-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1267>
    65 assume!
          Arguments:
            ((cl-user::dis (cl-user::density cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1269>
    66 assume!
          Arguments:
            ((cl-user::iis (cl-user::density cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1271>
    67 assume!
          Arguments:
            ((cl-user::dis (cl-user::specific-heat cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1273>
    68 assume!
          Arguments:
            ((cl-user::iis (cl-user::specific-heat cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1275>
    69 assume!
          Arguments:
            ((cl-user::dis (cl-user::thermal-conductivity cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1277>
    70 assume!
          Arguments:
            ((cl-user::iis (cl-user::thermal-conductivity cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1279>
    71 assume!
          Arguments:
            ((cl-user::dis (cl-user::max-height cl-user::P1)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1281>
    72 assume!
          Arguments:
            ((cl-user::iis (cl-user::max-height cl-user::P1)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1283>
    73 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1285>
    74 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::Wf) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::active cl-user::MF6)) (cl-user::qprop (cl-user::mass cl-user::Wf) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::active cl-user::Wf))))
            :cwa
          Values Returned:
            <Datum 1287>
    75 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1290>
    76 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::Wg) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::active cl-user::MF7)) (cl-user::qprop (cl-user::mass cl-user::Wg) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::active cl-user::Wg))))
            :cwa
          Values Returned:
            <Datum 1292>
    77 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) ltre::cwa ((cl-user::i- (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1295>
    78 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1298>
    79 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) ltre::cwa ((cl-user::i+ (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1300>
    80 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1303>
    81 assume!
          Arguments:
            ((cl-user::dis (cl-user::tboil cl-user::water cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1305>
    82 assume!
          Arguments:
            ((cl-user::iis (cl-user::tboil cl-user::water cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1307>
    83 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1309>
    84 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::Wf) (cl-user::heat cl-user::Wf) (cl-user::finite-thermal-physob cl-user::Wf))))
            :cwa
          Values Returned:
            <Datum 1311>
    85 assume!
          Arguments:
            ((cl-user::dis (cl-user::tboil cl-user::water cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1314>
    86 assume!
          Arguments:
            ((cl-user::iis (cl-user::tboil cl-user::water cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1316>
    87 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1318>
    88 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::Wg) (cl-user::heat cl-user::Wg) (cl-user::finite-thermal-physob cl-user::Wg))))
            :cwa
          Values Returned:
            <Datum 1320>
    89 assume!
          Arguments:
            (< (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5))
            (ltre::dds ((cl-user::unrelated (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5)) (< (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5)) (> (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5)) (= (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 1359>
    90 assume!
          Arguments:
            (< (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4))
            (ltre::dds ((cl-user::unrelated (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (< (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (> (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (= (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 1361>
    91 assume!
          Arguments:
            (cl-user::converge-lhs ltre::cwa ((cl-user::possible-lh (cl-user::bottom-height cl-user::G) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) 0 :> :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) :< :=) (cl-user::possible-lh (cl-user::mass cl-user::Wf) (cl-user::mass cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::level cl-user::Wf) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::pressure cl-user::Wf) (cl-user::pressure cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::liquid-flow-rate cl-user::MF8) 0 :> :=) (cl-user::possible-lh (cl-user::mass cl-user::Wg) 0 :> :=)))
            :cwa
          Values Returned:
            <Datum 1362>
    92 assume!
          Arguments:
            (cl-user::diverge-lhs ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1365>
    93 make-existence-index
          Values Returned:
            ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (cl-user::exists cl-user::MF4) (cl-user::exists cl-user::MF5) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))
    94 assume!
          Arguments:
            (= (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4))
            (ltre::dds ((cl-user::unrelated (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (< (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (> (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (= (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 1368>
    95 assume!
          Arguments:
            (cl-user::converge-lhs ltre::cwa ((cl-user::possible-lh (cl-user::bottom-height cl-user::G) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) 0 :> :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) :< :=) (cl-user::possible-lh (cl-user::mass cl-user::Wf) (cl-user::mass cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::level cl-user::Wf) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::pressure cl-user::Wf) (cl-user::pressure cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::liquid-flow-rate cl-user::MF8) 0 :> :=) (cl-user::possible-lh (cl-user::mass cl-user::Wg) 0 :> :=)))
            :cwa
          Values Returned:
            <Datum 1362>
    96 assume!
          Arguments:
            (cl-user::diverge-lhs ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1365>
    97 make-existence-index
          Values Returned:
            ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (cl-user::exists cl-user::MF4) (cl-user::exists cl-user::MF5) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))
    98 assume!
          Arguments:
            (= (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5))
            (ltre::dds ((cl-user::unrelated (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5)) (< (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5)) (> (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5)) (= (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 1370>
    99 assume!
          Arguments:
            (< (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4))
            (ltre::dds ((cl-user::unrelated (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (< (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (> (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (= (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 1361>
    100 assume!
          Arguments:
            (cl-user::converge-lhs ltre::cwa ((cl-user::possible-lh (cl-user::bottom-height cl-user::G) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) 0 :> :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) :< :=) (cl-user::possible-lh (cl-user::mass cl-user::Wf) (cl-user::mass cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::level cl-user::Wf) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::pressure cl-user::Wf) (cl-user::pressure cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::liquid-flow-rate cl-user::MF8) 0 :> :=) (cl-user::possible-lh (cl-user::mass cl-user::Wg) 0 :> :=)))
            :cwa
          Values Returned:
            <Datum 1362>
    101 assume!
          Arguments:
            (cl-user::diverge-lhs ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1365>
    102 make-existence-index
          Values Returned:
            ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (cl-user::exists cl-user::MF4) (cl-user::exists cl-user::MF5) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))
    103 assume!
          Arguments:
            (= (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4))
            (ltre::dds ((cl-user::unrelated (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (< (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (> (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (= (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 1368>
    104 assume!
          Arguments:
            (cl-user::converge-lhs ltre::cwa ((cl-user::possible-lh (cl-user::bottom-height cl-user::G) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) 0 :> :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) :< :=) (cl-user::possible-lh (cl-user::mass cl-user::Wf) (cl-user::mass cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::level cl-user::Wf) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::pressure cl-user::Wf) (cl-user::pressure cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::liquid-flow-rate cl-user::MF8) 0 :> :=) (cl-user::possible-lh (cl-user::mass cl-user::Wg) 0 :> :=)))
            :cwa
          Values Returned:
            <Datum 1362>
    105 assume!
          Arguments:
            (cl-user::diverge-lhs ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1365>
    106 make-existence-index
          Values Returned:
            ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (cl-user::exists cl-user::MF4) (cl-user::exists cl-user::MF5) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))
    107 assume!
          Arguments:
            (:not (cl-user::exists cl-user::MF4))
            (ltre::dds ((cl-user::exists cl-user::MF4) (:not (cl-user::exists cl-user::MF4))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 405>
    108 boolean-choice-sets-from-unknowns
          Arguments:
            ((:unknown (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas)) (cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas) (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::liquid) (cl-user::can-contain-substance cl-user::G cl-user::water cl-user::liquid) (cl-user::aligned cl-user::P1))
          Values Returned:
            (((cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas) (:not (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas))))
    109 assume!
          Arguments:
            (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas)
            (ltre::dds ((cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas) (:not (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 339>
    110 boolean-choice-sets-from-unknowns
          Arguments:
            ((cl-user::active cl-user::Wf) (cl-user::active cl-user::Wg) (cl-user::active cl-user::MF0) (cl-user::active cl-user::MF1) (cl-user::active cl-user::MF2) (cl-user::active cl-user::MF3) (:not (cl-user::active cl-user::MF4)) (cl-user::active cl-user::MF5) (cl-user::active cl-user::MF6) (cl-user::active cl-user::MF7) (cl-user::active cl-user::MF8) (:not (cl-user::active cl-user::MF9)) (:not (cl-user::active cl-user::MF10)) (cl-user::active cl-user::MF11))
          Values Returned:
            nil
    111 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1157>
    112 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::MF5)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::MF5) (cl-user::mass cl-user::MF5) (cl-user::active cl-user::MF11)) (cl-user::qprop (cl-user::pressure cl-user::MF5) (cl-user::heat cl-user::MF5) (cl-user::active cl-user::MF11)) (cl-user::qprop- (cl-user::pressure cl-user::MF5) (cl-user::volume cl-user::MF5) (cl-user::active cl-user::MF11))))
            :cwa
          Values Returned:
            <Datum 1159>
    113 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1162>
    114 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1164>
    115 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1175>
    116 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1177>
    117 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1179>
    118 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::MF5)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::MF5) (cl-user::heat cl-user::MF5) (cl-user::finite-thermal-physob cl-user::MF5))))
            :cwa
          Values Returned:
            <Datum 1181>
    119 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::gas cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1184>
    120 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::gas cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1186>
    121 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::gas cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1188>
    122 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::gas cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1190>
    123 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1197>
    124 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::MF5)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::MF5) (cl-user::amount-of cl-user::water cl-user::gas cl-user::G) (cl-user::active cl-user::MF5))))
            :cwa
          Values Returned:
            <Datum 1199>
    125 assume!
          Arguments:
            ((cl-user::dis (cl-user::level cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1202>
    126 assume!
          Arguments:
            ((cl-user::iis (cl-user::level cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::level cl-user::Wf) (cl-user::mass cl-user::Wf) (cl-user::active cl-user::MF6))))
            :cwa
          Values Returned:
            <Datum 1204>
    127 assume!
          Arguments:
            ((cl-user::dis (cl-user::level cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1207>
    128 assume!
          Arguments:
            ((cl-user::iis (cl-user::level cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::level cl-user::Wg) (cl-user::mass cl-user::Wg) (cl-user::active cl-user::MF7))))
            :cwa
          Values Returned:
            <Datum 1209>
    129 assume!
          Arguments:
            ((cl-user::dis (cl-user::liquid-flow-rate cl-user::MF8)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1212>
    130 assume!
          Arguments:
            ((cl-user::iis (cl-user::liquid-flow-rate cl-user::MF8)) ltre::cwa ((cl-user::qprop (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::pressure cl-user::Wg) (cl-user::active cl-user::MF8)) (cl-user::qprop- (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::pressure cl-user::Wf) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1214>
    131 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1217>
    132 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::Wf) (cl-user::level cl-user::Wf) (cl-user::active cl-user::MF6))))
            :cwa
          Values Returned:
            <Datum 1219>
    133 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1222>
    134 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1224>
    135 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1226>
    136 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::Wg) (cl-user::level cl-user::Wg) (cl-user::active cl-user::MF7))))
            :cwa
          Values Returned:
            <Datum 1228>
    137 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1231>
    138 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1233>
    139 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1235>
    140 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1237>
    141 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1239>
    142 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1241>
    143 assume!
          Arguments:
            ((cl-user::dis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G))) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1243>
    144 assume!
          Arguments:
            ((cl-user::iis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G))) ltre::cwa ((cl-user::qprop (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1245>
    145 assume!
          Arguments:
            ((cl-user::dis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F))) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1248>
    146 assume!
          Arguments:
            ((cl-user::iis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F))) ltre::cwa ((cl-user::qprop (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1250>
    147 assume!
          Arguments:
            ((cl-user::dis (cl-user::bottom-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1253>
    148 assume!
          Arguments:
            ((cl-user::iis (cl-user::bottom-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1255>
    149 assume!
          Arguments:
            ((cl-user::dis (cl-user::top-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1257>
    150 assume!
          Arguments:
            ((cl-user::iis (cl-user::top-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1259>
    151 assume!
          Arguments:
            ((cl-user::dis (cl-user::bottom-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1261>
    152 assume!
          Arguments:
            ((cl-user::iis (cl-user::bottom-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1263>
    153 assume!
          Arguments:
            ((cl-user::dis (cl-user::top-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1265>
    154 assume!
          Arguments:
            ((cl-user::iis (cl-user::top-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1267>
    155 assume!
          Arguments:
            ((cl-user::dis (cl-user::density cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1269>
    156 assume!
          Arguments:
            ((cl-user::iis (cl-user::density cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1271>
    157 assume!
          Arguments:
            ((cl-user::dis (cl-user::specific-heat cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1273>
    158 assume!
          Arguments:
            ((cl-user::iis (cl-user::specific-heat cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1275>
    159 assume!
          Arguments:
            ((cl-user::dis (cl-user::thermal-conductivity cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1277>
    160 assume!
          Arguments:
            ((cl-user::iis (cl-user::thermal-conductivity cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1279>
    161 assume!
          Arguments:
            ((cl-user::dis (cl-user::max-height cl-user::P1)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1281>
    162 assume!
          Arguments:
            ((cl-user::iis (cl-user::max-height cl-user::P1)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1283>
    163 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1285>
    164 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::Wf) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::active cl-user::MF6)) (cl-user::qprop (cl-user::mass cl-user::Wf) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::active cl-user::Wf))))
            :cwa
          Values Returned:
            <Datum 1287>
    165 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1290>
    166 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::Wg) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::active cl-user::MF7)) (cl-user::qprop (cl-user::mass cl-user::Wg) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::active cl-user::Wg))))
            :cwa
          Values Returned:
            <Datum 1292>
    167 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) ltre::cwa ((cl-user::i- (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1295>
    168 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1298>
    169 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) ltre::cwa ((cl-user::i+ (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1300>
    170 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1303>
    171 assume!
          Arguments:
            ((cl-user::dis (cl-user::tboil cl-user::water cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1305>
    172 assume!
          Arguments:
            ((cl-user::iis (cl-user::tboil cl-user::water cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1307>
    173 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1309>
    174 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::Wf) (cl-user::heat cl-user::Wf) (cl-user::finite-thermal-physob cl-user::Wf))))
            :cwa
          Values Returned:
            <Datum 1311>
    175 assume!
          Arguments:
            ((cl-user::dis (cl-user::tboil cl-user::water cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1314>
    176 assume!
          Arguments:
            ((cl-user::iis (cl-user::tboil cl-user::water cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1316>
    177 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1318>
    178 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::Wg) (cl-user::heat cl-user::Wg) (cl-user::finite-thermal-physob cl-user::Wg))))
            :cwa
          Values Returned:
            <Datum 1320>
    179 assume!
          Arguments:
            (< (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5))
            (ltre::dds ((cl-user::unrelated (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5)) (< (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5)) (> (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5)) (= (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 1359>
    180 assume!
          Arguments:
            (cl-user::converge-lhs ltre::cwa ((cl-user::possible-lh (cl-user::bottom-height cl-user::G) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) 0 :> :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) :< :=) (cl-user::possible-lh (cl-user::mass cl-user::Wf) (cl-user::mass cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::level cl-user::Wf) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::pressure cl-user::Wf) (cl-user::pressure cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::liquid-flow-rate cl-user::MF8) 0 :> :=) (cl-user::possible-lh (cl-user::mass cl-user::Wg) 0 :> :=)))
            :cwa
          Values Returned:
            <Datum 1362>
    181 assume!
          Arguments:
            (cl-user::diverge-lhs ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1365>
    182 make-existence-index
          Values Returned:
            ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (:not (cl-user::exists cl-user::MF4)) (cl-user::exists cl-user::MF5) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))
    183 assume!
          Arguments:
            (= (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5))
            (ltre::dds ((cl-user::unrelated (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5)) (< (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5)) (> (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5)) (= (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 1370>
    184 assume!
          Arguments:
            (cl-user::converge-lhs ltre::cwa ((cl-user::possible-lh (cl-user::bottom-height cl-user::G) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) 0 :> :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) :< :=) (cl-user::possible-lh (cl-user::mass cl-user::Wf) (cl-user::mass cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::level cl-user::Wf) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::pressure cl-user::Wf) (cl-user::pressure cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::liquid-flow-rate cl-user::MF8) 0 :> :=) (cl-user::possible-lh (cl-user::mass cl-user::Wg) 0 :> :=)))
            :cwa
          Values Returned:
            <Datum 1362>
    185 assume!
          Arguments:
            (cl-user::diverge-lhs ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1365>
    186 make-existence-index
          Values Returned:
            ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (:not (cl-user::exists cl-user::MF4)) (cl-user::exists cl-user::MF5) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))
    187 assume!
          Arguments:
            (:not (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas))
            (ltre::dds ((cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas) (:not (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 339>
    188 boolean-choice-sets-from-unknowns
          Arguments:
            ((cl-user::active cl-user::Wf) (cl-user::active cl-user::Wg) (:not (cl-user::active cl-user::MF0)) (cl-user::active cl-user::MF1) (cl-user::active cl-user::MF2) (cl-user::active cl-user::MF3) (:not (cl-user::active cl-user::MF4)) (cl-user::active cl-user::MF5) (cl-user::active cl-user::MF6) (cl-user::active cl-user::MF7) (cl-user::active cl-user::MF8) (:not (cl-user::active cl-user::MF9)) (:not (cl-user::active cl-user::MF10)) (cl-user::active cl-user::MF11))
          Values Returned:
            nil
    189 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1157>
    190 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::MF5)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::MF5) (cl-user::mass cl-user::MF5) (cl-user::active cl-user::MF11)) (cl-user::qprop (cl-user::pressure cl-user::MF5) (cl-user::heat cl-user::MF5) (cl-user::active cl-user::MF11)) (cl-user::qprop- (cl-user::pressure cl-user::MF5) (cl-user::volume cl-user::MF5) (cl-user::active cl-user::MF11))))
            :cwa
          Values Returned:
            <Datum 1159>
    191 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1162>
    192 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1164>
    193 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1175>
    194 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1177>
    195 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1179>
    196 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::MF5)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::MF5) (cl-user::heat cl-user::MF5) (cl-user::finite-thermal-physob cl-user::MF5))))
            :cwa
          Values Returned:
            <Datum 1181>
    197 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::gas cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1188>
    198 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::gas cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1190>
    199 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::MF5)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1197>
    200 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::MF5)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::MF5) (cl-user::amount-of cl-user::water cl-user::gas cl-user::G) (cl-user::active cl-user::MF5))))
            :cwa
          Values Returned:
            <Datum 1199>
    201 assume!
          Arguments:
            ((cl-user::dis (cl-user::level cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1202>
    202 assume!
          Arguments:
            ((cl-user::iis (cl-user::level cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::level cl-user::Wf) (cl-user::mass cl-user::Wf) (cl-user::active cl-user::MF6))))
            :cwa
          Values Returned:
            <Datum 1204>
    203 assume!
          Arguments:
            ((cl-user::dis (cl-user::level cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1207>
    204 assume!
          Arguments:
            ((cl-user::iis (cl-user::level cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::level cl-user::Wg) (cl-user::mass cl-user::Wg) (cl-user::active cl-user::MF7))))
            :cwa
          Values Returned:
            <Datum 1209>
    205 assume!
          Arguments:
            ((cl-user::dis (cl-user::liquid-flow-rate cl-user::MF8)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1212>
    206 assume!
          Arguments:
            ((cl-user::iis (cl-user::liquid-flow-rate cl-user::MF8)) ltre::cwa ((cl-user::qprop (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::pressure cl-user::Wg) (cl-user::active cl-user::MF8)) (cl-user::qprop- (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::pressure cl-user::Wf) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1214>
    207 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1217>
    208 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::Wf) (cl-user::level cl-user::Wf) (cl-user::active cl-user::MF6))))
            :cwa
          Values Returned:
            <Datum 1219>
    209 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1222>
    210 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1224>
    211 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1226>
    212 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::Wg) (cl-user::level cl-user::Wg) (cl-user::active cl-user::MF7))))
            :cwa
          Values Returned:
            <Datum 1228>
    213 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1231>
    214 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1233>
    215 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1235>
    216 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1237>
    217 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1239>
    218 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1241>
    219 assume!
          Arguments:
            ((cl-user::dis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G))) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1243>
    220 assume!
          Arguments:
            ((cl-user::iis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G))) ltre::cwa ((cl-user::qprop (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1245>
    221 assume!
          Arguments:
            ((cl-user::dis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F))) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1248>
    222 assume!
          Arguments:
            ((cl-user::iis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F))) ltre::cwa ((cl-user::qprop (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1250>
    223 assume!
          Arguments:
            ((cl-user::dis (cl-user::bottom-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1253>
    224 assume!
          Arguments:
            ((cl-user::iis (cl-user::bottom-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1255>
    225 assume!
          Arguments:
            ((cl-user::dis (cl-user::top-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1257>
    226 assume!
          Arguments:
            ((cl-user::iis (cl-user::top-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1259>
    227 assume!
          Arguments:
            ((cl-user::dis (cl-user::bottom-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1261>
    228 assume!
          Arguments:
            ((cl-user::iis (cl-user::bottom-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1263>
    229 assume!
          Arguments:
            ((cl-user::dis (cl-user::top-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1265>
    230 assume!
          Arguments:
            ((cl-user::iis (cl-user::top-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1267>
    231 assume!
          Arguments:
            ((cl-user::dis (cl-user::density cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1269>
    232 assume!
          Arguments:
            ((cl-user::iis (cl-user::density cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1271>
    233 assume!
          Arguments:
            ((cl-user::dis (cl-user::specific-heat cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1273>
    234 assume!
          Arguments:
            ((cl-user::iis (cl-user::specific-heat cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1275>
    235 assume!
          Arguments:
            ((cl-user::dis (cl-user::thermal-conductivity cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1277>
    236 assume!
          Arguments:
            ((cl-user::iis (cl-user::thermal-conductivity cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1279>
    237 assume!
          Arguments:
            ((cl-user::dis (cl-user::max-height cl-user::P1)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1281>
    238 assume!
          Arguments:
            ((cl-user::iis (cl-user::max-height cl-user::P1)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1283>
    239 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1285>
    240 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::Wf) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::active cl-user::MF6)) (cl-user::qprop (cl-user::mass cl-user::Wf) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::active cl-user::Wf))))
            :cwa
          Values Returned:
            <Datum 1287>
    241 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1290>
    242 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::Wg) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::active cl-user::MF7)) (cl-user::qprop (cl-user::mass cl-user::Wg) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::active cl-user::Wg))))
            :cwa
          Values Returned:
            <Datum 1292>
    243 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) ltre::cwa ((cl-user::i- (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1295>
    244 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1298>
    245 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) ltre::cwa ((cl-user::i+ (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1300>
    246 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1303>
    247 assume!
          Arguments:
            ((cl-user::dis (cl-user::tboil cl-user::water cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1305>
    248 assume!
          Arguments:
            ((cl-user::iis (cl-user::tboil cl-user::water cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1307>
    249 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1309>
    250 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::Wf) (cl-user::heat cl-user::Wf) (cl-user::finite-thermal-physob cl-user::Wf))))
            :cwa
          Values Returned:
            <Datum 1311>
    251 assume!
          Arguments:
            ((cl-user::dis (cl-user::tboil cl-user::water cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1314>
    252 assume!
          Arguments:
            ((cl-user::iis (cl-user::tboil cl-user::water cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1316>
    253 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1318>
    254 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::Wg) (cl-user::heat cl-user::Wg) (cl-user::finite-thermal-physob cl-user::Wg))))
            :cwa
          Values Returned:
            <Datum 1320>
    255 assume!
          Arguments:
            (< (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5))
            (ltre::dds ((cl-user::unrelated (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5)) (< (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5)) (> (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5)) (= (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 1359>
    256 assume!
          Arguments:
            (cl-user::converge-lhs ltre::cwa ((cl-user::possible-lh (cl-user::bottom-height cl-user::G) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) 0 :> :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) :< :=) (cl-user::possible-lh (cl-user::mass cl-user::Wf) (cl-user::mass cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::level cl-user::Wf) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::pressure cl-user::Wf) (cl-user::pressure cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::liquid-flow-rate cl-user::MF8) 0 :> :=) (cl-user::possible-lh (cl-user::mass cl-user::Wg) 0 :> :=)))
            :cwa
          Values Returned:
            <Datum 1362>
    257 assume!
          Arguments:
            (cl-user::diverge-lhs ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1365>
    258 make-existence-index
          Values Returned:
            ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (:not (cl-user::exists cl-user::MF4)) (cl-user::exists cl-user::MF5) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))
    259 assume!
          Arguments:
            (= (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5))
            (ltre::dds ((cl-user::unrelated (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5)) (< (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5)) (> (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5)) (= (cl-user::tboil cl-user::water cl-user::G) (cl-user::temperature cl-user::MF5))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 1370>
    260 assume!
          Arguments:
            (cl-user::converge-lhs ltre::cwa ((cl-user::possible-lh (cl-user::bottom-height cl-user::G) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) 0 :> :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) :< :=) (cl-user::possible-lh (cl-user::mass cl-user::Wf) (cl-user::mass cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::level cl-user::Wf) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::pressure cl-user::Wf) (cl-user::pressure cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::liquid-flow-rate cl-user::MF8) 0 :> :=) (cl-user::possible-lh (cl-user::mass cl-user::Wg) 0 :> :=)))
            :cwa
          Values Returned:
            <Datum 1362>
    261 assume!
          Arguments:
            (cl-user::diverge-lhs ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1365>
    262 make-existence-index
          Values Returned:
            ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (:not (cl-user::exists cl-user::MF4)) (cl-user::exists cl-user::MF5) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))
    263 assume!
          Arguments:
            (:not (cl-user::exists cl-user::MF5))
            (ltre::dds ((cl-user::exists cl-user::MF5) (:not (cl-user::exists cl-user::MF5))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 428>
    264 assume!
          Arguments:
            (cl-user::exists cl-user::MF4)
            (ltre::dds ((cl-user::exists cl-user::MF4) (:not (cl-user::exists cl-user::MF4))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 405>
    265 boolean-choice-sets-from-unknowns
          Arguments:
            ((cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas) (:unknown (cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas)) (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::liquid) (cl-user::can-contain-substance cl-user::G cl-user::water cl-user::liquid) (cl-user::aligned cl-user::P1))
          Values Returned:
            (((cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas) (:not (cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas))))
    266 assume!
          Arguments:
            (cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas)
            (ltre::dds ((cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas) (:not (cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 358>
    267 boolean-choice-sets-from-unknowns
          Arguments:
            ((cl-user::active cl-user::Wf) (cl-user::active cl-user::Wg) (cl-user::active cl-user::MF0) (cl-user::active cl-user::MF1) (cl-user::active cl-user::MF2) (cl-user::active cl-user::MF3) (cl-user::active cl-user::MF4) (:not (cl-user::active cl-user::MF5)) (cl-user::active cl-user::MF6) (cl-user::active cl-user::MF7) (cl-user::active cl-user::MF8) (:not (cl-user::active cl-user::MF9)) (cl-user::active cl-user::MF10) (:not (cl-user::active cl-user::MF11)))
          Values Returned:
            nil
    268 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1148>
    269 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::MF4)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::MF4) (cl-user::mass cl-user::MF4) (cl-user::active cl-user::MF10)) (cl-user::qprop (cl-user::pressure cl-user::MF4) (cl-user::heat cl-user::MF4) (cl-user::active cl-user::MF10)) (cl-user::qprop- (cl-user::pressure cl-user::MF4) (cl-user::volume cl-user::MF4) (cl-user::active cl-user::MF10))))
            :cwa
          Values Returned:
            <Datum 1150>
    270 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1153>
    271 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1155>
    272 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1166>
    273 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1168>
    274 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1170>
    275 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::MF4)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::MF4) (cl-user::heat cl-user::MF4) (cl-user::finite-thermal-physob cl-user::MF4))))
            :cwa
          Values Returned:
            <Datum 1172>
    276 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::gas cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1184>
    277 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::gas cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1186>
    278 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::gas cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1188>
    279 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::gas cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1190>
    280 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1192>
    281 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::MF4)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::MF4) (cl-user::amount-of cl-user::water cl-user::gas cl-user::F) (cl-user::active cl-user::MF4))))
            :cwa
          Values Returned:
            <Datum 1194>
    282 assume!
          Arguments:
            ((cl-user::dis (cl-user::level cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1202>
    283 assume!
          Arguments:
            ((cl-user::iis (cl-user::level cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::level cl-user::Wf) (cl-user::mass cl-user::Wf) (cl-user::active cl-user::MF6))))
            :cwa
          Values Returned:
            <Datum 1204>
    284 assume!
          Arguments:
            ((cl-user::dis (cl-user::level cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1207>
    285 assume!
          Arguments:
            ((cl-user::iis (cl-user::level cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::level cl-user::Wg) (cl-user::mass cl-user::Wg) (cl-user::active cl-user::MF7))))
            :cwa
          Values Returned:
            <Datum 1209>
    286 assume!
          Arguments:
            ((cl-user::dis (cl-user::liquid-flow-rate cl-user::MF8)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1212>
    287 assume!
          Arguments:
            ((cl-user::iis (cl-user::liquid-flow-rate cl-user::MF8)) ltre::cwa ((cl-user::qprop (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::pressure cl-user::Wg) (cl-user::active cl-user::MF8)) (cl-user::qprop- (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::pressure cl-user::Wf) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1214>
    288 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1217>
    289 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::Wf) (cl-user::level cl-user::Wf) (cl-user::active cl-user::MF6))))
            :cwa
          Values Returned:
            <Datum 1219>
    290 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1222>
    291 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1224>
    292 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1226>
    293 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::Wg) (cl-user::level cl-user::Wg) (cl-user::active cl-user::MF7))))
            :cwa
          Values Returned:
            <Datum 1228>
    294 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1231>
    295 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1233>
    296 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1235>
    297 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1237>
    298 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1239>
    299 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1241>
    300 assume!
          Arguments:
            ((cl-user::dis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G))) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1243>
    301 assume!
          Arguments:
            ((cl-user::iis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G))) ltre::cwa ((cl-user::qprop (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1245>
    302 assume!
          Arguments:
            ((cl-user::dis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F))) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1248>
    303 assume!
          Arguments:
            ((cl-user::iis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F))) ltre::cwa ((cl-user::qprop (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1250>
    304 assume!
          Arguments:
            ((cl-user::dis (cl-user::bottom-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1253>
    305 assume!
          Arguments:
            ((cl-user::iis (cl-user::bottom-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1255>
    306 assume!
          Arguments:
            ((cl-user::dis (cl-user::top-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1257>
    307 assume!
          Arguments:
            ((cl-user::iis (cl-user::top-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1259>
    308 assume!
          Arguments:
            ((cl-user::dis (cl-user::bottom-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1261>
    309 assume!
          Arguments:
            ((cl-user::iis (cl-user::bottom-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1263>
    310 assume!
          Arguments:
            ((cl-user::dis (cl-user::top-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1265>
    311 assume!
          Arguments:
            ((cl-user::iis (cl-user::top-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1267>
    312 assume!
          Arguments:
            ((cl-user::dis (cl-user::density cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1269>
    313 assume!
          Arguments:
            ((cl-user::iis (cl-user::density cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1271>
    314 assume!
          Arguments:
            ((cl-user::dis (cl-user::specific-heat cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1273>
    315 assume!
          Arguments:
            ((cl-user::iis (cl-user::specific-heat cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1275>
    316 assume!
          Arguments:
            ((cl-user::dis (cl-user::thermal-conductivity cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1277>
    317 assume!
          Arguments:
            ((cl-user::iis (cl-user::thermal-conductivity cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1279>
    318 assume!
          Arguments:
            ((cl-user::dis (cl-user::max-height cl-user::P1)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1281>
    319 assume!
          Arguments:
            ((cl-user::iis (cl-user::max-height cl-user::P1)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1283>
    320 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1285>
    321 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::Wf) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::active cl-user::MF6)) (cl-user::qprop (cl-user::mass cl-user::Wf) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::active cl-user::Wf))))
            :cwa
          Values Returned:
            <Datum 1287>
    322 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1290>
    323 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::Wg) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::active cl-user::MF7)) (cl-user::qprop (cl-user::mass cl-user::Wg) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::active cl-user::Wg))))
            :cwa
          Values Returned:
            <Datum 1292>
    324 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) ltre::cwa ((cl-user::i- (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1295>
    325 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1298>
    326 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) ltre::cwa ((cl-user::i+ (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1300>
    327 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1303>
    328 assume!
          Arguments:
            ((cl-user::dis (cl-user::tboil cl-user::water cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1305>
    329 assume!
          Arguments:
            ((cl-user::iis (cl-user::tboil cl-user::water cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1307>
    330 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1309>
    331 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::Wf) (cl-user::heat cl-user::Wf) (cl-user::finite-thermal-physob cl-user::Wf))))
            :cwa
          Values Returned:
            <Datum 1311>
    332 assume!
          Arguments:
            ((cl-user::dis (cl-user::tboil cl-user::water cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1314>
    333 assume!
          Arguments:
            ((cl-user::iis (cl-user::tboil cl-user::water cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1316>
    334 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1318>
    335 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::Wg) (cl-user::heat cl-user::Wg) (cl-user::finite-thermal-physob cl-user::Wg))))
            :cwa
          Values Returned:
            <Datum 1320>
    336 assume!
          Arguments:
            (< (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4))
            (ltre::dds ((cl-user::unrelated (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (< (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (> (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (= (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 1361>
    337 assume!
          Arguments:
            (cl-user::converge-lhs ltre::cwa ((cl-user::possible-lh (cl-user::bottom-height cl-user::G) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) 0 :> :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) :< :=) (cl-user::possible-lh (cl-user::mass cl-user::Wf) (cl-user::mass cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::level cl-user::Wf) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::pressure cl-user::Wf) (cl-user::pressure cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::liquid-flow-rate cl-user::MF8) 0 :> :=) (cl-user::possible-lh (cl-user::mass cl-user::Wg) 0 :> :=)))
            :cwa
          Values Returned:
            <Datum 1362>
    338 assume!
          Arguments:
            (cl-user::diverge-lhs ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1365>
    339 make-existence-index
          Values Returned:
            ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (cl-user::exists cl-user::MF4) (:not (cl-user::exists cl-user::MF5)) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))
    340 assume!
          Arguments:
            (= (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4))
            (ltre::dds ((cl-user::unrelated (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (< (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (> (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (= (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 1368>
    341 assume!
          Arguments:
            (cl-user::converge-lhs ltre::cwa ((cl-user::possible-lh (cl-user::bottom-height cl-user::G) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) 0 :> :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) :< :=) (cl-user::possible-lh (cl-user::mass cl-user::Wf) (cl-user::mass cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::level cl-user::Wf) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::pressure cl-user::Wf) (cl-user::pressure cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::liquid-flow-rate cl-user::MF8) 0 :> :=) (cl-user::possible-lh (cl-user::mass cl-user::Wg) 0 :> :=)))
            :cwa
          Values Returned:
            <Datum 1362>
    342 assume!
          Arguments:
            (cl-user::diverge-lhs ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1365>
    343 make-existence-index
          Values Returned:
            ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (cl-user::exists cl-user::MF4) (:not (cl-user::exists cl-user::MF5)) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))
    344 assume!
          Arguments:
            (:not (cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas))
            (ltre::dds ((cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas) (:not (cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 358>
    345 boolean-choice-sets-from-unknowns
          Arguments:
            ((cl-user::active cl-user::Wf) (cl-user::active cl-user::Wg) (cl-user::active cl-user::MF0) (:not (cl-user::active cl-user::MF1)) (cl-user::active cl-user::MF2) (cl-user::active cl-user::MF3) (cl-user::active cl-user::MF4) (:not (cl-user::active cl-user::MF5)) (cl-user::active cl-user::MF6) (cl-user::active cl-user::MF7) (cl-user::active cl-user::MF8) (:not (cl-user::active cl-user::MF9)) (cl-user::active cl-user::MF10) (:not (cl-user::active cl-user::MF11)))
          Values Returned:
            nil
    346 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1148>
    347 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::MF4)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::MF4) (cl-user::mass cl-user::MF4) (cl-user::active cl-user::MF10)) (cl-user::qprop (cl-user::pressure cl-user::MF4) (cl-user::heat cl-user::MF4) (cl-user::active cl-user::MF10)) (cl-user::qprop- (cl-user::pressure cl-user::MF4) (cl-user::volume cl-user::MF4) (cl-user::active cl-user::MF10))))
            :cwa
          Values Returned:
            <Datum 1150>
    348 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1153>
    349 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1155>
    350 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1166>
    351 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1168>
    352 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1170>
    353 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::MF4)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::MF4) (cl-user::heat cl-user::MF4) (cl-user::finite-thermal-physob cl-user::MF4))))
            :cwa
          Values Returned:
            <Datum 1172>
    354 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::gas cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1184>
    355 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::gas cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1186>
    356 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::MF4)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1192>
    357 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::MF4)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::MF4) (cl-user::amount-of cl-user::water cl-user::gas cl-user::F) (cl-user::active cl-user::MF4))))
            :cwa
          Values Returned:
            <Datum 1194>
    358 assume!
          Arguments:
            ((cl-user::dis (cl-user::level cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1202>
    359 assume!
          Arguments:
            ((cl-user::iis (cl-user::level cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::level cl-user::Wf) (cl-user::mass cl-user::Wf) (cl-user::active cl-user::MF6))))
            :cwa
          Values Returned:
            <Datum 1204>
    360 assume!
          Arguments:
            ((cl-user::dis (cl-user::level cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1207>
    361 assume!
          Arguments:
            ((cl-user::iis (cl-user::level cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::level cl-user::Wg) (cl-user::mass cl-user::Wg) (cl-user::active cl-user::MF7))))
            :cwa
          Values Returned:
            <Datum 1209>
    362 assume!
          Arguments:
            ((cl-user::dis (cl-user::liquid-flow-rate cl-user::MF8)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1212>
    363 assume!
          Arguments:
            ((cl-user::iis (cl-user::liquid-flow-rate cl-user::MF8)) ltre::cwa ((cl-user::qprop (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::pressure cl-user::Wg) (cl-user::active cl-user::MF8)) (cl-user::qprop- (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::pressure cl-user::Wf) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1214>
    364 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1217>
    365 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::Wf) (cl-user::level cl-user::Wf) (cl-user::active cl-user::MF6))))
            :cwa
          Values Returned:
            <Datum 1219>
    366 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1222>
    367 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1224>
    368 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1226>
    369 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::Wg) (cl-user::level cl-user::Wg) (cl-user::active cl-user::MF7))))
            :cwa
          Values Returned:
            <Datum 1228>
    370 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1231>
    371 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1233>
    372 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1235>
    373 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1237>
    374 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1239>
    375 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1241>
    376 assume!
          Arguments:
            ((cl-user::dis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G))) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1243>
    377 assume!
          Arguments:
            ((cl-user::iis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G))) ltre::cwa ((cl-user::qprop (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1245>
    378 assume!
          Arguments:
            ((cl-user::dis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F))) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1248>
    379 assume!
          Arguments:
            ((cl-user::iis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F))) ltre::cwa ((cl-user::qprop (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1250>
    380 assume!
          Arguments:
            ((cl-user::dis (cl-user::bottom-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1253>
    381 assume!
          Arguments:
            ((cl-user::iis (cl-user::bottom-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1255>
    382 assume!
          Arguments:
            ((cl-user::dis (cl-user::top-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1257>
    383 assume!
          Arguments:
            ((cl-user::iis (cl-user::top-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1259>
    384 assume!
          Arguments:
            ((cl-user::dis (cl-user::bottom-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1261>
    385 assume!
          Arguments:
            ((cl-user::iis (cl-user::bottom-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1263>
    386 assume!
          Arguments:
            ((cl-user::dis (cl-user::top-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1265>
    387 assume!
          Arguments:
            ((cl-user::iis (cl-user::top-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1267>
    388 assume!
          Arguments:
            ((cl-user::dis (cl-user::density cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1269>
    389 assume!
          Arguments:
            ((cl-user::iis (cl-user::density cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1271>
    390 assume!
          Arguments:
            ((cl-user::dis (cl-user::specific-heat cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1273>
    391 assume!
          Arguments:
            ((cl-user::iis (cl-user::specific-heat cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1275>
    392 assume!
          Arguments:
            ((cl-user::dis (cl-user::thermal-conductivity cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1277>
    393 assume!
          Arguments:
            ((cl-user::iis (cl-user::thermal-conductivity cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1279>
    394 assume!
          Arguments:
            ((cl-user::dis (cl-user::max-height cl-user::P1)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1281>
    395 assume!
          Arguments:
            ((cl-user::iis (cl-user::max-height cl-user::P1)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1283>
    396 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1285>
    397 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::Wf) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::active cl-user::MF6)) (cl-user::qprop (cl-user::mass cl-user::Wf) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::active cl-user::Wf))))
            :cwa
          Values Returned:
            <Datum 1287>
    398 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1290>
    399 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::Wg) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::active cl-user::MF7)) (cl-user::qprop (cl-user::mass cl-user::Wg) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::active cl-user::Wg))))
            :cwa
          Values Returned:
            <Datum 1292>
    400 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) ltre::cwa ((cl-user::i- (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1295>
    401 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1298>
    402 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) ltre::cwa ((cl-user::i+ (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1300>
    403 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1303>
    404 assume!
          Arguments:
            ((cl-user::dis (cl-user::tboil cl-user::water cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1305>
    405 assume!
          Arguments:
            ((cl-user::iis (cl-user::tboil cl-user::water cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1307>
    406 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1309>
    407 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::Wf) (cl-user::heat cl-user::Wf) (cl-user::finite-thermal-physob cl-user::Wf))))
            :cwa
          Values Returned:
            <Datum 1311>
    408 assume!
          Arguments:
            ((cl-user::dis (cl-user::tboil cl-user::water cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1314>
    409 assume!
          Arguments:
            ((cl-user::iis (cl-user::tboil cl-user::water cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1316>
    410 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1318>
    411 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::Wg) (cl-user::heat cl-user::Wg) (cl-user::finite-thermal-physob cl-user::Wg))))
            :cwa
          Values Returned:
            <Datum 1320>
    412 assume!
          Arguments:
            (< (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4))
            (ltre::dds ((cl-user::unrelated (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (< (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (> (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (= (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 1361>
    413 assume!
          Arguments:
            (cl-user::converge-lhs ltre::cwa ((cl-user::possible-lh (cl-user::bottom-height cl-user::G) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) 0 :> :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) :< :=) (cl-user::possible-lh (cl-user::mass cl-user::Wf) (cl-user::mass cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::level cl-user::Wf) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::pressure cl-user::Wf) (cl-user::pressure cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::liquid-flow-rate cl-user::MF8) 0 :> :=) (cl-user::possible-lh (cl-user::mass cl-user::Wg) 0 :> :=)))
            :cwa
          Values Returned:
            <Datum 1362>
    414 assume!
          Arguments:
            (cl-user::diverge-lhs ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1365>
    415 make-existence-index
          Values Returned:
            ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (cl-user::exists cl-user::MF4) (:not (cl-user::exists cl-user::MF5)) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))
    416 assume!
          Arguments:
            (= (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4))
            (ltre::dds ((cl-user::unrelated (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (< (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (> (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4)) (= (cl-user::tboil cl-user::water cl-user::F) (cl-user::temperature cl-user::MF4))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 1368>
    417 assume!
          Arguments:
            (cl-user::converge-lhs ltre::cwa ((cl-user::possible-lh (cl-user::bottom-height cl-user::G) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) 0 :> :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) :< :=) (cl-user::possible-lh (cl-user::mass cl-user::Wf) (cl-user::mass cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::level cl-user::Wf) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::pressure cl-user::Wf) (cl-user::pressure cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::liquid-flow-rate cl-user::MF8) 0 :> :=) (cl-user::possible-lh (cl-user::mass cl-user::Wg) 0 :> :=)))
            :cwa
          Values Returned:
            <Datum 1362>
    418 assume!
          Arguments:
            (cl-user::diverge-lhs ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1365>
    419 make-existence-index
          Values Returned:
            ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (cl-user::exists cl-user::MF4) (:not (cl-user::exists cl-user::MF5)) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))
    420 assume!
          Arguments:
            (:not (cl-user::exists cl-user::MF4))
            (ltre::dds ((cl-user::exists cl-user::MF4) (:not (cl-user::exists cl-user::MF4))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 405>
    421 boolean-choice-sets-from-unknowns
          Arguments:
            ((:unknown (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas)) (:unknown (cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas)) (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::liquid) (cl-user::can-contain-substance cl-user::G cl-user::water cl-user::liquid) (cl-user::aligned cl-user::P1))
          Values Returned:
            (((cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas) (:not (cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas))) ((cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas) (:not (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas))))
    422 assume!
          Arguments:
            (cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas)
            (ltre::dds ((cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas) (:not (cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 358>
    423 assume!
          Arguments:
            (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas)
            (ltre::dds ((cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas) (:not (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 339>
    424 boolean-choice-sets-from-unknowns
          Arguments:
            ((cl-user::active cl-user::Wf) (cl-user::active cl-user::Wg) (cl-user::active cl-user::MF0) (cl-user::active cl-user::MF1) (cl-user::active cl-user::MF2) (cl-user::active cl-user::MF3) (:not (cl-user::active cl-user::MF4)) (:not (cl-user::active cl-user::MF5)) (cl-user::active cl-user::MF6) (cl-user::active cl-user::MF7) (cl-user::active cl-user::MF8) (:not (cl-user::active cl-user::MF9)) (:not (cl-user::active cl-user::MF10)) (:not (cl-user::active cl-user::MF11)))
          Values Returned:
            nil
    425 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::gas cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1184>
    426 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::gas cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1186>
    427 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::gas cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1188>
    428 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::gas cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1190>
    429 assume!
          Arguments:
            ((cl-user::dis (cl-user::level cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1202>
    430 assume!
          Arguments:
            ((cl-user::iis (cl-user::level cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::level cl-user::Wf) (cl-user::mass cl-user::Wf) (cl-user::active cl-user::MF6))))
            :cwa
          Values Returned:
            <Datum 1204>
    431 assume!
          Arguments:
            ((cl-user::dis (cl-user::level cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1207>
    432 assume!
          Arguments:
            ((cl-user::iis (cl-user::level cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::level cl-user::Wg) (cl-user::mass cl-user::Wg) (cl-user::active cl-user::MF7))))
            :cwa
          Values Returned:
            <Datum 1209>
    433 assume!
          Arguments:
            ((cl-user::dis (cl-user::liquid-flow-rate cl-user::MF8)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1212>
    434 assume!
          Arguments:
            ((cl-user::iis (cl-user::liquid-flow-rate cl-user::MF8)) ltre::cwa ((cl-user::qprop (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::pressure cl-user::Wg) (cl-user::active cl-user::MF8)) (cl-user::qprop- (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::pressure cl-user::Wf) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1214>
    435 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1217>
    436 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::Wf) (cl-user::level cl-user::Wf) (cl-user::active cl-user::MF6))))
            :cwa
          Values Returned:
            <Datum 1219>
    437 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1222>
    438 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1224>
    439 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1226>
    440 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::Wg) (cl-user::level cl-user::Wg) (cl-user::active cl-user::MF7))))
            :cwa
          Values Returned:
            <Datum 1228>
    441 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1231>
    442 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1233>
    443 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1235>
    444 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1237>
    445 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1239>
    446 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1241>
    447 assume!
          Arguments:
            ((cl-user::dis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G))) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1243>
    448 assume!
          Arguments:
            ((cl-user::iis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G))) ltre::cwa ((cl-user::qprop (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1245>
    449 assume!
          Arguments:
            ((cl-user::dis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F))) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1248>
    450 assume!
          Arguments:
            ((cl-user::iis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F))) ltre::cwa ((cl-user::qprop (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1250>
    451 assume!
          Arguments:
            ((cl-user::dis (cl-user::bottom-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1253>
    452 assume!
          Arguments:
            ((cl-user::iis (cl-user::bottom-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1255>
    453 assume!
          Arguments:
            ((cl-user::dis (cl-user::top-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1257>
    454 assume!
          Arguments:
            ((cl-user::iis (cl-user::top-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1259>
    455 assume!
          Arguments:
            ((cl-user::dis (cl-user::bottom-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1261>
    456 assume!
          Arguments:
            ((cl-user::iis (cl-user::bottom-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1263>
    457 assume!
          Arguments:
            ((cl-user::dis (cl-user::top-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1265>
    458 assume!
          Arguments:
            ((cl-user::iis (cl-user::top-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1267>
    459 assume!
          Arguments:
            ((cl-user::dis (cl-user::density cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1269>
    460 assume!
          Arguments:
            ((cl-user::iis (cl-user::density cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1271>
    461 assume!
          Arguments:
            ((cl-user::dis (cl-user::specific-heat cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1273>
    462 assume!
          Arguments:
            ((cl-user::iis (cl-user::specific-heat cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1275>
    463 assume!
          Arguments:
            ((cl-user::dis (cl-user::thermal-conductivity cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1277>
    464 assume!
          Arguments:
            ((cl-user::iis (cl-user::thermal-conductivity cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1279>
    465 assume!
          Arguments:
            ((cl-user::dis (cl-user::max-height cl-user::P1)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1281>
    466 assume!
          Arguments:
            ((cl-user::iis (cl-user::max-height cl-user::P1)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1283>
    467 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1285>
    468 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::Wf) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::active cl-user::MF6)) (cl-user::qprop (cl-user::mass cl-user::Wf) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::active cl-user::Wf))))
            :cwa
          Values Returned:
            <Datum 1287>
    469 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1290>
    470 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::Wg) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::active cl-user::MF7)) (cl-user::qprop (cl-user::mass cl-user::Wg) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::active cl-user::Wg))))
            :cwa
          Values Returned:
            <Datum 1292>
    471 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) ltre::cwa ((cl-user::i- (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1295>
    472 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1298>
    473 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) ltre::cwa ((cl-user::i+ (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1300>
    474 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1303>
    475 assume!
          Arguments:
            ((cl-user::dis (cl-user::tboil cl-user::water cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1305>
    476 assume!
          Arguments:
            ((cl-user::iis (cl-user::tboil cl-user::water cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1307>
    477 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1309>
    478 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::Wf) (cl-user::heat cl-user::Wf) (cl-user::finite-thermal-physob cl-user::Wf))))
            :cwa
          Values Returned:
            <Datum 1311>
    479 assume!
          Arguments:
            ((cl-user::dis (cl-user::tboil cl-user::water cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1314>
    480 assume!
          Arguments:
            ((cl-user::iis (cl-user::tboil cl-user::water cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1316>
    481 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1318>
    482 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::Wg) (cl-user::heat cl-user::Wg) (cl-user::finite-thermal-physob cl-user::Wg))))
            :cwa
          Values Returned:
            <Datum 1320>
    483 assume!
          Arguments:
            (cl-user::converge-lhs ltre::cwa ((cl-user::possible-lh (cl-user::bottom-height cl-user::G) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) 0 :> :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) :< :=) (cl-user::possible-lh (cl-user::mass cl-user::Wf) (cl-user::mass cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::level cl-user::Wf) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::pressure cl-user::Wf) (cl-user::pressure cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::liquid-flow-rate cl-user::MF8) 0 :> :=) (cl-user::possible-lh (cl-user::mass cl-user::Wg) 0 :> :=)))
            :cwa
          Values Returned:
            <Datum 1362>
    484 assume!
          Arguments:
            (cl-user::diverge-lhs ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1365>
    485 make-existence-index
          Values Returned:
            ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (:not (cl-user::exists cl-user::MF4)) (:not (cl-user::exists cl-user::MF5)) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))
    486 assume!
          Arguments:
            (:not (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas))
            (ltre::dds ((cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas) (:not (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 339>
    487 boolean-choice-sets-from-unknowns
          Arguments:
            ((cl-user::active cl-user::Wf) (cl-user::active cl-user::Wg) (:not (cl-user::active cl-user::MF0)) (cl-user::active cl-user::MF1) (cl-user::active cl-user::MF2) (cl-user::active cl-user::MF3) (:not (cl-user::active cl-user::MF4)) (:not (cl-user::active cl-user::MF5)) (cl-user::active cl-user::MF6) (cl-user::active cl-user::MF7) (cl-user::active cl-user::MF8) (:not (cl-user::active cl-user::MF9)) (:not (cl-user::active cl-user::MF10)) (:not (cl-user::active cl-user::MF11)))
          Values Returned:
            nil
    488 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::gas cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1188>
    489 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::gas cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1190>
    490 assume!
          Arguments:
            ((cl-user::dis (cl-user::level cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1202>
    491 assume!
          Arguments:
            ((cl-user::iis (cl-user::level cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::level cl-user::Wf) (cl-user::mass cl-user::Wf) (cl-user::active cl-user::MF6))))
            :cwa
          Values Returned:
            <Datum 1204>
    492 assume!
          Arguments:
            ((cl-user::dis (cl-user::level cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1207>
    493 assume!
          Arguments:
            ((cl-user::iis (cl-user::level cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::level cl-user::Wg) (cl-user::mass cl-user::Wg) (cl-user::active cl-user::MF7))))
            :cwa
          Values Returned:
            <Datum 1209>
    494 assume!
          Arguments:
            ((cl-user::dis (cl-user::liquid-flow-rate cl-user::MF8)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1212>
    495 assume!
          Arguments:
            ((cl-user::iis (cl-user::liquid-flow-rate cl-user::MF8)) ltre::cwa ((cl-user::qprop (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::pressure cl-user::Wg) (cl-user::active cl-user::MF8)) (cl-user::qprop- (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::pressure cl-user::Wf) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1214>
    496 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1217>
    497 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::Wf) (cl-user::level cl-user::Wf) (cl-user::active cl-user::MF6))))
            :cwa
          Values Returned:
            <Datum 1219>
    498 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1222>
    499 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1224>
    500 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1226>
    501 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::Wg) (cl-user::level cl-user::Wg) (cl-user::active cl-user::MF7))))
            :cwa
          Values Returned:
            <Datum 1228>
    502 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1231>
    503 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1233>
    504 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1235>
    505 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1237>
    506 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1239>
    507 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1241>
    508 assume!
          Arguments:
            ((cl-user::dis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G))) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1243>
    509 assume!
          Arguments:
            ((cl-user::iis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G))) ltre::cwa ((cl-user::qprop (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1245>
    510 assume!
          Arguments:
            ((cl-user::dis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F))) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1248>
    511 assume!
          Arguments:
            ((cl-user::iis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F))) ltre::cwa ((cl-user::qprop (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1250>
    512 assume!
          Arguments:
            ((cl-user::dis (cl-user::bottom-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1253>
    513 assume!
          Arguments:
            ((cl-user::iis (cl-user::bottom-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1255>
    514 assume!
          Arguments:
            ((cl-user::dis (cl-user::top-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1257>
    515 assume!
          Arguments:
            ((cl-user::iis (cl-user::top-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1259>
    516 assume!
          Arguments:
            ((cl-user::dis (cl-user::bottom-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1261>
    517 assume!
          Arguments:
            ((cl-user::iis (cl-user::bottom-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1263>
    518 assume!
          Arguments:
            ((cl-user::dis (cl-user::top-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1265>
    519 assume!
          Arguments:
            ((cl-user::iis (cl-user::top-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1267>
    520 assume!
          Arguments:
            ((cl-user::dis (cl-user::density cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1269>
    521 assume!
          Arguments:
            ((cl-user::iis (cl-user::density cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1271>
    522 assume!
          Arguments:
            ((cl-user::dis (cl-user::specific-heat cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1273>
    523 assume!
          Arguments:
            ((cl-user::iis (cl-user::specific-heat cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1275>
    524 assume!
          Arguments:
            ((cl-user::dis (cl-user::thermal-conductivity cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1277>
    525 assume!
          Arguments:
            ((cl-user::iis (cl-user::thermal-conductivity cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1279>
    526 assume!
          Arguments:
            ((cl-user::dis (cl-user::max-height cl-user::P1)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1281>
    527 assume!
          Arguments:
            ((cl-user::iis (cl-user::max-height cl-user::P1)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1283>
    528 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1285>
    529 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::Wf) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::active cl-user::MF6)) (cl-user::qprop (cl-user::mass cl-user::Wf) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::active cl-user::Wf))))
            :cwa
          Values Returned:
            <Datum 1287>
    530 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1290>
    531 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::Wg) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::active cl-user::MF7)) (cl-user::qprop (cl-user::mass cl-user::Wg) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::active cl-user::Wg))))
            :cwa
          Values Returned:
            <Datum 1292>
    532 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) ltre::cwa ((cl-user::i- (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1295>
    533 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1298>
    534 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) ltre::cwa ((cl-user::i+ (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1300>
    535 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1303>
    536 assume!
          Arguments:
            ((cl-user::dis (cl-user::tboil cl-user::water cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1305>
    537 assume!
          Arguments:
            ((cl-user::iis (cl-user::tboil cl-user::water cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1307>
    538 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1309>
    539 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::Wf) (cl-user::heat cl-user::Wf) (cl-user::finite-thermal-physob cl-user::Wf))))
            :cwa
          Values Returned:
            <Datum 1311>
    540 assume!
          Arguments:
            ((cl-user::dis (cl-user::tboil cl-user::water cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1314>
    541 assume!
          Arguments:
            ((cl-user::iis (cl-user::tboil cl-user::water cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1316>
    542 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1318>
    543 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::Wg) (cl-user::heat cl-user::Wg) (cl-user::finite-thermal-physob cl-user::Wg))))
            :cwa
          Values Returned:
            <Datum 1320>
    544 assume!
          Arguments:
            (cl-user::converge-lhs ltre::cwa ((cl-user::possible-lh (cl-user::bottom-height cl-user::G) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) 0 :> :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) :< :=) (cl-user::possible-lh (cl-user::mass cl-user::Wf) (cl-user::mass cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::level cl-user::Wf) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::pressure cl-user::Wf) (cl-user::pressure cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::liquid-flow-rate cl-user::MF8) 0 :> :=) (cl-user::possible-lh (cl-user::mass cl-user::Wg) 0 :> :=)))
            :cwa
          Values Returned:
            <Datum 1362>
    545 assume!
          Arguments:
            (cl-user::diverge-lhs ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1365>
    546 make-existence-index
          Values Returned:
            ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (:not (cl-user::exists cl-user::MF4)) (:not (cl-user::exists cl-user::MF5)) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))
    547 assume!
          Arguments:
            (:not (cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas))
            (ltre::dds ((cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas) (:not (cl-user::can-contain-substance cl-user::G cl-user::water cl-user::gas))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 358>
    548 assume!
          Arguments:
            (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas)
            (ltre::dds ((cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas) (:not (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 339>
    549 boolean-choice-sets-from-unknowns
          Arguments:
            ((cl-user::active cl-user::Wf) (cl-user::active cl-user::Wg) (cl-user::active cl-user::MF0) (:not (cl-user::active cl-user::MF1)) (cl-user::active cl-user::MF2) (cl-user::active cl-user::MF3) (:not (cl-user::active cl-user::MF4)) (:not (cl-user::active cl-user::MF5)) (cl-user::active cl-user::MF6) (cl-user::active cl-user::MF7) (cl-user::active cl-user::MF8) (:not (cl-user::active cl-user::MF9)) (:not (cl-user::active cl-user::MF10)) (:not (cl-user::active cl-user::MF11)))
          Values Returned:
            nil
    550 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::gas cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1184>
    551 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::gas cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1186>
    552 assume!
          Arguments:
            ((cl-user::dis (cl-user::level cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1202>
    553 assume!
          Arguments:
            ((cl-user::iis (cl-user::level cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::level cl-user::Wf) (cl-user::mass cl-user::Wf) (cl-user::active cl-user::MF6))))
            :cwa
          Values Returned:
            <Datum 1204>
    554 assume!
          Arguments:
            ((cl-user::dis (cl-user::level cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1207>
    555 assume!
          Arguments:
            ((cl-user::iis (cl-user::level cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::level cl-user::Wg) (cl-user::mass cl-user::Wg) (cl-user::active cl-user::MF7))))
            :cwa
          Values Returned:
            <Datum 1209>
    556 assume!
          Arguments:
            ((cl-user::dis (cl-user::liquid-flow-rate cl-user::MF8)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1212>
    557 assume!
          Arguments:
            ((cl-user::iis (cl-user::liquid-flow-rate cl-user::MF8)) ltre::cwa ((cl-user::qprop (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::pressure cl-user::Wg) (cl-user::active cl-user::MF8)) (cl-user::qprop- (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::pressure cl-user::Wf) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1214>
    558 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1217>
    559 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::Wf) (cl-user::level cl-user::Wf) (cl-user::active cl-user::MF6))))
            :cwa
          Values Returned:
            <Datum 1219>
    560 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1222>
    561 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1224>
    562 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1226>
    563 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::Wg) (cl-user::level cl-user::Wg) (cl-user::active cl-user::MF7))))
            :cwa
          Values Returned:
            <Datum 1228>
    564 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1231>
    565 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1233>
    566 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1235>
    567 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1237>
    568 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1239>
    569 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1241>
    570 assume!
          Arguments:
            ((cl-user::dis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G))) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1243>
    571 assume!
          Arguments:
            ((cl-user::iis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G))) ltre::cwa ((cl-user::qprop (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1245>
    572 assume!
          Arguments:
            ((cl-user::dis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F))) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1248>
    573 assume!
          Arguments:
            ((cl-user::iis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F))) ltre::cwa ((cl-user::qprop (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1250>
    574 assume!
          Arguments:
            ((cl-user::dis (cl-user::bottom-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1253>
    575 assume!
          Arguments:
            ((cl-user::iis (cl-user::bottom-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1255>
    576 assume!
          Arguments:
            ((cl-user::dis (cl-user::top-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1257>
    577 assume!
          Arguments:
            ((cl-user::iis (cl-user::top-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1259>
    578 assume!
          Arguments:
            ((cl-user::dis (cl-user::bottom-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1261>
    579 assume!
          Arguments:
            ((cl-user::iis (cl-user::bottom-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1263>
    580 assume!
          Arguments:
            ((cl-user::dis (cl-user::top-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1265>
    581 assume!
          Arguments:
            ((cl-user::iis (cl-user::top-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1267>
    582 assume!
          Arguments:
            ((cl-user::dis (cl-user::density cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1269>
    583 assume!
          Arguments:
            ((cl-user::iis (cl-user::density cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1271>
    584 assume!
          Arguments:
            ((cl-user::dis (cl-user::specific-heat cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1273>
    585 assume!
          Arguments:
            ((cl-user::iis (cl-user::specific-heat cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1275>
    586 assume!
          Arguments:
            ((cl-user::dis (cl-user::thermal-conductivity cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1277>
    587 assume!
          Arguments:
            ((cl-user::iis (cl-user::thermal-conductivity cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1279>
    588 assume!
          Arguments:
            ((cl-user::dis (cl-user::max-height cl-user::P1)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1281>
    589 assume!
          Arguments:
            ((cl-user::iis (cl-user::max-height cl-user::P1)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1283>
    590 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1285>
    591 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::Wf) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::active cl-user::MF6)) (cl-user::qprop (cl-user::mass cl-user::Wf) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::active cl-user::Wf))))
            :cwa
          Values Returned:
            <Datum 1287>
    592 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1290>
    593 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::Wg) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::active cl-user::MF7)) (cl-user::qprop (cl-user::mass cl-user::Wg) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::active cl-user::Wg))))
            :cwa
          Values Returned:
            <Datum 1292>
    594 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) ltre::cwa ((cl-user::i- (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1295>
    595 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1298>
    596 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) ltre::cwa ((cl-user::i+ (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1300>
    597 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1303>
    598 assume!
          Arguments:
            ((cl-user::dis (cl-user::tboil cl-user::water cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1305>
    599 assume!
          Arguments:
            ((cl-user::iis (cl-user::tboil cl-user::water cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1307>
    600 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1309>
    601 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::Wf) (cl-user::heat cl-user::Wf) (cl-user::finite-thermal-physob cl-user::Wf))))
            :cwa
          Values Returned:
            <Datum 1311>
    602 assume!
          Arguments:
            ((cl-user::dis (cl-user::tboil cl-user::water cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1314>
    603 assume!
          Arguments:
            ((cl-user::iis (cl-user::tboil cl-user::water cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1316>
    604 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1318>
    605 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::Wg) (cl-user::heat cl-user::Wg) (cl-user::finite-thermal-physob cl-user::Wg))))
            :cwa
          Values Returned:
            <Datum 1320>
    606 assume!
          Arguments:
            (cl-user::converge-lhs ltre::cwa ((cl-user::possible-lh (cl-user::bottom-height cl-user::G) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) 0 :> :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) :< :=) (cl-user::possible-lh (cl-user::mass cl-user::Wf) (cl-user::mass cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::level cl-user::Wf) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::pressure cl-user::Wf) (cl-user::pressure cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::liquid-flow-rate cl-user::MF8) 0 :> :=) (cl-user::possible-lh (cl-user::mass cl-user::Wg) 0 :> :=)))
            :cwa
          Values Returned:
            <Datum 1362>
    607 assume!
          Arguments:
            (cl-user::diverge-lhs ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1365>
    608 make-existence-index
          Values Returned:
            ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (:not (cl-user::exists cl-user::MF4)) (:not (cl-user::exists cl-user::MF5)) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))
    609 assume!
          Arguments:
            (:not (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas))
            (ltre::dds ((cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas) (:not (cl-user::can-contain-substance cl-user::F cl-user::water cl-user::gas))))
            <LTRE: LTRE of Your friendly Gizmo>
          Values Returned:
            <Datum 339>
    610 boolean-choice-sets-from-unknowns
          Arguments:
            ((cl-user::active cl-user::Wf) (cl-user::active cl-user::Wg) (:not (cl-user::active cl-user::MF0)) (:not (cl-user::active cl-user::MF1)) (cl-user::active cl-user::MF2) (cl-user::active cl-user::MF3) (:not (cl-user::active cl-user::MF4)) (:not (cl-user::active cl-user::MF5)) (cl-user::active cl-user::MF6) (cl-user::active cl-user::MF7) (cl-user::active cl-user::MF8) (:not (cl-user::active cl-user::MF9)) (:not (cl-user::active cl-user::MF10)) (:not (cl-user::active cl-user::MF11)))
          Values Returned:
            nil
    611 assume!
          Arguments:
            ((cl-user::dis (cl-user::level cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1202>
    612 assume!
          Arguments:
            ((cl-user::iis (cl-user::level cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::level cl-user::Wf) (cl-user::mass cl-user::Wf) (cl-user::active cl-user::MF6))))
            :cwa
          Values Returned:
            <Datum 1204>
    613 assume!
          Arguments:
            ((cl-user::dis (cl-user::level cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1207>
    614 assume!
          Arguments:
            ((cl-user::iis (cl-user::level cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::level cl-user::Wg) (cl-user::mass cl-user::Wg) (cl-user::active cl-user::MF7))))
            :cwa
          Values Returned:
            <Datum 1209>
    615 assume!
          Arguments:
            ((cl-user::dis (cl-user::liquid-flow-rate cl-user::MF8)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1212>
    616 assume!
          Arguments:
            ((cl-user::iis (cl-user::liquid-flow-rate cl-user::MF8)) ltre::cwa ((cl-user::qprop (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::pressure cl-user::Wg) (cl-user::active cl-user::MF8)) (cl-user::qprop- (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::pressure cl-user::Wf) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1214>
    617 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1217>
    618 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::Wf) (cl-user::level cl-user::Wf) (cl-user::active cl-user::MF6))))
            :cwa
          Values Returned:
            <Datum 1219>
    619 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1222>
    620 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1224>
    621 assume!
          Arguments:
            ((cl-user::dis (cl-user::pressure cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1226>
    622 assume!
          Arguments:
            ((cl-user::iis (cl-user::pressure cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::pressure cl-user::Wg) (cl-user::level cl-user::Wg) (cl-user::active cl-user::MF7))))
            :cwa
          Values Returned:
            <Datum 1228>
    623 assume!
          Arguments:
            ((cl-user::dis (cl-user::volume cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1231>
    624 assume!
          Arguments:
            ((cl-user::iis (cl-user::volume cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1233>
    625 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1235>
    626 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1237>
    627 assume!
          Arguments:
            ((cl-user::dis (cl-user::heat cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1239>
    628 assume!
          Arguments:
            ((cl-user::iis (cl-user::heat cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1241>
    629 assume!
          Arguments:
            ((cl-user::dis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G))) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1243>
    630 assume!
          Arguments:
            ((cl-user::iis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G))) ltre::cwa ((cl-user::qprop (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1245>
    631 assume!
          Arguments:
            ((cl-user::dis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F))) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1248>
    632 assume!
          Arguments:
            ((cl-user::iis (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F))) ltre::cwa ((cl-user::qprop (cl-user::net-influence (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1250>
    633 assume!
          Arguments:
            ((cl-user::dis (cl-user::bottom-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1253>
    634 assume!
          Arguments:
            ((cl-user::iis (cl-user::bottom-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1255>
    635 assume!
          Arguments:
            ((cl-user::dis (cl-user::top-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1257>
    636 assume!
          Arguments:
            ((cl-user::iis (cl-user::top-height cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1259>
    637 assume!
          Arguments:
            ((cl-user::dis (cl-user::bottom-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1261>
    638 assume!
          Arguments:
            ((cl-user::iis (cl-user::bottom-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1263>
    639 assume!
          Arguments:
            ((cl-user::dis (cl-user::top-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1265>
    640 assume!
          Arguments:
            ((cl-user::iis (cl-user::top-height cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1267>
    641 assume!
          Arguments:
            ((cl-user::dis (cl-user::density cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1269>
    642 assume!
          Arguments:
            ((cl-user::iis (cl-user::density cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1271>
    643 assume!
          Arguments:
            ((cl-user::dis (cl-user::specific-heat cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1273>
    644 assume!
          Arguments:
            ((cl-user::iis (cl-user::specific-heat cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1275>
    645 assume!
          Arguments:
            ((cl-user::dis (cl-user::thermal-conductivity cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1277>
    646 assume!
          Arguments:
            ((cl-user::iis (cl-user::thermal-conductivity cl-user::water)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1279>
    647 assume!
          Arguments:
            ((cl-user::dis (cl-user::max-height cl-user::P1)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1281>
    648 assume!
          Arguments:
            ((cl-user::iis (cl-user::max-height cl-user::P1)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1283>
    649 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1285>
    650 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::Wf) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::active cl-user::MF6)) (cl-user::qprop (cl-user::mass cl-user::Wf) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::active cl-user::Wf))))
            :cwa
          Values Returned:
            <Datum 1287>
    651 assume!
          Arguments:
            ((cl-user::dis (cl-user::mass cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1290>
    652 assume!
          Arguments:
            ((cl-user::iis (cl-user::mass cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::mass cl-user::Wg) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::active cl-user::MF7)) (cl-user::qprop (cl-user::mass cl-user::Wg) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::active cl-user::Wg))))
            :cwa
          Values Returned:
            <Datum 1292>
    653 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) ltre::cwa ((cl-user::i- (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1295>
    654 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1298>
    655 assume!
          Arguments:
            ((cl-user::dis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) ltre::cwa ((cl-user::i+ (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::liquid-flow-rate cl-user::MF8) (cl-user::active cl-user::MF8))))
            :cwa
          Values Returned:
            <Datum 1300>
    656 assume!
          Arguments:
            ((cl-user::iis (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1303>
    657 assume!
          Arguments:
            ((cl-user::dis (cl-user::tboil cl-user::water cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1305>
    658 assume!
          Arguments:
            ((cl-user::iis (cl-user::tboil cl-user::water cl-user::F)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1307>
    659 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::Wf)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1309>
    660 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::Wf)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::Wf) (cl-user::heat cl-user::Wf) (cl-user::finite-thermal-physob cl-user::Wf))))
            :cwa
          Values Returned:
            <Datum 1311>
    661 assume!
          Arguments:
            ((cl-user::dis (cl-user::tboil cl-user::water cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1314>
    662 assume!
          Arguments:
            ((cl-user::iis (cl-user::tboil cl-user::water cl-user::G)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1316>
    663 assume!
          Arguments:
            ((cl-user::dis (cl-user::temperature cl-user::Wg)) ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1318>
    664 assume!
          Arguments:
            ((cl-user::iis (cl-user::temperature cl-user::Wg)) ltre::cwa ((cl-user::qprop (cl-user::temperature cl-user::Wg) (cl-user::heat cl-user::Wg) (cl-user::finite-thermal-physob cl-user::Wg))))
            :cwa
          Values Returned:
            <Datum 1320>
    665 assume!
          Arguments:
            (cl-user::converge-lhs ltre::cwa ((cl-user::possible-lh (cl-user::bottom-height cl-user::G) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) 0 :> :=) (cl-user::possible-lh (cl-user::amount-of cl-user::water cl-user::liquid cl-user::F) (cl-user::amount-of cl-user::water cl-user::liquid cl-user::G) :< :=) (cl-user::possible-lh (cl-user::mass cl-user::Wf) (cl-user::mass cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::level cl-user::Wf) (cl-user::level cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::pressure cl-user::Wf) (cl-user::pressure cl-user::Wg) :< :=) (cl-user::possible-lh (cl-user::liquid-flow-rate cl-user::MF8) 0 :> :=) (cl-user::possible-lh (cl-user::mass cl-user::Wg) 0 :> :=)))
            :cwa
          Values Returned:
            <Datum 1362>
    666 assume!
          Arguments:
            (cl-user::diverge-lhs ltre::cwa nil)
            :cwa
          Values Returned:
            <Datum 1365>
    667 make-existence-index
          Values Returned:
            ((cl-user::exists cl-user::F) (cl-user::exists cl-user::G) (cl-user::exists cl-user::water) (cl-user::exists cl-user::liquid) (cl-user::exists cl-user::P1) (cl-user::exists cl-user::Wf) (cl-user::exists cl-user::Wg) (:not (cl-user::exists cl-user::MF4)) (:not (cl-user::exists cl-user::MF5)) (cl-user::exists cl-user::MF8) (cl-user::exists cl-user::MF9) (cl-user::exists cl-user::gas))