TSPC 103_a_lob

103_a_lob_j01
Heat the solution nearly to boiling, by placing the polythene beaker in a glass beaker of water, heated on a hot plate, and add to the solution 1 g of tannic acid dissolved in hot water.

arc(r_0103_0001__Heat, r_0103_0002__the_r_0103_0003__solution, arg1).
arc(r_0103_0001__Heat, r_0103_0006__boiling, r_0103_0004__nearly_r_0103_0005__to_nim16).
arc(r_0103_0001__Heat, z_000_103_a_lob_j01_1, arg0).
arc(r_0103_0006__boiling, z_000_103_a_lob_j01_16, arg0).
arc(r_0103_0008__by, r_0103_0001__Heat, scope).
arc(r_0103_0008__by, r_0103_0009__placing, restriction).
arc(r_0103_0009__placing, r_0103_0010__the_r_0103_0012__beaker, arg1).
arc(r_0103_0009__placing, z_000_103_a_lob_j01_1, arg0).
arc(r_0103_0010__the_r_0103_0012__beaker, r_0103_0011__polythene, attrib30).
arc(r_0103_0010__the_r_0103_0012__beaker, r_0103_0014__a_r_0103_0015__glass_r_0103_0016__beaker, r_0103_0013__in).
arc(r_0103_0014__a_r_0103_0015__glass_r_0103_0016__beaker, r_0103_0018__water, r_0103_0017__of).
arc(r_0103_0020__heated, r_0103_0018__water, arg0).
arc(r_0103_0020__heated, r_0103_0022__a_r_0103_0024__plate, r_0103_0021__on_nim59).
arc(r_0103_0022__a_r_0103_0024__plate, r_0103_0023__hot, attrib62).
arc(r_0103_0026__and, r_0103_0008__by, conj1).
arc(r_0103_0026__and, r_0103_0027__add, conj2).
arc(r_0103_0027__add, r_0103_0029__the_r_0103_0030__solution, r_0103_0028__to_clr78).
arc(r_0103_0027__add, r_0103_0031__1_r_0103_0032__g, arg1).
arc(r_0103_0027__add, z_000_103_a_lob_j01_1, arg0).
arc(r_0103_0031__1_r_0103_0032__g, r_0103_0034__tannic_r_0103_0035__acid, r_0103_0033__of).
arc(r_0103_0036__dissolved, r_0103_0034__tannic_r_0103_0035__acid, arg0).
arc(r_0103_0036__dissolved, r_0103_0039__water, r_0103_0037__in_nim102).
arc(r_0103_0039__water, r_0103_0038__hot, attrib103).

