TSPC 2_a_lob

2_a_lob_j01
To get over this difficulty Alcock has suggested that instead of measuring directly the concentration of oxygen in the flowing sodium its thermodynamic potential should be measured by a suitable galvanic cell incorporated in the circuit.

arc(r_0002_0001__To_r_0002_0002__get, r_0002_0004__this_r_0002_0005__difficulty, r_0002_0003__over_clr11).
arc(r_0002_0001__To_r_0002_0002__get, r_0002_0006__Alcock, arg0).
arc(r_0002_0007__has, r_0002_0008__suggested, scope).
arc(r_0002_0008__suggested, r_0002_0006__Alcock, arg0).
arc(r_0002_0008__suggested, r_0002_0009__that_r_0002_0025__should, arg1).
arc(r_0002_0009__that_r_0002_0025__should, r_0002_0010__instead, nim28).
arc(r_0002_0009__that_r_0002_0025__should, r_0002_0026__be, scope).
arc(r_0002_0010__instead, r_0002_0012__measuring, r_0002_0011__of).
arc(r_0002_0012__measuring, r_0002_0013__directly, nim37).
arc(r_0002_0012__measuring, r_0002_0014__the_r_0002_0015__concentration, arg1).
arc(r_0002_0012__measuring, z_000_2_a_lob_j01_34, arg0).
arc(r_0002_0014__the_r_0002_0015__concentration, r_0002_0017__oxygen, r_0002_0016__of).
arc(r_0002_0017__oxygen, r_0002_0019__the_r_0002_0021__sodium, r_0002_0018__in).
arc(r_0002_0020__flowing, r_0002_0019__the_r_0002_0021__sodium, arg0).
arc(r_0002_0024__potential, r_0002_0004__this_r_0002_0005__difficulty, gen).
arc(r_0002_0024__potential, r_0002_0023__thermodynamic, attrib66).
arc(r_0002_0026__be, r_0002_0027__measured, scope).
arc(r_0002_0027__measured, r_0002_0024__potential, arg1).
arc(r_0002_0027__measured, r_0002_0029__a_r_0002_0031__galvanic_r_0002_0032__cell, arg0).
arc(r_0002_0029__a_r_0002_0031__galvanic_r_0002_0032__cell, r_0002_0030__suitable, attrib85).
arc(r_0002_0033__incorporated, r_0002_0029__a_r_0002_0031__galvanic_r_0002_0032__cell, arg0).
arc(r_0002_0033__incorporated, r_0002_0035__the_r_0002_0036__circuit, r_0002_0034__in_clr98).
arc(z_000_2_a_lob_j01_2, r_0002_0001__To_r_0002_0002__get, restriction).
arc(z_000_2_a_lob_j01_2, r_0002_0007__has, scope).

