( (IP-MAT (NP-SBJ (NS Experiments;{experiment})
                  (PP (P-ROLE with;{with})
                      (NP (ADJP (ADJ solid;{solid}))
                          (N oxide;{oxide})
                          (N electrolyte;{electrolyte})
                          (N galvanic;{galvanic})
                          (NS cells;{cell}))))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (VVN;_Tf_ indicated;{indicate})
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (NP-SBJ (PRO;_provisional_ it;{it}))
                                          (BEP;_La_ is;{be})
                                          (ADJP-PRD (ADJ difficult;{difficult}))
                                          (IP-INF-NSBJ (TO to;{to})
                                                       (VB;_Tn_ obtain;{obtain})
                                                       (NP-OB1 (ADJP (ADJ reproducible;{reproducible}))
                                                               (NS voltages;{voltage})))
                                          (PP-SCON (IP-PPL2 (VAG;_Tn_ using;{use})
                                                            (NP-OB1 (ADJP (ADJ normal;{normal}))
                                                                    (N potentiometric;{potentiometric})
                                                                    (NS methods;{method}))
                                                            (PP-NIM (P-ROLE at;{at})
                                                                    (NP (NS temperatures;{temperature})
                                                                        (PP (P-ROLE below;{below})
                                                                            (NP (NUM 750)
                                                                                (N <deg>)
                                                                                (N C))))))))))
          (PUNC .))
  (ID 33_a_lob_j01))

arc(r_0033_0001__Experiments,r_0033_0004__oxide_r_0033_0005__electrolyte_r_0033_0006__galvanic_r_0033_0007__cells,r_0033_0002__with).
arc(r_0033_0004__oxide_r_0033_0005__electrolyte_r_0033_0006__galvanic_r_0033_0007__cells,r_0033_0003__solid,attrib).
arc(r_0033_0008__have,r_0033_0009__indicated,scope).
arc(r_0033_0009__indicated,r_0033_0001__Experiments,arg0).
arc(r_0033_0009__indicated,z_0033_5007,arg1).
arc(r_0033_0012__is,r_0033_0013__difficult,prd).
arc(r_0033_0012__is,r_0033_0015__obtain,arg0).
arc(r_0033_0015__obtain,r_0033_0017__voltages,arg1).
arc(r_0033_0015__obtain,z_0033_5006,arg0).
arc(r_0033_0017__voltages,r_0033_0016__reproducible,attrib).
arc(r_0033_0018__using,r_0033_0020__potentiometric_r_0033_0021__methods,arg1).
arc(r_0033_0018__using,r_0033_0023__temperatures,r_0033_0022__at__nim).
arc(r_0033_0018__using,z_0033_5006,arg0).
arc(r_0033_0020__potentiometric_r_0033_0021__methods,r_0033_0019__normal,attrib).
arc(r_0033_0023__temperatures,r_0033_0025__750_r_0033_0026___deg__r_0033_0027__C,r_0033_0024__below).
arc(z_0033_5007,r_0033_0012__is,scope).
arc(z_0033_5007,r_0033_0018__using,restriction).

fof(formula,axiom,
    ? [R_0033_0003__SOLID,R_0033_0004__OXIDE_R_0033_0005__ELECTROLYTE_R_0033_0006__GALVANIC_R_0033_0007__CELLS,R_0033_0001__EXPERIMENTS,R_0033_0013__DIFFICULT,R_0033_0016__REPRODUCIBLE,R_0033_0017__VOLTAGES,Z_0033_5006,R_0033_0015__OBTAIN,R_0033_0012__IS,R_0033_0019__NORMAL,R_0033_0020__POTENTIOMETRIC_R_0033_0021__METHODS,R_0033_0025__750_R_0033_0026___DEG__R_0033_0027__C,R_0033_0023__TEMPERATURES,R_0033_0018__USING,Z_0033_5007,R_0033_0008__HAVE_R_0033_0009__INDICATED] :
      ( r_0033_0003__solid(R_0033_0003__SOLID)
      & r_0033_0013__difficult(R_0033_0013__DIFFICULT)
      & r_0033_0016__reproducible(R_0033_0016__REPRODUCIBLE)
      & r_0033_0019__normal(R_0033_0019__NORMAL)
      & r_0033_0025__750_r_0033_0026___deg__r_0033_0027__C(R_0033_0025__750_R_0033_0026___DEG__R_0033_0027__C)
      & z_0033_5006(Z_0033_5006)
      & r_0033_0008__have_r_0033_0009__indicated(R_0033_0008__HAVE_R_0033_0009__INDICATED)
      & has_arg1(R_0033_0008__HAVE_R_0033_0009__INDICATED,Z_0033_5007)
      & z_0033_5007(Z_0033_5007)
      & has_conj1(Z_0033_5007,R_0033_0018__USING)
      & r_0033_0018__using(R_0033_0018__USING)
      & has_arg0(R_0033_0018__USING,Z_0033_5006)
      & has_r_0033_0022__at__nim(R_0033_0018__USING,R_0033_0023__TEMPERATURES)
      & r_0033_0023__temperatures(R_0033_0023__TEMPERATURES)
      & has_r_0033_0024__below(R_0033_0023__TEMPERATURES,R_0033_0025__750_R_0033_0026___DEG__R_0033_0027__C)
      & has_arg1(R_0033_0018__USING,R_0033_0020__POTENTIOMETRIC_R_0033_0021__METHODS)
      & r_0033_0020__potentiometric_r_0033_0021__methods(R_0033_0020__POTENTIOMETRIC_R_0033_0021__METHODS)
      & has_attrib(R_0033_0020__POTENTIOMETRIC_R_0033_0021__METHODS,R_0033_0019__NORMAL)
      & has_conj2(Z_0033_5007,R_0033_0012__IS)
      & r_0033_0012__is(R_0033_0012__IS)
      & has_arg0(R_0033_0012__IS,R_0033_0015__OBTAIN)
      & r_0033_0015__obtain(R_0033_0015__OBTAIN)
      & has_arg0(R_0033_0015__OBTAIN,Z_0033_5006)
      & has_arg1(R_0033_0015__OBTAIN,R_0033_0017__VOLTAGES)
      & r_0033_0017__voltages(R_0033_0017__VOLTAGES)
      & has_attrib(R_0033_0017__VOLTAGES,R_0033_0016__REPRODUCIBLE)
      & has_prd(R_0033_0012__IS,R_0033_0013__DIFFICULT)
      & has_arg0(R_0033_0008__HAVE_R_0033_0009__INDICATED,R_0033_0001__EXPERIMENTS)
      & r_0033_0001__Experiments(R_0033_0001__EXPERIMENTS)
      & has_r_0033_0002__with(R_0033_0001__EXPERIMENTS,R_0033_0004__OXIDE_R_0033_0005__ELECTROLYTE_R_0033_0006__GALVANIC_R_0033_0007__CELLS)
      & r_0033_0004__oxide_r_0033_0005__electrolyte_r_0033_0006__galvanic_r_0033_0007__cells(R_0033_0004__OXIDE_R_0033_0005__ELECTROLYTE_R_0033_0006__GALVANIC_R_0033_0007__CELLS)
      & has_attrib(R_0033_0004__OXIDE_R_0033_0005__ELECTROLYTE_R_0033_0006__GALVANIC_R_0033_0007__CELLS,R_0033_0003__SOLID) ) ).