1 fetch    [process Listener 1]
      Arguments:
        (cl-user::isa cl-user::qpStatesConsistentWith fire::?x)
        <LTRE: (ltre-of 344 reasoner)>
        #<Function true?>
      Values Returned:
        nil
2 assume!    [process Listener 1]
      Arguments:
        (cl-user::aligned cl-user::P1)
        :user
      Values Returned:
        <Datum 11>
3 assume!    [process Listener 1]
      Arguments:
        (> (cl-user::Pressure cl-user::Wg) (cl-user::Pressure cl-user::Wf))
        :user
      Values Returned:
        <Datum 12>
4 find-state-completions    [process Listener 1]
      Arguments:
        <Gizmo friendly-gizmo2931>
      Values Returned:
        (<State 0>)
  5 explore-exists-choices
        Arguments:
          #<Function (labels gizmo:find-state-completions gizmo::end-state-completion-search)>
        Values Returned:
          nil
    6 find-existence-choices
          Values Returned:
            nil
      7 make-existence-index
            Values Returned:
              ((cl-user::exists cl-user::Wg) (cl-user::exists cl-user::Wf))
        8 make-exists-statement
              Arguments:
                gizmo::?x
              Values Returned:
                (cl-user::exists gizmo::?x)
        9 fetch
              Arguments:
                (cl-user::exists gizmo::?x)
              Values Returned:
                ((cl-user::exists cl-user::Wg) (cl-user::exists cl-user::Wf))
      10 boolean-choice-sets-from-unknowns
            Arguments:
              ((cl-user::exists cl-user::Wg) (cl-user::exists cl-user::Wf))
            Values Returned:
              nil
    11 update-background-inferences
          Values Returned:
            nil
    12 fetch
          Arguments:
            (cl-user::sets-to-close gizmo::?set-name :exists :after)
          Values Returned:
            nil
    13 boolean-choice-sets-from-unknowns
          Arguments:
            nil
          Values Returned:
            nil
    14 update-background-inferences
          Values Returned:
            nil
    15 fetch
          Arguments:
            (cl-user::sets-to-close gizmo::?set-name :preconditions :after)
          Values Returned:
            nil
    16 update-background-inferences
          Values Returned:
            nil
    17 fetch
          Arguments:
            (cl-user::sets-to-close gizmo::?set-name :qconditions :after)
          Values Returned:
            nil
    18 fetch
          Arguments:
            (cl-user::model-fragment gizmo::?x)
          Values Returned:
            nil
    19 boolean-choice-sets-from-unknowns
          Arguments:
            nil
          Values Returned:
            nil
    20 update-background-inferences
          Values Returned:
            nil
    21 resolve-completely-hop
          Arguments:
            #<Closure (:internal gizmo::explore-ir-choices 0) @ #x221a8ffa>
          Values Returned:
            nil
      22 resolve-influences
            Values Returned:
              nil
        23 fetch
              Arguments:
                ((cl-user::dis (cl-user::Pressure cl-user::Wf)) cl-user::members ltre::?el)
                <LTRE: LTRE of friendly-gizmo2931>
                #<Function true?>
              Values Returned:
                (((cl-user::dis (cl-user::Pressure cl-user::Wf)) cl-user::members nil))
        24 fetch
              Arguments:
                ((cl-user::iis (cl-user::Pressure cl-user::Wf)) cl-user::members ltre::?el)
                <LTRE: LTRE of friendly-gizmo2931>
                #<Function true?>
              Values Returned:
                (((cl-user::iis (cl-user::Pressure cl-user::Wf)) cl-user::members nil))
        25 fetch
              Arguments:
                ((cl-user::dis (cl-user::Pressure cl-user::Wg)) cl-user::members ltre::?el)
                <LTRE: LTRE of friendly-gizmo2931>
                #<Function true?>
              Values Returned:
                (((cl-user::dis (cl-user::Pressure cl-user::Wg)) cl-user::members nil))
        26 fetch
              Arguments:
                ((cl-user::iis (cl-user::Pressure cl-user::Wg)) cl-user::members ltre::?el)
                <LTRE: LTRE of friendly-gizmo2931>
                #<Function true?>
              Values Returned:
                (((cl-user::iis (cl-user::Pressure cl-user::Wg)) cl-user::members nil))
        27 fetch
              Arguments:
                (cl-user::active gizmo::?x)
              Values Returned:
                nil
      28 update-background-inferences
            Values Returned:
              nil
      29 update-background-inferences
            Values Returned:
              nil
      30 make-lh-cwas
            Values Returned:
              nil
              (cl-user::diverge-lhs ltre::cwa nil)
              t
        31 assume!
              Arguments:
                (cl-user::converge-lhs ltre::cwa nil)
                :cwa
              Values Returned:
                <Datum 48>
        32 assume!
              Arguments:
                (cl-user::diverge-lhs ltre::cwa nil)
                :cwa
              Values Returned:
                <Datum 51>
      33 update-background-inferences
            Values Returned:
              nil
      34 snapshot
            Arguments:
              <Gizmo friendly-gizmo2931>
            Values Returned:
              <State 0>
              :retrieved
        35 make-existence-index
              Values Returned:
                ((cl-user::exists cl-user::Wg) (cl-user::exists cl-user::Wf))
          36 make-exists-statement
                Arguments:
                  gizmo::?x
                Values Returned:
                  (cl-user::exists gizmo::?x)
          37 fetch
                Arguments:
                  (cl-user::exists gizmo::?x)
                Values Returned:
                  ((cl-user::exists cl-user::Wg) (cl-user::exists cl-user::Wf))
        38 fetch
              Arguments:
                (cl-user::model-fragment gizmo::?x)
              Values Returned:
                nil
    39 fetch
          Arguments:
            (cl-user::sets-to-close gizmo::?set-name :qconditions :after)
          Values Returned:
            nil
    40 fetch
          Arguments:
            (cl-user::sets-to-close gizmo::?set-name :preconditions :after)
          Values Returned:
            nil
    41 fetch
          Arguments:
            (cl-user::sets-to-close gizmo::?set-name :exists :after)
          Values Returned:
            nil