fof(formula,axiom,
    ? [R_0103_0018__WATER,R_0103_0023__HOT,R_0103_0022__A_R_0103_0024__PLATE,R_0103_0020__HEATED,R_0103_0002__THE_R_0103_0003__SOLUTION,Z_000_103_A_LOB_J01_16,R_0103_0006__BOILING,Z_000_103_A_LOB_J01_1,R_0103_0001__HEAT,R_0103_0011__POLYTHENE,R_0103_0014__A_R_0103_0015__GLASS_R_0103_0016__BEAKER,R_0103_0010__THE_R_0103_0012__BEAKER,R_0103_0009__PLACING,R_0103_0008__BY,R_0103_0029__THE_R_0103_0030__SOLUTION,R_0103_0034__TANNIC_R_0103_0035__ACID,R_0103_0031__1_R_0103_0032__G,R_0103_0027__ADD,R_0103_0026__AND,R_0103_0038__HOT,R_0103_0039__WATER,R_0103_0036__DISSOLVED] :
      ( r_0103_0002__the_r_0103_0003__solution(R_0103_0002__THE_R_0103_0003__SOLUTION)
      & r_0103_0011__polythene(R_0103_0011__POLYTHENE)
      & r_0103_0018__water(R_0103_0018__WATER)
      & r_0103_0023__hot(R_0103_0023__HOT)
      & r_0103_0029__the_r_0103_0030__solution(R_0103_0029__THE_R_0103_0030__SOLUTION)
      & r_0103_0034__tannic_r_0103_0035__acid(R_0103_0034__TANNIC_R_0103_0035__ACID)
      & r_0103_0038__hot(R_0103_0038__HOT)
      & z_000_103_a_lob_j01_1(Z_000_103_A_LOB_J01_1)
      & z_000_103_a_lob_j01_16(Z_000_103_A_LOB_J01_16)
      & r_0103_0036__dissolved(R_0103_0036__DISSOLVED)
      & has_r_0103_0037__in_nim102(R_0103_0036__DISSOLVED,R_0103_0039__WATER)
      & r_0103_0039__water(R_0103_0039__WATER)
      & has_attrib103(R_0103_0039__WATER,R_0103_0038__HOT)
      & has_arg0(R_0103_0036__DISSOLVED,R_0103_0034__TANNIC_R_0103_0035__ACID)
      & r_0103_0026__and(R_0103_0026__AND)
      & has_conj2(R_0103_0026__AND,R_0103_0027__ADD)
      & r_0103_0027__add(R_0103_0027__ADD)
      & has_arg0(R_0103_0027__ADD,Z_000_103_A_LOB_J01_1)
      & has_arg1(R_0103_0027__ADD,R_0103_0031__1_R_0103_0032__G)
      & r_0103_0031__1_r_0103_0032__g(R_0103_0031__1_R_0103_0032__G)
      & has_r_0103_0033__of(R_0103_0031__1_R_0103_0032__G,R_0103_0034__TANNIC_R_0103_0035__ACID)
      & has_r_0103_0028__to_clr78(R_0103_0027__ADD,R_0103_0029__THE_R_0103_0030__SOLUTION)
      & has_conj1(R_0103_0026__AND,R_0103_0008__BY)
      & r_0103_0008__by(R_0103_0008__BY)
      & has_conj1(R_0103_0008__BY,R_0103_0009__PLACING)
      & r_0103_0009__placing(R_0103_0009__PLACING)
      & has_arg0(R_0103_0009__PLACING,Z_000_103_A_LOB_J01_1)
      & has_arg1(R_0103_0009__PLACING,R_0103_0010__THE_R_0103_0012__BEAKER)
      & r_0103_0010__the_r_0103_0012__beaker(R_0103_0010__THE_R_0103_0012__BEAKER)
      & has_r_0103_0013__in(R_0103_0010__THE_R_0103_0012__BEAKER,R_0103_0014__A_R_0103_0015__GLASS_R_0103_0016__BEAKER)
      & r_0103_0014__a_r_0103_0015__glass_r_0103_0016__beaker(R_0103_0014__A_R_0103_0015__GLASS_R_0103_0016__BEAKER)
      & has_r_0103_0017__of(R_0103_0014__A_R_0103_0015__GLASS_R_0103_0016__BEAKER,R_0103_0018__WATER)
      & has_attrib30(R_0103_0010__THE_R_0103_0012__BEAKER,R_0103_0011__POLYTHENE)
      & has_conj2(R_0103_0008__BY,R_0103_0001__HEAT)
      & r_0103_0001__Heat(R_0103_0001__HEAT)
      & has_arg0(R_0103_0001__HEAT,Z_000_103_A_LOB_J01_1)
      & has_r_0103_0004__nearly_r_0103_0005__to_nim16(R_0103_0001__HEAT,R_0103_0006__BOILING)
      & r_0103_0006__boiling(R_0103_0006__BOILING)
      & has_arg0(R_0103_0006__BOILING,Z_000_103_A_LOB_J01_16)
      & has_arg1(R_0103_0001__HEAT,R_0103_0002__THE_R_0103_0003__SOLUTION)
      & r_0103_0020__heated(R_0103_0020__HEATED)
      & has_r_0103_0021__on_nim59(R_0103_0020__HEATED,R_0103_0022__A_R_0103_0024__PLATE)
      & r_0103_0022__a_r_0103_0024__plate(R_0103_0022__A_R_0103_0024__PLATE)
      & has_attrib62(R_0103_0022__A_R_0103_0024__PLATE,R_0103_0023__HOT)
      & has_arg0(R_0103_0020__HEATED,R_0103_0018__WATER) ) ).

( (IP-IMP (ILYR (ILYR (VB;__ Heat;{heat})
                      (NP-OB1 (D the;{the})
                              (N solution;{solution}))
                      (PP-NIM (ADV nearly;{nearly})
                              (P-ROLE to;{to})
                              (IP-PPL (VAG;__ boiling;{boil})))
                      (PUNC ,)
                      (PP-SCON (P-CONN by;{by})
                               (IP-PPL2 (VAG;__ placing;{place})
                                        (NP-OB1 (D the;{the})
                                                (ADJP (ADJ polythene;{polythene}))
                                                (N beaker;{beaker})
                                                (PP (P-ROLE in;{in})
                                                    (NP (D a;{a})
                                                        (N glass;{glass})
                                                        (N beaker;{beaker})
                                                        (PP (P-ROLE of;{of})
                                                            (NP (N water;{water})
                                                                (PUNC ,)
                                                                (IP-PPL (VVN;__ heated;{heat})
                                                                        (PP-NIM (P-ROLE on;{on})
                                                                                (NP (D a;{a})
                                                                                    (ADJP (ADJ hot;{hot}))
                                                                                    (N plate;{plate}))))))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VB;__ add;{add})
                             (PP-CLR (P-ROLE to;{to})
                                     (NP (D the;{the})
                                         (N solution;{solution})))
                             (NP-OB1 (NUM 1)
                                     (FO g)
                                     (PP (P-ROLE of;{of})
                                         (NP (N tannic;{tannic})
                                             (N acid;{acid})
                                             (IP-PPL (VVN;__ dissolved;{dissolve})
                                                     (PP-NIM (P-ROLE in;{in})
                                                             (NP (ADJP (ADJ hot;{hot}))
                                                                 (N water;{water}))))))))))
          (PUNC .))
  (ID 103_a_lob_j01))