TSPC 55_a_lob

55_a_lob_j01
The potential acquired by this pool of sodium is transmitted to the voltmeter V by a nickel conductor D, nickel being resistant to corrosive attack by oxide saturated sodium at 500 <deg> C.

arc(r_0055_0003__acquired, r_0055_0001__The_r_0055_0002__potential, arg1).
arc(r_0055_0003__acquired, r_0055_0005__this_r_0055_0006__pool, arg0).
arc(r_0055_0005__this_r_0055_0006__pool, r_0055_0008__sodium, r_0055_0007__of).
arc(r_0055_0009__is, r_0055_0010__transmitted, scope).
arc(r_0055_0010__transmitted, r_0055_0001__The_r_0055_0002__potential, arg1).
arc(r_0055_0010__transmitted, r_0055_0012__the_r_0055_0013__voltmeter_r_0055_0014__V, r_0055_0011__to_clr32).
arc(r_0055_0010__transmitted, r_0055_0016__a_r_0055_0017__nickel_r_0055_0018__conductor_r_0055_0019__D, arg0).
arc(r_0055_0022__being, r_0055_0021__nickel, arg0).
arc(r_0055_0022__being, r_0055_0023__resistant, prd).
arc(r_0055_0023__resistant, r_0055_0026__attack, r_0055_0024__to).
arc(r_0055_0026__attack, r_0055_0025__corrosive, attrib67).
arc(r_0055_0026__attack, r_0055_0030__sodium, r_0055_0027__by).
arc(r_0055_0029__saturated, r_0055_0028__oxide, arg0).
arc(r_0055_0029__saturated, r_0055_0030__sodium, arg1).
arc(r_0055_0030__sodium, r_0055_0032__500_r_0055_0033___deg__r_0055_0034__C, r_0055_0031__at).
arc(z_000_55_a_lob_j01_53, r_0055_0009__is, scope).
arc(z_000_55_a_lob_j01_53, r_0055_0022__being, restriction).

