57_a_lob_j01
Provided the temperatures at C and E are the same , thermoelectric contributions to the voltage should be zero .
arc(r_0057_0001__Provided_cnt,r_0057_0008__are,restriction_).
arc(r_0057_0001__Provided_cnt,r_0057_0017__should_r_0057_0018__be,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,prd2).
arc(r_0057_0009__the,r_0057_0010__same,attrib).
arc(r_0057_0013__contributions,r_0057_0012__thermoelectric,attrib).
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,r_0057_0013__contributions,arg0).
arc(r_0057_0017__should_r_0057_0018__be,r_0057_0019__zero,prd2).
( (IP-MAT (PP-SCON-CNT (P-CONN Provided;{providing})
(IP-ADV (NP-SBJ (D the;{the})
(NS temperatures;{temperature})
(PP (P-ROLE at;{at})
(NP (NLYR (NP (N C))
(CONJP (CONJ and;{and})
(NP (N E)))))))
(BEP;~Ln are;{be})
(NP-PRD2 (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-PRD2 (NUM zero;{zero})))
(PUNC .))
(ID 57_a_lob_j01))