;;; ================== 1 ====================================
;;; CPL formulation:
;;; IF there is an equation of a reaction 
;;; AND a first chemical entity has a chemical formula
;;; AND a second chemical entity has a second chemical formula
;;; AND the first chemical formula is part of the left side of the equation
;;; AND the second chemical formula is part of the right side of the equation
;;; AND the first chemical entity is playing a base role
;;; AND the second chemical entity is playing a base role
;;; AND the first chemical entity is stronger than the second chemical entity 
;;; THEN the direction of the reaction is right
;;; AND the equilibrium side of the reaction is right.
;;; ======================================================================

IF
   (|_Base Role43311| instance-of Base-Role)
   (|_Base Role43304| instance-of Base-Role)
   (_Part43297 instance-of Entity)
   (|_Right Side43295| instance-of Right-Side)
   (_Part43288 instance-of Entity)
   (|_Left Side43286| instance-of Left-Side)
   (|_Chemical Formula43279| instance-of Chemical-Formula)
   (|_Chemical Entity43278| instance-of Chemical-Entity)
   (|_Chemical Formula43272| instance-of Chemical-Formula)
   (|_Chemical Entity43271| instance-of Chemical-Entity)
   (_Equation43264 instance-of Equation)
   (_Reaction43265 instance-of Reaction)
   -
   (_Equation43264 chemical-equation-of _Reaction43265)
   (|_Chemical Entity43271| has-chemical-formula |_Chemical Formula43272|)
   (|_Chemical Entity43278| has-chemical-formula |_Chemical Formula43279|)
   (|_Chemical Formula43272| has-chemical-formula-of _Part43288)
   (|_Left Side43286| is-region-of _Equation43264)
   (_Part43288 is-part-of |_Left Side43286|)
   (|_Chemical Formula43279| has-chemical-formula-of _Part43297)
   (|_Right Side43295| is-region-of _Equation43264)
   (_Part43297 is-part-of |_Right Side43295|)
   (|_Chemical Entity43271| plays |_Base Role43304|)
   (|_Chemical Entity43278| plays |_Base Role43311|)
   (|_Chemical Entity43271| stronger-base-than |_Chemical Entity43278|)
THEN
   (_Direction43320 instance-of Angle-Value)
   (|_Equilibrium Side43325| instance-of Direction-Constant)
   -
   (|_Equilibrium Side43325| property *right)
   (|_Equilibrium Side43325| equilibrium-side-of _Reaction43265)
   (_Direction43320 property *right)
   (_Direction43320 direction-of _Reaction43265)

;;; ================== 2 ====================================
;;; CPL formulation:
;;; IF there is an equation of a reaction
;;; AND a first chemical entity has a chemical formula
;;; AND a second chemical entity has a second chemical formula
;;; AND the first chemical formula is part of the left side of the equation
;;; AND the second chemical formula is part of the right side of the equation
;;; AND the first chemical entity is the conjugate base of the second chemical entity 
;;; THEN the first chemical entity is playing a base role
;;; AND the second chemical entity is playing an acid role.
;;; ======================================================================

IF
   (|_Conjugate Base43369| instance-of Entity)
   (_Part43359 instance-of Entity)
   (|_Right Side43357| instance-of Right-Side)
   (_Part43350 instance-of Entity)
   (|_Left Side43348| instance-of Left-Side)
   (|_Chemical Formula43341| instance-of Chemical-Formula)
   (|_Chemical Entity43340| instance-of Chemical-Entity)
   (|_Chemical Formula43334| instance-of Chemical-Formula)
   (|_Chemical Entity43333| instance-of Chemical-Entity)
   (_Equation43326 instance-of Equation)
   (_Reaction43327 instance-of Reaction)
   -
   (_Equation43326 chemical-equation-of _Reaction43327)
   (|_Chemical Entity43333| has-chemical-formula |_Chemical Formula43334|)
   (|_Chemical Entity43340| has-chemical-formula |_Chemical Formula43341|)
   (|_Chemical Formula43334| has-chemical-formula-of _Part43350)
   (|_Left Side43348| is-region-of _Equation43326)
   (_Part43350 is-part-of |_Left Side43348|)
   (|_Chemical Formula43341| has-chemical-formula-of _Part43359)
   (|_Right Side43357| is-region-of _Equation43326)
   (_Part43359 is-part-of |_Right Side43357|)
   (|_Chemical Entity43333| equal |_Conjugate Base43369|)
   (|_Conjugate Base43369| conjugate-acid |_Chemical Entity43340|)