42 update-background-inferences    [process Listener 1]
      Values Returned:
        nil
43 make-exists-statement    [process Listener 1]
      Arguments:
        cl-user::Wf
      Values Returned:
        (cl-user::exists cl-user::Wf)
44 make-exists-statement    [process Listener 1]
      Arguments:
        cl-user::Wg
      Values Returned:
        (cl-user::exists cl-user::Wg)
45 fetch    [process Listener 1]
      Arguments:
        (cl-user::sets-to-close gizmo::?set-name :exists :after)
      Values Returned:
        nil
46 update-background-inferences    [process Listener 1]
      Values Returned:
        nil
47 fetch    [process Listener 1]
      Arguments:
        (cl-user::sets-to-close gizmo::?set-name :preconditions :after)
      Values Returned:
        nil
48 update-background-inferences    [process Listener 1]
      Values Returned:
        nil
49 fetch    [process Listener 1]
      Arguments:
        (cl-user::sets-to-close gizmo::?set-name :qconditions :after)
      Values Returned:
        nil
50 update-background-inferences    [process Listener 1]
      Values Returned:
        nil
51 fetch    [process Listener 1]
      Arguments:
        (cl-user::active gizmo::?x)
      Values Returned:
        nil
52 resolve-influences    [process Listener 1]
      Values Returned:
        nil
  53 fetch
        Arguments:
          ((cl-user::dis (cl-user::Pressure cl-user::Wf)) cl-user::members ltre::?el)
          <LTRE: LTRE of friendly-gizmo2931>
          #<Function true?>
        Values Returned:
          nil
  54 assume!
        Arguments:
          ((cl-user::dis (cl-user::Pressure cl-user::Wf)) ltre::cwa nil)
          :cwa
        Values Returned:
          <Datum 40>
  55 fetch
        Arguments:
          ((cl-user::iis (cl-user::Pressure cl-user::Wf)) cl-user::members ltre::?el)
          <LTRE: LTRE of friendly-gizmo2931>
          #<Function true?>
        Values Returned:
          nil
  56 assume!
        Arguments:
          ((cl-user::iis (cl-user::Pressure cl-user::Wf)) ltre::cwa nil)
          :cwa
        Values Returned:
          <Datum 42>
  57 fetch
        Arguments:
          ((cl-user::dis (cl-user::Pressure cl-user::Wg)) cl-user::members ltre::?el)
          <LTRE: LTRE of friendly-gizmo2931>
          #<Function true?>
        Values Returned:
          nil
  58 assume!
        Arguments:
          ((cl-user::dis (cl-user::Pressure cl-user::Wg)) ltre::cwa nil)
          :cwa
        Values Returned:
          <Datum 44>
  59 fetch
        Arguments:
          ((cl-user::iis (cl-user::Pressure cl-user::Wg)) cl-user::members ltre::?el)
          <LTRE: LTRE of friendly-gizmo2931>
          #<Function true?>
        Values Returned:
          nil
  60 assume!
        Arguments:
          ((cl-user::iis (cl-user::Pressure cl-user::Wg)) ltre::cwa nil)
          :cwa
        Values Returned:
          <Datum 46>
  61 fetch
        Arguments:
          (cl-user::active gizmo::?x)
        Values Returned:
          nil
62 assume!    [process Listener 1]
      Arguments:
        (cl-user::isa (cl-user::QpStateFn 0 1) cl-user::QpState)
        :qp
        <LTRE: (ltre-of 344 reasoner)>
      Values Returned:
        <Datum 12>
63 assume!    [process Listener 1]
      Arguments:
        (cl-user::qpGizmoState (cl-user::QpAnalysisFn 1) (cl-user::QpStateFn 0 1))
        :qp
        <LTRE: (ltre-of 344 reasoner)>
      Values Returned:
        <Datum 13>
64 assume!    [process Listener 1]
      Arguments:
        (cl-user::stateIndividuals (cl-user::QpStateFn 0 1) (cl-user::TheList (cl-user::exists cl-user::Wg) (cl-user::exists cl-user::Wf)))
        :qp
        <LTRE: (ltre-of 344 reasoner)>
      Values Returned:
        <Datum 14>