fof(formula,axiom,
    ? [R_0002_0019__THE_R_0002_0021__SODIUM,R_0002_0020__FLOWING,R_0002_0030__SUITABLE,R_0002_0029__A_R_0002_0031__GALVANIC_R_0002_0032__CELL,R_0002_0035__THE_R_0002_0036__CIRCUIT,R_0002_0033__INCORPORATED,R_0002_0004__THIS_R_0002_0005__DIFFICULTY,R_0002_0006__ALCOCK,R_0002_0001__TO_R_0002_0002__GET,R_0002_0013__DIRECTLY,R_0002_0017__OXYGEN,R_0002_0014__THE_R_0002_0015__CONCENTRATION,Z_000_2_A_LOB_J01_34,R_0002_0012__MEASURING,R_0002_0010__INSTEAD,R_0002_0023__THERMODYNAMIC,R_0002_0024__POTENTIAL,R_0002_0009__THAT_R_0002_0025__SHOULD_R_0002_0026__BE_R_0002_0027__MEASURED,R_0002_0007__HAS_R_0002_0008__SUGGESTED,Z_000_2_A_LOB_J01_2] :
      ( r_0002_0004__this_r_0002_0005__difficulty(R_0002_0004__THIS_R_0002_0005__DIFFICULTY)
      & r_0002_0006__Alcock(R_0002_0006__ALCOCK)
      & r_0002_0013__directly(R_0002_0013__DIRECTLY)
      & r_0002_0019__the_r_0002_0021__sodium(R_0002_0019__THE_R_0002_0021__SODIUM)
      & r_0002_0023__thermodynamic(R_0002_0023__THERMODYNAMIC)
      & r_0002_0030__suitable(R_0002_0030__SUITABLE)
      & r_0002_0035__the_r_0002_0036__circuit(R_0002_0035__THE_R_0002_0036__CIRCUIT)
      & z_000_2_a_lob_j01_34(Z_000_2_A_LOB_J01_34)
      & z_000_2_a_lob_j01_2(Z_000_2_A_LOB_J01_2)
      & has_conj2(Z_000_2_A_LOB_J01_2,R_0002_0007__HAS_R_0002_0008__SUGGESTED)
      & r_0002_0007__has_r_0002_0008__suggested(R_0002_0007__HAS_R_0002_0008__SUGGESTED)
      & has_arg1(R_0002_0007__HAS_R_0002_0008__SUGGESTED,R_0002_0009__THAT_R_0002_0025__SHOULD_R_0002_0026__BE_R_0002_0027__MEASURED)
      & r_0002_0009__that_r_0002_0025__should_r_0002_0026__be_r_0002_0027__measured(R_0002_0009__THAT_R_0002_0025__SHOULD_R_0002_0026__BE_R_0002_0027__MEASURED)
      & has_arg0(R_0002_0009__THAT_R_0002_0025__SHOULD_R_0002_0026__BE_R_0002_0027__MEASURED,R_0002_0029__A_R_0002_0031__GALVANIC_R_0002_0032__CELL)
      & r_0002_0029__a_r_0002_0031__galvanic_r_0002_0032__cell(R_0002_0029__A_R_0002_0031__GALVANIC_R_0002_0032__CELL)
      & has_attrib85(R_0002_0029__A_R_0002_0031__GALVANIC_R_0002_0032__CELL,R_0002_0030__SUITABLE)
      & has_arg1(R_0002_0009__THAT_R_0002_0025__SHOULD_R_0002_0026__BE_R_0002_0027__MEASURED,R_0002_0024__POTENTIAL)
      & r_0002_0024__potential(R_0002_0024__POTENTIAL)
      & has_attrib66(R_0002_0024__POTENTIAL,R_0002_0023__THERMODYNAMIC)
      & has_gen(R_0002_0024__POTENTIAL,R_0002_0004__THIS_R_0002_0005__DIFFICULTY)
      & has_nim28(R_0002_0009__THAT_R_0002_0025__SHOULD_R_0002_0026__BE_R_0002_0027__MEASURED,R_0002_0010__INSTEAD)
      & r_0002_0010__instead(R_0002_0010__INSTEAD)
      & has_r_0002_0011__of(R_0002_0010__INSTEAD,R_0002_0012__MEASURING)
      & r_0002_0012__measuring(R_0002_0012__MEASURING)
      & has_arg0(R_0002_0012__MEASURING,Z_000_2_A_LOB_J01_34)
      & has_arg1(R_0002_0012__MEASURING,R_0002_0014__THE_R_0002_0015__CONCENTRATION)
      & r_0002_0014__the_r_0002_0015__concentration(R_0002_0014__THE_R_0002_0015__CONCENTRATION)
      & has_r_0002_0016__of(R_0002_0014__THE_R_0002_0015__CONCENTRATION,R_0002_0017__OXYGEN)
      & r_0002_0017__oxygen(R_0002_0017__OXYGEN)
      & has_r_0002_0018__in(R_0002_0017__OXYGEN,R_0002_0019__THE_R_0002_0021__SODIUM)
      & has_nim37(R_0002_0012__MEASURING,R_0002_0013__DIRECTLY)
      & has_arg0(R_0002_0007__HAS_R_0002_0008__SUGGESTED,R_0002_0006__ALCOCK)
      & has_conj1(Z_000_2_A_LOB_J01_2,R_0002_0001__TO_R_0002_0002__GET)
      & r_0002_0001__To_r_0002_0002__get(R_0002_0001__TO_R_0002_0002__GET)
      & has_arg0(R_0002_0001__TO_R_0002_0002__GET,R_0002_0006__ALCOCK)
      & has_r_0002_0003__over_clr11(R_0002_0001__TO_R_0002_0002__GET,R_0002_0004__THIS_R_0002_0005__DIFFICULTY)
      & r_0002_0033__incorporated(R_0002_0033__INCORPORATED)
      & has_r_0002_0034__in_clr98(R_0002_0033__INCORPORATED,R_0002_0035__THE_R_0002_0036__CIRCUIT)
      & has_arg0(R_0002_0033__INCORPORATED,R_0002_0029__A_R_0002_0031__GALVANIC_R_0002_0032__CELL)
      & r_0002_0020__flowing(R_0002_0020__FLOWING)
      & has_arg0(R_0002_0020__FLOWING,R_0002_0019__THE_R_0002_0021__SODIUM) ) ).

( (IP-MAT (PP-SCON (IP-INF2 (TO To;{to})
                            (VB;_Ipr_ get;{get[over]})
                            (PP-CLR (P-ROLE over;{over})
                                    (NP (D this;{this})
                                        (N difficulty;{difficulty})))))
          (NP-SBJ (NPR Alcock;{Alcock}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;_Tf_ suggested;{suggest})
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (ADVP-NIM (ADV instead;{instead})
                                                    (PP (P-ROLE of;{of})
                                                        (IP-PPL (VAG;_Tn_ measuring;{measure})
                                                                (ADVP-NIM (ADV directly;{directly}))
                                                                (NP-OB1 (D the;{the})
                                                                        (N concentration;{concentration})
                                                                        (PP (P-ROLE of;{of})
                                                                            (NP (N oxygen;{oxygen})
                                                                                (PP (P-ROLE in;{in})
                                                                                    (NP (D the;{the})
                                                                                        (IP-PPL (VAG;_I_ flowing;{flow}))
                                                                                        (N sodium;{sodium})))))))))
                                          (NP-SBJ (NP-GEN (PRO;_genm_ its;{its}))
                                                  (ADJP (ADJ thermodynamic;{thermodynamic}))
                                                  (N potential;{potential}))
                                          (MD;_cat_Vi_ should;{shall})
                                          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                      (IP-PPL-CAT (VVN;_Tn_ measured;{measure})
                                                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                          (NP (D a;{a})
                                                                              (ADJP (ADJ suitable;{suitable}))
                                                                              (N galvanic;{galvanic})
                                                                              (N cell;{cell})
                                                                              (IP-PPL (VVN;_Ipr_ incorporated;{incorporate[in]})
                                                                                      (PP-CLR (P-ROLE in;{in})
                                                                                              (NP (D the;{the})
                                                                                                  (N circuit;{circuit})))))))))))
          (PUNC .))
  (ID 2_a_lob_j01))