THEN
   (|_Base Role43376| instance-of Base-Role)
   (|_Acid Role43383| instance-of Acid-Role)
   -
   (|_Chemical Entity43340| plays |_Acid Role43383|)
   (|_Chemical Entity43333| plays |_Base Role43376|)

;;; ================== 3 ====================================
;;; CPL formulation:
;;; IF there is an equation of a reaction
;;; AND a first chemical entity has a chemical formula
;;; AND a second chemical entity has a second chemical formula
;;; AND the first chemical formula is part of the left side of the equation
;;; AND the second chemical formula is part of the right side of the equation
;;; AND the second chemical entity is the conjugate base of the first chemical entity 
;;; THEN the second chemical entity is playing a base role
;;; AND the first chemical entity is playing an acid role.
;;; ======================================================================

IF
   (|_Conjugate Base43427| instance-of Entity)
   (_Part43417 instance-of Entity)
   (|_Right Side43415| instance-of Right-Side)
   (_Part43408 instance-of Entity)
   (|_Left Side43406| instance-of Left-Side)
   (|_Chemical Formula43399| instance-of Chemical-Formula)
   (|_Chemical Entity43398| instance-of Chemical-Entity)
   (|_Chemical Formula43392| instance-of Chemical-Formula)
   (|_Chemical Entity43391| instance-of Chemical-Entity)
   (_Equation43384 instance-of Equation)
   (_Reaction43385 instance-of Reaction)
   -
   (_Equation43384 chemical-equation-of _Reaction43385)
   (|_Chemical Entity43391| has-chemical-formula |_Chemical Formula43392|)
   (|_Chemical Entity43398| has-chemical-formula |_Chemical Formula43399|)
   (|_Chemical Formula43392| has-chemical-formula-of _Part43408)
   (|_Left Side43406| is-region-of _Equation43384)
   (_Part43408 is-part-of |_Left Side43406|)
   (|_Chemical Formula43399| has-chemical-formula-of _Part43417)
   (|_Right Side43415| is-region-of _Equation43384)
   (_Part43417 is-part-of |_Right Side43415|)
   (|_Chemical Entity43398| equal |_Conjugate Base43427|)
   (|_Conjugate Base43427| conjugate-acid |_Chemical Entity43391|)
THEN
   (|_Base Role43434| instance-of Base-Role)
   (|_Acid Role43441| instance-of Acid-Role)
   -
   (|_Chemical Entity43391| plays |_Acid Role43441|)
   (|_Chemical Entity43398| plays |_Base Role43434|)

;;; ================== 4 ====================================
;;; CPL formulation:
;;; IF there is a scene AND the scene has an HCl AND the scene has a Cl-Minus
;;; THEN the conjugate acid of the Cl-Minus is the HCl.
;;; ======================================================================

IF
   (|_Cl Minus43454| instance-of Cl-Minus)
   (_Hcl43445 instance-of HCl)
   (_Scene43442 instance-of Place)
   -
   (_Scene43442 possesses _Hcl43445)
   (_Scene43442 possesses |_Cl Minus43454|)
THEN
   (|_Conjugate Acid43465| instance-of Entity)
   -
   (|_Conjugate Acid43465| conjugate-base |_Cl Minus43454|)
   (|_Conjugate Acid43465| equal _Hcl43445)

;;; ================== 5 ====================================
;;; CPL formulation:
;;; IF there is a scene AND the scene has a H3O-Plus AND the scene has a water
;;; THEN the conjugate acid of the water is the H3O-Plus.
;;; ======================================================================

IF
   (_Water43485 instance-of H2O)
   (|_H3o Plus43482| instance-of H3O-Plus)
   (_Scene43467 instance-of Place)
   -
   (_Scene43467 possesses |_H3o Plus43482|)
   (_Scene43467 possesses _Water43485)
THEN
   (|_Conjugate Acid43502| instance-of Entity)
   -
   (|_Conjugate Acid43502| conjugate-base _Water43485)
   (|_Conjugate Acid43502| equal |_H3o Plus43482|)

;;; ================== 6 ====================================
;;; CPL formulation:
;;; IF there is scene AND the scene has a Cl-Minus AND the scene has a water
;;; THEN the water is stronger than the Cl-Minus.
;;; ======================================================================

IF
   (_Water43516 instance-of H2O)
   (|_Cl Minus43513| instance-of Cl-Minus)
   (_Scene43504 instance-of Place)
   -
   (_Scene43504 possesses |_Cl Minus43513|)
   (_Scene43504 possesses _Water43516)
THEN
   (_Water43516 stronger-base-than |_Cl Minus43513|)

;;; ================== 7 ====================================
;;; CPL formulation:
;;; IF a first chemical entity is stronger than a second chemical entity 
;;; AND the second chemical entity is stronger than a third chemical entity 
;;; THEN the first chemical entity is stronger than the third chemical entity.
;;; ======================================================================