fof(formula,axiom,
    ? [R_0055_0001__THE_R_0055_0002__POTENTIAL,R_0055_0008__SODIUM,R_0055_0005__THIS_R_0055_0006__POOL,R_0055_0003__ACQUIRED,R_0055_0028__OXIDE,R_0055_0032__500_R_0055_0033___DEG__R_0055_0034__C,R_0055_0030__SODIUM,R_0055_0029__SATURATED,R_0055_0012__THE_R_0055_0013__VOLTMETER_R_0055_0014__V,R_0055_0016__A_R_0055_0017__NICKEL_R_0055_0018__CONDUCTOR_R_0055_0019__D,R_0055_0009__IS_R_0055_0010__TRANSMITTED,R_0055_0021__NICKEL,R_0055_0025__CORROSIVE,R_0055_0026__ATTACK,R_0055_0023__RESISTANT,R_0055_0022__BEING,Z_000_55_A_LOB_J01_53] :
      ( r_0055_0001__The_r_0055_0002__potential(R_0055_0001__THE_R_0055_0002__POTENTIAL)
      & r_0055_0008__sodium(R_0055_0008__SODIUM)
      & r_0055_0012__the_r_0055_0013__voltmeter_r_0055_0014__V(R_0055_0012__THE_R_0055_0013__VOLTMETER_R_0055_0014__V)
      & r_0055_0016__a_r_0055_0017__nickel_r_0055_0018__conductor_r_0055_0019__D(R_0055_0016__A_R_0055_0017__NICKEL_R_0055_0018__CONDUCTOR_R_0055_0019__D)
      & r_0055_0021__nickel(R_0055_0021__NICKEL)
      & r_0055_0025__corrosive(R_0055_0025__CORROSIVE)
      & r_0055_0028__oxide(R_0055_0028__OXIDE)
      & r_0055_0032__500_r_0055_0033___deg__r_0055_0034__C(R_0055_0032__500_R_0055_0033___DEG__R_0055_0034__C)
      & z_000_55_a_lob_j01_53(Z_000_55_A_LOB_J01_53)
      & has_conj1(Z_000_55_A_LOB_J01_53,R_0055_0022__BEING)
      & r_0055_0022__being(R_0055_0022__BEING)
      & has_prd(R_0055_0022__BEING,R_0055_0023__RESISTANT)
      & r_0055_0023__resistant(R_0055_0023__RESISTANT)
      & has_r_0055_0024__to(R_0055_0023__RESISTANT,R_0055_0026__ATTACK)
      & r_0055_0026__attack(R_0055_0026__ATTACK)
      & has_r_0055_0027__by(R_0055_0026__ATTACK,R_0055_0030__SODIUM)
      & r_0055_0030__sodium(R_0055_0030__SODIUM)
      & has_r_0055_0031__at(R_0055_0030__SODIUM,R_0055_0032__500_R_0055_0033___DEG__R_0055_0034__C)
      & has_attrib67(R_0055_0026__ATTACK,R_0055_0025__CORROSIVE)
      & has_arg0(R_0055_0022__BEING,R_0055_0021__NICKEL)
      & has_conj2(Z_000_55_A_LOB_J01_53,R_0055_0009__IS_R_0055_0010__TRANSMITTED)
      & r_0055_0009__is_r_0055_0010__transmitted(R_0055_0009__IS_R_0055_0010__TRANSMITTED)
      & has_arg0(R_0055_0009__IS_R_0055_0010__TRANSMITTED,R_0055_0016__A_R_0055_0017__NICKEL_R_0055_0018__CONDUCTOR_R_0055_0019__D)
      & has_r_0055_0011__to_clr32(R_0055_0009__IS_R_0055_0010__TRANSMITTED,R_0055_0012__THE_R_0055_0013__VOLTMETER_R_0055_0014__V)
      & has_arg1(R_0055_0009__IS_R_0055_0010__TRANSMITTED,R_0055_0001__THE_R_0055_0002__POTENTIAL)
      & r_0055_0029__saturated(R_0055_0029__SATURATED)
      & has_arg1(R_0055_0029__SATURATED,R_0055_0030__SODIUM)
      & has_arg0(R_0055_0029__SATURATED,R_0055_0028__OXIDE)
      & r_0055_0003__acquired(R_0055_0003__ACQUIRED)
      & has_arg0(R_0055_0003__ACQUIRED,R_0055_0005__THIS_R_0055_0006__POOL)
      & r_0055_0005__this_r_0055_0006__pool(R_0055_0005__THIS_R_0055_0006__POOL)
      & has_r_0055_0007__of(R_0055_0005__THIS_R_0055_0006__POOL,R_0055_0008__SODIUM)
      & has_arg1(R_0055_0003__ACQUIRED,R_0055_0001__THE_R_0055_0002__POTENTIAL) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (N potential;{potential})
                  (IP-PPL (VVN;_Tn_ acquired;{acquire})
                          (PP-LGS (P-ROLE;_lgs_ by;{by})
                                  (NP (D this;{this})
                                      (N pool;{pool})
                                      (PP (P-ROLE of;{of})
                                          (NP (N sodium;{sodium})))))))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (VVN;__ transmitted;{transmit})
                      (PP-CLR (P-ROLE to;{to})
                              (NP (D the;{the})
                                  (N voltmeter;{voltmeter})
                                  (N V)))
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (D a;{a})
                                  (N nickel;{nickel})
                                  (N conductor;{conductor})
                                  (N D))))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (NP-SBJ (N nickel;{nickel}))
                            (BAG;_La_ being;{be})
                            (ADJP-PRD (ADJ resistant;{resistant})
                                      (PP (P-ROLE to;{to})
                                          (NP (ADJP (ADJ corrosive;{corrosive}))
                                              (N attack;{attack})
                                              (PP (P-ROLE by;{by})
                                                  (NP (IP-PPL (NP-LGS (N oxide;{oxide}))
                                                              (VVN;__ saturated;{saturate}))
                                                      (N sodium;{sodium})
                                                      (PP (P-ROLE at;{at})
                                                          (NP (NUM 500)
                                                              (N <deg>)
                                                              (N C))))))))))
          (PUNC .))
  (ID 55_a_lob_j01))