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>.

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_nim30).
arc(r_0034_0006__results, r_0034_0005__reproducible, attrib13).
arc(r_0034_0006__results, r_0034_0009__cells, r_0034_0007__with).
arc(r_0034_0009__cells, r_0034_0008__such, attrib22).
arc(r_0034_0014__and, r_0034_0011__400_r_0034_0012___deg__r_0034_0013__C, conj1).
arc(r_0034_0014__and, z_000_34_a_lob_j01_42, 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, attrib53).
arc(r_0034_0020__voltmeters, r_0034_0019__reed, attrib56).
arc(r_0034_0021__that_r_0034_0022__draw, r_0034_0020__voltmeters, arg0).
arc(r_0034_0021__that_r_0034_0022__draw, r_0034_0025__the_r_0034_0026__cell, r_0034_0024__from_nim75).
arc(r_0034_0021__that_r_0034_0022__draw, r_0034_0027__only, nim80).
arc(r_0034_0021__that_r_0034_0022__draw, r_0034_0029__a_r_0034_0030__result, prd).
arc(r_0034_0021__that_r_0034_0022__draw, z_000_34_a_lob_j01_68, 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, r_0034_0037___ast__bcomment_formula_ast__ecomment_, r_0034_0036__of).
arc(z_000_34_a_lob_j01_42, r_0034_0015__above, qual43).
arc(z_000_34_a_lob_j01_68, r_0034_0023__current, attrib69).

fof(formula,axiom,
    ? [R_34_16_BY,R_34_17_USING,R_34_3_HAS_OBTAINED,R_34_1_THE_AUTHOR,R_34_6_RESULTS,R_34_5_REPRODUCIBLE,R_34_9_CELLS,R_34_8_SUCH,R_34_14_AND,R_34_11_400_DEG_C,Z_34_A_LOB_J01_42,R_34_15_ABOVE,R_34_21_THAT_DRAW,R_34_20_VOLTMETERS,R_34_18_VIBRATING,R_34_19_REED,Z_34_A_LOB_J01_68,R_34_23_CURRENT,R_34_27_ONLY,R_34_29_A_RESULT,R_34_32_LEAKAGE,R_34_34_INSULATION_RESISTANCE,R_34_37__AST_BCOMMENT_FORMULA_AST_ECOMMENT_,R_34_25_THE_CELL] :
      ( the_author(R_34_1_THE_AUTHOR)
      & reproducible(R_34_5_REPRODUCIBLE)
      & such(R_34_8_SUCH)
      & 400_deg_C(R_34_11_400_DEG_C)
      & above(R_34_15_ABOVE)
      & vibrating(R_34_18_VIBRATING)
      & reed(R_34_19_REED)
      & current(R_34_23_CURRENT)
      & only(R_34_27_ONLY)
      & _ast_bcomment_formula_ast_ecomment_(R_34_37__AST_BCOMMENT_FORMULA_AST_ECOMMENT_)
      & the_cell(R_34_25_THE_CELL)
      & by(R_34_16_BY)
      & conj1(R_34_16_BY,R_34_17_USING)
      & using(R_34_17_USING,R_34_1_THE_AUTHOR,R_34_20_VOLTMETERS)
      & voltmeters(R_34_20_VOLTMETERS)
      & attrib53(R_34_20_VOLTMETERS,R_34_18_VIBRATING)
      & attrib56(R_34_20_VOLTMETERS,R_34_19_REED)
      & conj2(R_34_16_BY,R_34_3_HAS_OBTAINED)
      & has_obtained(R_34_3_HAS_OBTAINED,R_34_1_THE_AUTHOR,R_34_6_RESULTS)
      & results(R_34_6_RESULTS)
      & attrib13(R_34_6_RESULTS,R_34_5_REPRODUCIBLE)
      & with(R_34_6_RESULTS,R_34_9_CELLS)
      & cells(R_34_9_CELLS)
      & attrib22(R_34_9_CELLS,R_34_8_SUCH)
      & at_nim30(R_34_3_HAS_OBTAINED,R_34_14_AND)
      & and(R_34_14_AND)
      & conj1(R_34_14_AND,R_34_11_400_DEG_C)
      & conj2(R_34_14_AND,Z_34_A_LOB_J01_42)
      & z_34_a_lob_j01_42(Z_34_A_LOB_J01_42)
      & qual43(Z_34_A_LOB_J01_42,R_34_15_ABOVE)
      & that_draw(R_34_21_THAT_DRAW,R_34_20_VOLTMETERS,Z_34_A_LOB_J01_68,R_34_29_A_RESULT)
      & z_34_a_lob_j01_68(Z_34_A_LOB_J01_68)
      & attrib69(Z_34_A_LOB_J01_68,R_34_23_CURRENT)
      & a_result(R_34_29_A_RESULT)
      & of(R_34_29_A_RESULT,R_34_32_LEAKAGE)
      & leakage(R_34_32_LEAKAGE)
      & through(R_34_32_LEAKAGE,R_34_34_INSULATION_RESISTANCE)
      & insulation_resistance(R_34_34_INSULATION_RESISTANCE)
      & of(R_34_34_INSULATION_RESISTANCE,R_34_37__AST_BCOMMENT_FORMULA_AST_ECOMMENT_)
      & nim80(R_34_21_THAT_DRAW,R_34_27_ONLY)
      & from_nim75(R_34_21_THAT_DRAW,R_34_25_THE_CELL) ) ).

( (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))