IF
   (|_Chemical Entity43536| instance-of Chemical-Entity)
   (|_Chemical Entity43530| instance-of Chemical-Entity)
   (|_Chemical Entity43529| instance-of Chemical-Entity)
   -
   (|_Chemical Entity43529| stronger-base-than |_Chemical Entity43530|)
   (|_Chemical Entity43530| stronger-base-than |_Chemical Entity43536|)
THEN
   (|_Chemical Entity43529| stronger-base-than |_Chemical Entity43536|)

;;; ================== 8 ====================================
;;; CPL formulation:
;;; There is an equation of a reaction.
;;; There is a scene.
;;; A first chemical formula is part of the left side of the equation.
;;; A second chemical formula is part of the left side of the equation.
;;; A third chemical formula is part of the right side of the equation.
;;; A fourth chemical formula is part of the right side of the equation.
;;; The first chemical formula is water.
;;; The second chemical formula is HCl.
;;; The third chemical formula is H3O-Plus.
;;; The fourth chemical formula is Cl-Minus.
;;; The scene has the water.
;;; The scene has the HCl.
;;; The scene has the H3O-Plus.
;;; The scene has the Cl-Minus.
;;; What is the direction of the reaction?
;;; What is the equilibrium side of the reaction?
;;; ======================================================================

