;;;; -*-  Mode: LISP; Syntax: Common-Lisp; Base: 10                          -*-
;;;; ---------------------------------------------------------------------------
;;;; File name: translation-result.lsp
;;;;    System: 
;;;;    Author: Jin Yan
;;;;   Created: August 27, 2003 14:54:41
;;;;   Purpose: 
;;;; ---------------------------------------------------------------------------
;;;;  Modified: Thursday, August 28, 2003 at 13:13:11 by jinyan
;;;; ---------------------------------------------------------------------------

(in-package :COMMON-LISP-USER)


;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; defquantityfunction->cycl-assertions

((arg1Isa (qpQuantityFn pressure) Thing) 
 (genls pressure PyhsicalQuantity) 
 (isa pressure Collection)
 (inDomainTheory base-kb (qpQuantity pressure)) 
 (arity (qpQuantityFn pressure) 1)
 
 (arg1Isa (qpQuantityFn temperature) Thing) 
 (genls temperature PyhsicalQuantity) 
 (isa temperature Collection)
 (inDomainTheory base-kb (qpQuantity temperature)) 
 (arity (qpQuantityFn temperature) 1)
 
 (arg1Isa (qpQuantityFn heat) Thing) 
 (genls heat PyhsicalQuantity) (isa heat Collection)
 (inDomainTheory base-kb (qpQuantity heat)) 
 (arity (qpQuantityFn heat) 1) 
 
 (arg1Isa (qpQuantityFn volume) Thing)
 (genls volume PyhsicalQuantity) 
 (isa volume Collection) 
 (inDomainTheory base-kb (qpQuantity volume))
 (arity (qpQuantityFn volume) 1) 
 
 (arg1Isa (qpQuantityFn level) Thing) 
 (genls level PyhsicalQuantity)
 (isa level Collection) 
 (inDomainTheory base-kb (qpQuantity level)) 
 (arity (qpQuantityFn level) 1)
 
;;; (#$arity (#$QpQuantityFn #$TBoil) 2)
;;;(#$arg1Isa (#$QpQuantityFn #$TBoil) #$Substance)
;;;(#$arg2Isa (#$QpQuantityFn #$TBoil) #$Can)
 
 (arg2Isa (qpQuantityFn tboil) Can) 
 (arg1Isa (qpQuantityFn tboil) Substance) 
 (genls tboil PyhsicalQuantity)
 (isa tboil Collection) 
 (inDomainTheory base-kb (qpQuantity tboil)) 
 (arity (qpQuantityFn tboil) 2)
 
 (arg1Isa (qpQuantityFn height) Place) 
 (genls height PyhsicalQuantity) 
 (isa height Collection)
 (inDomainTheory base-kb (qpQuantity height)) 
 (arity (qpQuantityFn height) 1)
 
 (arg3Isa (qpQuantityFn amount-of) Container) 
 (arg2Isa (qpQuantityFn amount-of) nil)
 (arg1Isa (qpQuantityFn amount-of) Substance) 
 (genls amount-of PyhsicalQuantity) 
 (isa amount-of Collection)
 (inDomainTheory base-kb (qpQuantity amount-of)) 
 (arity (qpQuantityFn amount-of) 3)
 
 (arg1Isa (qpQuantityFn mass) Thing) 
 (genls mass PyhsicalQuantity) 
 (isa mass Collection)
 (inDomainTheory base-kb (qpQuantity mass)) 
 (arity (qpQuantityFn mass) 1)
 
 (arg3Isa (qpQuantityFn heat-of) Container) 
 (arg2Isa (qpQuantityFn heat-of) nil) !!!!
 (arg1Isa (qpQuantityFn heat-of) Substance) 
 (genls heat-of PyhsicalQuantity) 
 (isa heat-of Collection)
 (inDomainTheory base-kb (qpQuantity heat-of)) 
 (arity (qpQuantityFn heat-of) 3)
 
 (arg1Isa (qpQuantityFn bottom-height) Container) 
 (genls bottom-height PyhsicalQuantity)
 (isa bottom-height Collection) 
 (inDomainTheory base-kb (qpQuantity bottom-height))
 (arity (qpQuantityFn bottom-height) 1) 
 
 (arg1Isa (qpQuantityFn top-height) Container)
 (genls top-height PyhsicalQuantity) 
 (isa top-height Collection)
 (inDomainTheory base-kb (qpQuantity top-height)) 
 (arity (qpQuantityFn top-height) 1)
 
 (arg1Isa (qpQuantityFn max-height) nil) !!!!
 (genls max-height PyhsicalQuantity) 
 (isa max-height Collection)
 (inDomainTheory base-kb (qpQuantity max-height)) 
 (arity (qpQuantityFn max-height) 1)
 
 (arg1Isa (qpQuantityFn flow-rate) Process) 
 (genls flow-rate PyhsicalQuantity) 
 (isa flow-rate Collection)
 (inDomainTheory base-kb (qpQuantity flow-rate)) 
 (arity (qpQuantityFn flow-rate) 1)
 
 (arg1Isa (qpQuantityFn heat-flow-rate) Process) 
 (genls heat-flow-rate PyhsicalQuantity)
 (isa heat-flow-rate Collection) 
 (inDomainTheory base-kb (qpQuantity heat-flow-rate))
 (arity (qpQuantityFn heat-flow-rate) 1)
 
 (arg1Isa (qpQuantityFn liquid-flow-rate) Process)
 (genls liquid-flow-rate PyhsicalQuantity) 
 (isa liquid-flow-rate Collection)
 (inDomainTheory base-kb (qpQuantity liquid-flow-rate)) 
 (arity (qpQuantityFn liquid-flow-rate) 1)
 
 (arg1Isa (qpQuantityFn generation-rate) Process) 
 (genls generation-rate PyhsicalQuantity)
 (isa generation-rate Collection) 
 (inDomainTheory base-kb (qpQuantity generation-rate))
 (arity (qpQuantityFn generation-rate) 1) 
 
 (arg1Isa (qpQuantityFn heat-generation-rate) Process)
 (genls heat-generation-rate PyhsicalQuantity) 
 (isa heat-generation-rate Collection)
 (inDomainTheory base-kb (qpQuantity heat-generation-rate)) 
 (arity (qpQuantityFn heat-generation-rate) 1)
 
 (arg1Isa (qpQuantityFn absorbtion) Process) 
 (genls absorbtion PyhsicalQuantity) 
 (isa absorbtion Collection)
 (inDomainTheory base-kb (qpQuantity absorbtion)) 
 (arity (qpQuantityFn absorbtion) 1)
 
 (arg1Isa (qpQuantityFn restorative) Process) 
 (genls restorative PyhsicalQuantity) 
 (isa restorative Collection)
 (inDomainTheory base-kb (qpQuantity restorative)) 
 (arity (qpQuantityFn restorative) 1))
 
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;Entities & Relations

((forAll (?x)
         (implies (isa ?x substance)
                  (and (isa ((qpQuantityFn (density :dimension density)) ?x) Quantity)
                       (isa ((qpQuantityFn (specific-heat :dimension heat)) ?x) Quantity)
                       (isa ((qpQuantityFn (thermal-conductivity :dimension thermal-conductivity)) ?x) Quantity))))
 (isa substance Collection) 
 (inDomainTheory base-kb (qpEntity substance)) 
 
 (isa phase Collection)
 (inDomainTheory base-kb (qpEntity phase)) 
 
 (qpRelationImplies can-contain-substance (and nil (> nil 0))) !!!!
 (arity can-contain-substance 3) 
 (isa can-contain-substance Relation) 
 (arg3Isa can-contain-substance Phase)
 (arg2Isa can-contain-substance Substance) 
 (arg1Isa can-contain-substance Can)
 (inDomainTheory base-kb (qpRelation can-contain-substance)) 
 (isa can-contain-substance Predicate)
 (arity can-contain-substance 3) 
 
 ;;; ((forAll (?x)
 ;;;  (implies (isa ?x container)
 ;;;           (and (isa ((QpQuantityFn bottom-height) ?x) Quantity) 
 ;;;                (isa ((QpQuantityFn top-height) ?x) Quantity)
 ;;;                (> top-height bottom-height))))
 ;;;  (isa container Collection)
 ;;;  (inDomainTheory base-kb (qpEntity container)))
 
 (forAll (?x) (implies (isa ?x container) (and (> top-height bottom-height))))
 (forAll (?x)
         (implies (isa ?x container)
                  (and (isa ((qpQuantityFn (bottom-height :type bottom-height)) ?x) Quantity)
                       (isa ((qpQuantityFn (top-height :type top-height)) ?x) Quantity))))
 (isa container Collection) 
 (inDomainTheory base-kb (qpEntity container))
 
 (forAll (?x)
         (implies (isa ?x fluid-path) (and (isa ((qpQuantityFn (max-height :type max-height)) ?x) Quantity))))
 (isa fluid-path Collection) 
 (inDomainTheory base-kb (qpEntity fluid-path)) 
 
 (arity fluid-connection 3)
 (isa fluid-connection Relation) 
 (arg3Isa fluid-connection nil) 
 (arg2Isa fluid-connection nil)
 (arg1Isa fluid-connection nil) 
 (inDomainTheory base-kb (qpRelation fluid-connection))
 (isa fluid-connection Predicate) 
 (arity fluid-connection 3) 
 
 (isa heat-path Collection)
 (inDomainTheory base-kb (qpEntity heat-path)) 
 
 (arity heat-connection 3) 
 (isa heat-connection Relation)
 (arg3Isa heat-connection nil) 
 (arg2Isa heat-connection nil) 
 (arg1Isa heat-connection nil)
 (inDomainTheory base-kb (qpRelation heat-connection)) 
 (isa heat-connection Predicate) 
 (arity heat-connection 3)
 
 (isa physob Collection)
 (inDomainTheory base-kb (qpEntity physob))
 
 (forAll (?x)
  (implies (isa ?x volumetric-physob)
   (and (isa ((qpQuantityFn (pressure :type pressure)) ?x) Quantity)
        (isa ((qpQuantityFn (volume :type volume)) ?x) Quantity))))
 (genls volumetric-physob physob) 
 (isa volumetric-physob Collection)
 (inDomainTheory base-kb (qpEntity volumetric-physob))
 
 (forAll (?x) (implies (isa ?x thermal-physob) (and (> heat 0) (> temperature 0))))
 (forAll (?x)
  (implies (isa ?x thermal-physob)
   (and (isa ((qpQuantityFn (heat :type heat)) ?x) Quantity)
        (isa ((qpQuantityFn (temperature :type temperature)) ?x) Quantity))))
 (genls thermal-physob physob) (isa thermal-physob Collection)
 (inDomainTheory base-kb (qpEntity thermal-physob))
 
 (forAll (?x)
  (implies (isa ?x finite-thermal-physob) (and (qprop temperature heat) (correspondence temperature heat 0 0))))
 (forAll (?x)
  (implies (isa ?x finite-thermal-physob)
   (and (isa ((qpQuantityFn (heat :type heat)) ?x) Quantity)
        (isa ((qpQuantityFn (temperature :type temperature)) ?x) Quantity))))
 (genls finite-thermal-physob thermal-physob) 
 (isa finite-thermal-physob Collection)
 (inDomainTheory base-kb (qpEntity finite-thermal-physob)) 
 
 (genls temperature-source thermal-physob)
 (isa temperature-source Collection) 
 (inDomainTheory base-kb (qpEntity temperature-source))
 
 (arity heat-source 1) (isa heat-source Relation) (arg1Isa heat-source nil)
 (inDomainTheory base-kb (qpRelation heat-source)) (isa heat-source Predicate) (arity heat-source 1))

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; Model Fragments

((inDomainTheory base-kb (qpMF contained-stuff-possibility)) 
 (genls contained-stuff-possibility ModelFragment)
 (qpMFParticipant contained-stuff-possibility the-can)
 (qpMFParticipantType contained-stuff-possibility the-can container)
 (qpMFParticipant contained-stuff-possibility the-phase)
 (qpMFParticipantType contained-stuff-possibility the-phase phase)
 (qpMFParticipant contained-stuff-possibility the-sub)
 (qpMFParticipantType contained-stuff-possibility the-sub substance)
 (qpMFCondition contained-stuff-possibility (can-contain-substance the-can the-sub the-phase))
 (qpMFQuantity contained-stuff-possibility amount-of)
 (qpMFQuantityType contained-stuff-possibility amount-of type)
 (qpMFConsequence contained-stuff-possibility (>= (amount-of the-sub the-phase the-can) 0))

 (inDomainTheory base-kb (qpMF heat-replenish)) 
 (genls heat-replenish ModelFragment)
 (qpMFParticipant heat-replenish the-source) 
 (qpMFParticipantType heat-replenish the-source heat-source)
 (qpMFCondition heat-replenish (heat-source the-source)) 
 (qpMFQuantity heat-replenish restorative)
 (qpMFQuantityType heat-replenish restorative type) 
 (qpMFConsequence heat-replenish (i+ heat restorative))
 
 (inDomainTheory base-kb (qpMF latent-heat-absorption-by-steam))
 (genls latent-heat-absorption-by-steam ModelFragment)
 (qpMFParticipant latent-heat-absorption-by-steam the-boiling)
 (qpMFParticipantType latent-heat-absorption-by-steam the-boiling boiling)
 (qpMFParticipant latent-heat-absorption-by-steam the-sub)
 (qpMFParticipantType latent-heat-absorption-by-steam the-sub substance)
 (qpMFParticipantConstraint latent-heat-absorption-by-steam the-sub (the-sub-of the-boiling the-sub))
 (qpMFParticipant latent-heat-absorption-by-steam the-can)
 (qpMFParticipantType latent-heat-absorption-by-steam the-can container)
 (qpMFParticipantConstraint latent-heat-absorption-by-steam the-can (the-can-of the-boiling the-can))
 (qpMFParticipant latent-heat-absorption-by-steam the-cgas)
 (qpMFParticipantType latent-heat-absorption-by-steam the-cgas contained-stuff)
 (qpMFParticipantConstraint latent-heat-absorption-by-steam the-cgas (the-phase-of the-cgas gas))
 (qpMFParticipant latent-heat-absorption-by-steam the-cliquid)
 (qpMFParticipantType latent-heat-absorption-by-steam the-cliquid contained-stuff)
 (qpMFParticipantConstraint latent-heat-absorption-by-steam the-cliquid
  (the-cliquid-of the-boiling the-cliquid))
 (qpMFParticipant latent-heat-absorption-by-steam the-gas-heat-flow)
 (qpMFParticipantType latent-heat-absorption-by-steam the-gas-heat-flow heat-flow)
 (qpMFParticipantConstraint latent-heat-absorption-by-steam the-gas-heat-flow
  (the-dst-of the-gas-heat-flow the-cgas))
 (qpMFCondition latent-heat-absorption-by-steam (active the-boiling))
 (qpMFCondition latent-heat-absorption-by-steam (active the-cliquid))
 (qpMFCondition latent-heat-absorption-by-steam (active the-cgas))
 (qpMFCondition latent-heat-absorption-by-steam (active the-gas-heat-flow))
 (qpMFQuantity latent-heat-absorption-by-steam heat-generation-rate)
 (qpMFQuantityType latent-heat-absorption-by-steam heat-generation-rate type)
 (qpMFConsequence latent-heat-absorption-by-steam (> heat-generation-rate 0))
 (qpMFConsequence latent-heat-absorption-by-steam (i- (heat the-cgas) (heat-flow-rate the-gas-heat-flow)))
 
 (inDomainTheory base-kb (qpMF boiling)) 
 (genls boiling ModelFragment)
 (genls boiling physical-process)
 (qpMFParticipant boiling the-cliquid)
 (qpMFParticipantType boiling the-cliquid contained-stuff)
 (qpMFParticipantConstraint boiling the-cliquid (the-phase-of the-cliquid liquid))
 (qpMFParticipant boiling the-sub)
 (qpMFParticipantType boiling the-sub substance)
 (qpMFParticipantConstraint boiling the-sub (the-sub-of the-cliquid the-sub)) 
 (qpMFParticipant boiling the-can)
 (qpMFParticipantType boiling the-can container)
 (qpMFParticipantConstraint boiling the-can (the-can-of the-cliquid the-can))
 (qpMFParticipant boiling the-heat-flow) 
 (qpMFParticipantType boiling the-heat-flow heat-flow)
 (qpMFParticipantConstraint boiling the-heat-flow (the-dst-of the-heat-flow the-cliquid))
 (qpMFCondition boiling (>= (temperature the-cliquid) (tboil the-sub the-can)))
 (qpMFCondition boiling (active the-heat-flow)) 
 (qpMFQuantity boiling generation-rate)
 (qpMFQuantityType boiling generation-rate type) 
 (qpMFConsequence boiling (> generation-rate 0))
 (qpMFConsequence boiling (i+ (amount-of the-sub gas the-can) generation-rate))
 (qpMFConsequence boiling (i- (amount-of the-sub liquid the-can) generation-rate))
 (qpMFConsequence boiling (i- (heat the-cliquid) (heat-flow-rate the-heat-flow)))
 
 (inDomainTheory base-kb (qpMF liquid-flow)) 
 (genls liquid-flow ModelFragment)
 (genls liquid-flow physical-process) 
 (qpMFParticipant liquid-flow the-src)
 (qpMFParticipantType liquid-flow the-src container)
 (qpMFParticipant liquid-flow the-sub)
 (qpMFParticipantType liquid-flow the-sub substance) 
 (qpMFParticipant liquid-flow the-dst)
 (qpMFParticipantType liquid-flow the-dst container) 
 (qpMFParticipant liquid-flow the-path)
 (qpMFParticipantType liquid-flow the-path fluid-path)
 (qpMFParticipantConstraint liquid-flow the-path (fluid-connection the-path the-src the-dst))
 (qpMFParticipant liquid-flow the-src-stuff) 
 (qpMFParticipantType liquid-flow the-src-stuff contained-stuff)
 (qpMFParticipantConstraint liquid-flow the-src-stuff (the-phase-of the-src-stuff liquid))
 (qpMFParticipantConstraint liquid-flow the-src-stuff (the-can-of the-src-stuff the-src))
 (qpMFParticipantConstraint liquid-flow the-src-stuff (the-sub-of the-src-stuff the-sub))
 (qpMFParticipant liquid-flow the-dst-stuff)
 (qpMFParticipantType liquid-flow the-dst-stuff contained-stuff)
 (qpMFParticipantConstraint liquid-flow the-dst-stuff (the-phase-of the-dst-stuff liquid))
 (qpMFParticipantConstraint liquid-flow the-dst-stuff (the-can-of the-dst-stuff the-dst))
 (qpMFParticipantConstraint liquid-flow the-dst-stuff (the-sub-of the-dst-stuff the-sub))
 (qpMFCondition liquid-flow (aligned the-path))
 (qpMFCondition liquid-flow (> (pressure the-src-stuff) (pressure the-dst-stuff)))
 (qpMFQuantity liquid-flow liquid-flow-rate)
 (qpMFQuantityType liquid-flow liquid-flow-rate type)
 (qpMFConsequence liquid-flow (q= liquid-flow-rate (- (pressure the-src-stuff) (pressure the-dst-stuff))))
 (qpMFConsequence liquid-flow (i- (amount-of the-sub liquid the-src) liquid-flow-rate))
 (qpMFConsequence liquid-flow (i+ (amount-of the-sub liquid the-dst) liquid-flow-rate))
 
 (inDomainTheory base-kb (qpMF heat-flow)) 
 (genls heat-flow ModelFragment)
 (genls heat-flow physical-process)
 (qpMFParticipant heat-flow the-src)
 (qpMFParticipantType heat-flow the-src thermal-physob)
 (qpMFParticipant heat-flow the-dst)
 (qpMFParticipantType heat-flow the-dst thermal-physob)
 (qpMFParticipant heat-flow the-path)
 (qpMFParticipantType heat-flow the-path heat-path)
 (qpMFParticipantConstraint heat-flow the-path (heat-connection the-path the-src the-dst))
 (qpMFCondition heat-flow (heat-aligned the-path))
 (qpMFCondition heat-flow (> (temperature the-src) (temperature the-dst)))
 (qpMFQuantity heat-flow heat-flow-rate) 
 (qpMFQuantityType heat-flow heat-flow-rate type)
 (qpMFConsequence heat-flow (q= heat-flow-rate (- (temperature the-src) (temperature the-dst))))
 (qpMFConsequence heat-flow (i- (heat the-src) heat-flow-rate))
 (qpMFConsequence heat-flow (i+ (heat the-dst) heat-flow-rate))
 
 (inDomainTheory base-kb (qpMF contained-gas-properties))
 (genls contained-gas-properties ModelFragment)
 (qpMFParticipant contained-gas-properties the-cstuff)
 (qpMFParticipantType contained-gas-properties the-cstuff contained-stuff)
 (qpMFParticipantConstraint contained-gas-properties the-cstuff (the-phase-of the-cstuff gas))
 (qpMFParticipant contained-gas-properties the-sub)
 (qpMFParticipantType contained-gas-properties the-sub substance)
 (qpMFParticipantConstraint contained-gas-properties the-sub (the-sub-of the-cstuff the-sub))
 (qpMFParticipant contained-gas-properties the-can)
 (qpMFParticipantType contained-gas-properties the-can container)
 (qpMFParticipantConstraint contained-gas-properties the-can (the-can-of the-cstuff the-can))
 (qpMFCondition contained-gas-properties (active the-cstuff))
 (qpMFConsequence contained-gas-properties (>= (temperature the-cstuff) (tboil the-sub the-can)))
 (qpMFConsequence contained-gas-properties (qprop (pressure the-cstuff) (mass the-cstuff)))
 (qpMFConsequence contained-gas-properties (qprop- (pressure the-cstuff) (volume the-cstuff)))
 (qpMFConsequence contained-gas-properties (qprop (pressure the-cstuff) (heat the-cstuff)))
 
 (inDomainTheory base-kb (qpMF contained-liquid-properties))
 (genls contained-liquid-properties ModelFragment)
 (qpMFParticipant contained-liquid-properties the-cstuff)
 (qpMFParticipantType contained-liquid-properties the-cstuff contained-stuff)
 (qpMFParticipantConstraint contained-liquid-properties the-cstuff (the-phase-of the-cstuff liquid))
 (qpMFParticipant contained-liquid-properties the-sub)
 (qpMFParticipantType contained-liquid-properties the-sub substance)
 (qpMFParticipantConstraint contained-liquid-properties the-sub (the-sub-of the-cstuff the-sub))
 (qpMFParticipant contained-liquid-properties the-can)
 (qpMFParticipantType contained-liquid-properties the-can container)
 (qpMFParticipantConstraint contained-liquid-properties the-can (the-can-of the-cstuff the-can))
 (qpMFQuantity contained-liquid-properties level) 
 (qpMFQuantityType contained-liquid-properties level type)
 (qpMFQuantityArgument contained-liquid-properties level the-cstuff)
 (qpMFCondition contained-liquid-properties (active the-cstuff))
 (qpMFConsequence contained-liquid-properties
  (function mass<-amount-of (mass the-cstuff) ((amount-of the-sub liquid the-can)) nil))
 (qpMFConsequence contained-liquid-properties
  (function level<-mass&bottom (level the-cstuff) ((mass the-cstuff)) nil))
 (qpMFConsequence contained-liquid-properties
  (correspondence (level the-cstuff) (mass the-cstuff) (bottom-height the-can) 0))
 (qpMFConsequence contained-liquid-properties
  (function pressure<-level (pressure the-cstuff) ((level the-cstuff)) nil))
 (qpMFConsequence contained-liquid-properties (<= (temperature the-cstuff) (tboil the-sub the-can)))
 
 (inDomainTheory base-kb (qpMF contained-stuff))
 (genls contained-stuff ModelFragment)
 (genls contained-stuff physical-object) (qpMFParticipant contained-stuff the-can)
 (qpMFParticipantType contained-stuff the-can container)
 (qpMFParticipant contained-stuff the-phase)
 (qpMFParticipantType contained-stuff the-phase phase) 
 (qpMFParticipant contained-stuff the-sub)
 (qpMFParticipantType contained-stuff the-sub substance)
 (qpMFCondition contained-stuff (> (amount-of the-sub the-phase the-can) 0)) 
 (qpMFQuantity contained-stuff mass)
 (qpMFQuantityType contained-stuff mass type)
 (qpMFConsequence contained-stuff (:biconditional (volumetric-physob :self)))
 (qpMFConsequence contained-stuff (q= mass (amount-of the-sub the-phase the-can)))
 (qpMFConsequence contained-stuff (:biconditional (finite-thermal-physob :self))))