TSPC 34_a_lob

34_a_lob_j01
The author has obtained reproducible results with such cells at 400 <deg> C and above by using vibrating reed voltmeters that draw current from the cell only as a result of leakage through insulation resistance of <ast><bcomment>formula<ast><ecomment>.

( (IP-MAT (NP-SBJ (D The;{the})
                  (N author;{author}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;_Tn_ obtained;{obtain})
                      (NP-OB1 (ADJP (ADJ reproducible;{reproducible}))
                              (NS results;{result})
                              (PP (P-ROLE with;{with})
                                  (NP (ADJP (ADJ;_such_ such;{such}))
                                      (NS cells;{cell}))))
                      (PP-NIM (P-ROLE at;{at})
                              (NP (NLYR (NLYR (NUM 400)
                                              (N <deg>)
                                              (SYM C))
                                        (CONJP (CONJ and;{and})
                                               (NLYR (ADVP (ADV above;{above}))))))))
          (PP-SCON (P-CONN by;{by})
                   (IP-PPL (VAG;_Tn_ using;{use})
                           (NP-OB1 (ADJP (ADJ vibrating;{vibrating}))
                                   (ADJP (ADJ reed;{reed}))
                                   (NS voltmeters;{voltmeter})
                                   (IP-REL (C that;{that})
                                           (NP-SBJ *T*)
                                           (VBP;_Tn.pr_ draw;{draw})
                                           (NP-OB1 (ADJP (ADJ current;{current})))
                                           (PP-NIM (P-ROLE from;{from})
                                                   (NP (D the;{the})
                                                       (N cell;{cell})))
                                           (ADVP-NIM (ADV only;{only}))
                                           (PP-PRD (P-ROLE as;{as})
                                                   (NP (D a;{a})
                                                       (N result;{result})
                                                       (PP (P-ROLE of;{of})
                                                           (NP (N leakage;{leakage})
                                                               (PP (P-ROLE through;{through})
                                                                   (NP (N insulation;{insulation})
                                                                       (N resistance;{resistance})
                                                                       (PP (P-ROLE of;{of})
                                                                           (NP (FO <ast><bcomment>formula<ast><ecomment>)))))))))))))
          (PUNC .))
  (ID 34_a_lob_j01))

arc(r_0034_0003__has,r_0034_0004__obtained,scope).
arc(r_0034_0004__obtained,r_0034_0001__The_r_0034_0002__author,arg0).
arc(r_0034_0004__obtained,r_0034_0006__results,arg1).
arc(r_0034_0004__obtained,r_0034_0014__and,r_0034_0010__at__nim).
arc(r_0034_0006__results,r_0034_0005__reproducible,attrib).
arc(r_0034_0006__results,r_0034_0009__cells,r_0034_0007__with).
arc(r_0034_0009__cells,r_0034_0008__such,attrib).
arc(r_0034_0014__and,r_0034_0011__400_r_0034_0012___deg_,conj1).
arc(r_0034_0014__and,z_0034_5027,conj2).
arc(r_0034_0016__by,r_0034_0003__has,scope).
arc(r_0034_0016__by,r_0034_0017__using,restriction).
arc(r_0034_0017__using,r_0034_0001__The_r_0034_0002__author,arg0).
arc(r_0034_0017__using,r_0034_0020__voltmeters,arg1).
arc(r_0034_0020__voltmeters,r_0034_0018__vibrating,attrib).
arc(r_0034_0020__voltmeters,r_0034_0019__reed,attrib).
arc(r_0034_0022__draw,r_0034_0020__voltmeters,inv_arg0).
arc(r_0034_0022__draw,r_0034_0025__the_r_0034_0026__cell,r_0034_0024__from__nim).
arc(r_0034_0022__draw,r_0034_0027__only,nim).
arc(r_0034_0022__draw,r_0034_0029__a_r_0034_0030__result,r_0034_0028__as__prd).
arc(r_0034_0022__draw,z_0034_5008,arg1).
arc(r_0034_0029__a_r_0034_0030__result,r_0034_0032__leakage,r_0034_0031__of).
arc(r_0034_0032__leakage,r_0034_0034__insulation_r_0034_0035__resistance,r_0034_0033__through).
arc(r_0034_0034__insulation_r_0034_0035__resistance,z_0034_5013,r_0034_0036__of).
arc(z_0034_5008,r_0034_0023__current,attrib).
arc(z_0034_5027,r_0034_0015__above,qual).