(|_Equilibrium Side0| instance-of Direction-Constant)
(_Reaction2 instance-of Reaction)
(_Direction0 instance-of Angle-Value)
(_Reaction1 instance-of Reaction)
(|_Cl Minus1| instance-of Cl-Minus)
(_Scene4 instance-of Place)
(|_H3o Plus1| instance-of H3O-Plus)
(_Scene3 instance-of Place)
(_Hcl1 instance-of HCl)
(_Scene2 instance-of Place)
(_Water1 instance-of H2O)
(_Scene1 instance-of Place)
(|_Cl Minus0| instance-of Cl-Minus)
(|_Chemical Formula7| instance-of Chemical-Formula)
(|_H3o Plus0| instance-of H3O-Plus)
(|_Chemical Formula6| instance-of Chemical-Formula)
(_Hcl0 instance-of HCl)
(|_Chemical Formula5| instance-of Chemical-Formula)
(_Water0 instance-of H2O)
(|_Chemical Formula4| instance-of Chemical-Formula)
(_Part3 instance-of Entity)
(_Equation4 instance-of Equation)
(|_Right Side1| instance-of Right-Side)
(|_Chemical Formula3| instance-of Chemical-Formula)
(_Part2 instance-of Entity)
(_Equation3 instance-of Equation)
(|_Right Side0| instance-of Right-Side)
(|_Chemical Formula2| instance-of Chemical-Formula)
(_Part1 instance-of Entity)
(_Equation2 instance-of Equation)
(|_Left Side1| instance-of Left-Side)
(|_Chemical Formula1| instance-of Chemical-Formula)
(_Part0 instance-of Entity)
(_Equation1 instance-of Equation)
(|_Left Side0| instance-of Left-Side)
(|_Chemical Formula0| instance-of Chemical-Formula)
(_Scene0 instance-of Place)
(_Equation0 instance-of Equation)
(_Reaction0 instance-of Reaction)
-
(_Equation0 chemical-equation-of _Reaction0)
(|_Chemical Formula0| has-chemical-formula-of _Part0)
(|_Left Side0| is-region-of _Equation1)
(_Part0 is-part-of |_Left Side0|)
(|_Chemical Formula1| has-chemical-formula-of _Part1)
(|_Left Side1| is-region-of _Equation2)
(_Part1 is-part-of |_Left Side1|)
(|_Chemical Formula2| has-chemical-formula-of _Part2)
(|_Right Side0| is-region-of _Equation3)
(_Part2 is-part-of |_Right Side0|)
(|_Chemical Formula3| has-chemical-formula-of _Part3)
(|_Right Side1| is-region-of _Equation4)
(_Part3 is-part-of |_Right Side1|)
(|_Chemical Formula4| has-chemical-formula-of _Water0)
(|_Chemical Formula5| has-chemical-formula-of _Hcl0)
(|_Chemical Formula6| has-chemical-formula-of |_H3o Plus0|)
(|_Chemical Formula7| has-chemical-formula-of |_Cl Minus0|)
(_Scene1 possesses _Water1)
(_Scene2 possesses _Hcl1)
(_Scene3 possesses |_H3o Plus1|)
(_Scene4 possesses |_Cl Minus1|)
(_Direction0 direction-of _Reaction1)
(|_Equilibrium Side0| equilibrium-side-of _Reaction2)
-
(_Reaction0 input-word (:pair "reaction" n))
(_Reaction0 det det-a)
(_Equation0 input-word (:pair "equation" n))
(_Equation0 det det-an)
(_Scene0 input-word (:pair "scene" n))
(_Scene0 det det-a)
(|_Chemical Formula0| input-word (:pair "chemical formula" n))
(|_Chemical Formula0| det det-a)
(*First input-word (:pair "first" n))
(|_Chemical Formula0| marker *First)
(|_Left Side0| input-word (:pair "left side" n))
(|_Left Side0| det det-the)
(_Equation1 input-word (:pair "equation" n))
(_Equation1 det det-the)
(_Part0 input-word (:pair "part" n))
(|_Chemical Formula1| input-word (:pair "chemical formula" n))
(|_Chemical Formula1| det det-a)
(*Second input-word (:pair "second" n))
(|_Chemical Formula1| marker *Second)
(|_Left Side1| input-word (:pair "left side" n))
(|_Left Side1| det det-the)
(_Equation2 input-word (:pair "equation" n))
(_Equation2 det det-the)
(_Part1 input-word (:pair "part" n))
(_Part1 marker *Second)
(|_Chemical Formula2| input-word (:pair "chemical formula" n))
(|_Chemical Formula2| det det-a)
(*Third input-word (:pair "third" n))
(|_Chemical Formula2| marker *Third)
(|_Right Side0| input-word (:pair "right side" n))
(|_Right Side0| det det-the)
(_Equation3 input-word (:pair "equation" n))
(_Equation3 det det-the)
(_Part2 input-word (:pair "part" n))
(_Part2 marker *Third)
(|_Chemical Formula3| input-word (:pair "chemical formula" n))
(|_Chemical Formula3| det det-a)
(*Fourth input-word (:pair "fourth" n))
(|_Chemical Formula3| marker *Fourth)
(|_Right Side1| input-word (:pair "right side" n))
(|_Right Side1| det det-the)
(_Equation4 input-word (:pair "equation" n))
(_Equation4 det det-the)
(_Part3 input-word (:pair "part" n))
(_Part3 marker *Fourth)
(|_Chemical Formula4| input-word (:pair "chemical formula" n))
(|_Chemical Formula4| det det-the)
(|_Chemical Formula4| marker *First)
(_Water0 input-word (:pair "water" n))
(|_Chemical Formula5| input-word (:pair "chemical formula" n))
(|_Chemical Formula5| det det-the)
(|_Chemical Formula5| marker *Second)
(_Hcl0 input-word (:pair "hcl" n))
(|_Chemical Formula6| input-word (:pair "chemical formula" n))
(|_Chemical Formula6| det det-the)
(|_Chemical Formula6| marker *Third)
(|_H3o Plus0| input-word (:pair "h3o plus" n))
(|_Chemical Formula7| input-word (:pair "chemical formula" n))
(|_Chemical Formula7| det det-the)
(|_Chemical Formula7| marker *Fourth)
(|_Cl Minus0| input-word (:pair "cl minus" n))
(_Scene1 input-word (:pair "scene" n))
(_Scene1 det det-the)
(_Water1 input-word (:pair "water" n))
(_Water1 det det-the)
(_Scene2 input-word (:pair "scene" n))
(_Scene2 det det-the)
(_Hcl1 input-word (:pair "hcl" n))
(_Hcl1 det det-the)
(_Scene3 input-word (:pair "scene" n))
(_Scene3 det det-the)
(|_H3o Plus1| input-word (:pair "h3o plus" n))
(|_H3o Plus1| det det-the)
(_Scene4 input-word (:pair "scene" n))
(_Scene4 det det-the)
(|_Cl Minus1| input-word (:pair "cl minus" n))
(|_Cl Minus1| det det-the)
(_Direction0 input-word (:pair "what" n))
(_Direction0 det det-what)
(_Reaction1 input-word (:pair "reaction" n))
(_Reaction1 det det-the)
(_Direction0 input-word (:pair "direction" n))
(_Direction0 det det-the)
(_Direction0 query-varp t)
(|_Equilibrium Side0| input-word (:pair "what" n))
(|_Equilibrium Side0| det det-what)
(_Reaction2 input-word (:pair "reaction" n))
(_Reaction2 det det-the)
(|_Equilibrium Side0| input-word (:pair "equilibrium side" n))
(|_Equilibrium Side0| det det-the)
(|_Equilibrium Side0| query-varp t)

;;; Complete test of "notes/rtol2.txt" took 46.2 CPU secs