arc(r_0057_0001__Provided, r_0057_0008__are, restriction).
arc(r_0057_0001__Provided, r_0057_0017__should, scope).
arc(r_0057_0002__the_r_0057_0003__temperatures, r_0057_0006__and, r_0057_0004__at).
arc(r_0057_0006__and, r_0057_0005__C, conj1).
arc(r_0057_0006__and, r_0057_0007__E, conj2).
arc(r_0057_0008__are, r_0057_0002__the_r_0057_0003__temperatures, arg0).
arc(r_0057_0008__are, r_0057_0009__the, prd).
arc(r_0057_0009__the, r_0057_0010__same, attrib30).
arc(r_0057_0013__contributions, r_0057_0012__thermoelectric, attrib36).
arc(r_0057_0013__contributions, r_0057_0015__the_r_0057_0016__voltage, r_0057_0014__to).
arc(r_0057_0017__should, r_0057_0018__be, scope).
arc(r_0057_0018__be, r_0057_0013__contributions, arg0).
arc(r_0057_0018__be, r_0057_0019__zero, prd).

fof(formula,axiom,
    ? [R_0057_0005__C,R_0057_0007__E,R_0057_0006__AND,R_0057_0002__THE_R_0057_0003__TEMPERATURES,R_0057_0010__SAME,R_0057_0009__THE,R_0057_0008__ARE,R_0057_0012__THERMOELECTRIC,R_0057_0015__THE_R_0057_0016__VOLTAGE,R_0057_0013__CONTRIBUTIONS,R_0057_0019__ZERO,R_0057_0017__SHOULD_R_0057_0018__BE,R_0057_0001__PROVIDED] :
      ( r_0057_0005__C(R_0057_0005__C)
      & r_0057_0007__E(R_0057_0007__E)
      & r_0057_0010__same(R_0057_0010__SAME)
      & r_0057_0012__thermoelectric(R_0057_0012__THERMOELECTRIC)
      & r_0057_0015__the_r_0057_0016__voltage(R_0057_0015__THE_R_0057_0016__VOLTAGE)
      & r_0057_0019__zero(R_0057_0019__ZERO)
      & r_0057_0001__Provided(R_0057_0001__PROVIDED)
      & has_conj2(R_0057_0001__PROVIDED,R_0057_0017__SHOULD_R_0057_0018__BE)
      & r_0057_0017__should_r_0057_0018__be(R_0057_0017__SHOULD_R_0057_0018__BE)
      & has_prd(R_0057_0017__SHOULD_R_0057_0018__BE,R_0057_0019__ZERO)
      & has_arg0(R_0057_0017__SHOULD_R_0057_0018__BE,R_0057_0013__CONTRIBUTIONS)
      & r_0057_0013__contributions(R_0057_0013__CONTRIBUTIONS)
      & has_r_0057_0014__to(R_0057_0013__CONTRIBUTIONS,R_0057_0015__THE_R_0057_0016__VOLTAGE)
      & has_attrib36(R_0057_0013__CONTRIBUTIONS,R_0057_0012__THERMOELECTRIC)
      & has_conj1(R_0057_0001__PROVIDED,R_0057_0008__ARE)
      & r_0057_0008__are(R_0057_0008__ARE)
      & has_prd(R_0057_0008__ARE,R_0057_0009__THE)
      & r_0057_0009__the(R_0057_0009__THE)
      & has_attrib30(R_0057_0009__THE,R_0057_0010__SAME)
      & has_arg0(R_0057_0008__ARE,R_0057_0002__THE_R_0057_0003__TEMPERATURES)
      & r_0057_0002__the_r_0057_0003__temperatures(R_0057_0002__THE_R_0057_0003__TEMPERATURES)
      & has_r_0057_0004__at(R_0057_0002__THE_R_0057_0003__TEMPERATURES,R_0057_0006__AND)
      & r_0057_0006__and(R_0057_0006__AND)
      & has_conj2(R_0057_0006__AND,R_0057_0007__E)
      & has_conj1(R_0057_0006__AND,R_0057_0005__C) ) ).

( (IP-MAT (PP-SCON (P-CONN Provided;{providing})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (NS temperatures;{temperature})
                                   (PP (P-ROLE at;{at})
                                       (NP (NLYR (NLYR (N C))
                                                 (CONJP (CONJ and;{and})
                                                        (NLYR (N E)))))))
                           (BEP;_Ln_ are;{be})
                           (NP-PRD (D the;{the})
                                   (ADJP (ADJ same;{same})))))
          (PUNC ,)
          (NP-SBJ (ADJP (ADJ thermoelectric;{thermoelectric}))
                  (NS contributions;{contribution})
                  (PP (P-ROLE to;{to})
                      (NP (D the;{the})
                          (N voltage;{voltage}))))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (BE;_Ln_ be;{be})
                      (NP-PRD (NUM zero;{zero})))
          (PUNC .))
  (ID 57_a_lob_j01))