fof(formula,axiom,
    ? [R_0034_0001__THE_R_0034_0002__AUTHOR,R_0034_0005__REPRODUCIBLE,R_0034_0008__SUCH,R_0034_0009__CELLS,R_0034_0006__RESULTS,R_0034_0011__400_R_0034_0012___DEG_,R_0034_0015__ABOVE,Z_0034_5027,R_0034_0014__AND,R_0034_0003__HAS_R_0034_0004__OBTAINED,R_0034_0018__VIBRATING,R_0034_0019__REED,R_0034_0025__THE_R_0034_0026__CELL,R_0034_0027__ONLY,Z_0034_5013,R_0034_0034__INSULATION_R_0034_0035__RESISTANCE,R_0034_0032__LEAKAGE,R_0034_0029__A_R_0034_0030__RESULT,R_0034_0023__CURRENT,Z_0034_5008,R_0034_0022__DRAW,R_0034_0020__VOLTMETERS,R_0034_0017__USING,R_0034_0016__BY] :
      ( r_0034_0001__The_r_0034_0002__author(R_0034_0001__THE_R_0034_0002__AUTHOR)
      & r_0034_0005__reproducible(R_0034_0005__REPRODUCIBLE)
      & r_0034_0008__such(R_0034_0008__SUCH)
      & r_0034_0011__400_r_0034_0012___deg_(R_0034_0011__400_R_0034_0012___DEG_)
      & r_0034_0015__above(R_0034_0015__ABOVE)
      & r_0034_0018__vibrating(R_0034_0018__VIBRATING)
      & r_0034_0019__reed(R_0034_0019__REED)
      & r_0034_0023__current(R_0034_0023__CURRENT)
      & r_0034_0025__the_r_0034_0026__cell(R_0034_0025__THE_R_0034_0026__CELL)
      & r_0034_0027__only(R_0034_0027__ONLY)
      & z_0034_5013(Z_0034_5013)
      & r_0034_0016__by(R_0034_0016__BY)
      & has_conj1(R_0034_0016__BY,R_0034_0017__USING)
      & r_0034_0017__using(R_0034_0017__USING)
      & has_arg1(R_0034_0017__USING,R_0034_0020__VOLTMETERS)
      & r_0034_0020__voltmeters(R_0034_0020__VOLTMETERS)
      & has_inv_arg0(R_0034_0020__VOLTMETERS,R_0034_0022__DRAW)
      & r_0034_0022__draw(R_0034_0022__DRAW)
      & has_arg1(R_0034_0022__DRAW,Z_0034_5008)
      & z_0034_5008(Z_0034_5008)
      & has_attrib(Z_0034_5008,R_0034_0023__CURRENT)
      & has_r_0034_0028__as__prd(R_0034_0022__DRAW,R_0034_0029__A_R_0034_0030__RESULT)
      & r_0034_0029__a_r_0034_0030__result(R_0034_0029__A_R_0034_0030__RESULT)
      & has_r_0034_0031__of(R_0034_0029__A_R_0034_0030__RESULT,R_0034_0032__LEAKAGE)
      & r_0034_0032__leakage(R_0034_0032__LEAKAGE)
      & has_r_0034_0033__through(R_0034_0032__LEAKAGE,R_0034_0034__INSULATION_R_0034_0035__RESISTANCE)
      & r_0034_0034__insulation_r_0034_0035__resistance(R_0034_0034__INSULATION_R_0034_0035__RESISTANCE)
      & has_r_0034_0036__of(R_0034_0034__INSULATION_R_0034_0035__RESISTANCE,Z_0034_5013)
      & has_nim(R_0034_0022__DRAW,R_0034_0027__ONLY)
      & has_r_0034_0024__from__nim(R_0034_0022__DRAW,R_0034_0025__THE_R_0034_0026__CELL)
      & has_attrib(R_0034_0020__VOLTMETERS,R_0034_0019__REED)
      & has_attrib(R_0034_0020__VOLTMETERS,R_0034_0018__VIBRATING)
      & has_arg0(R_0034_0017__USING,R_0034_0001__THE_R_0034_0002__AUTHOR)
      & has_conj2(R_0034_0016__BY,R_0034_0003__HAS_R_0034_0004__OBTAINED)
      & r_0034_0003__has_r_0034_0004__obtained(R_0034_0003__HAS_R_0034_0004__OBTAINED)
      & has_r_0034_0010__at__nim(R_0034_0003__HAS_R_0034_0004__OBTAINED,R_0034_0014__AND)
      & r_0034_0014__and(R_0034_0014__AND)
      & has_conj2(R_0034_0014__AND,Z_0034_5027)
      & z_0034_5027(Z_0034_5027)
      & has_qual(Z_0034_5027,R_0034_0015__ABOVE)
      & has_conj1(R_0034_0014__AND,R_0034_0011__400_R_0034_0012___DEG_)
      & has_arg1(R_0034_0003__HAS_R_0034_0004__OBTAINED,R_0034_0006__RESULTS)
      & r_0034_0006__results(R_0034_0006__RESULTS)
      & has_r_0034_0007__with(R_0034_0006__RESULTS,R_0034_0009__CELLS)
      & r_0034_0009__cells(R_0034_0009__CELLS)
      & has_attrib(R_0034_0009__CELLS,R_0034_0008__SUCH)
      & has_attrib(R_0034_0006__RESULTS,R_0034_0005__REPRODUCIBLE)
      & has_arg0(R_0034_0003__HAS_R_0034_0004__OBTAINED,R_0034_0001__THE_R_0034_0002__AUTHOR) ) ).