Context                Previous, Next                Top


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.

%3 r_0055_0003__acquired acquired r_0055_0001__The_r_0055_0002__potential The potential r_0055_0003__acquired->r_0055_0001__The_r_0055_0002__potential [arg1] r_0055_0005__this_r_0055_0006__pool this pool r_0055_0003__acquired->r_0055_0005__this_r_0055_0006__pool [arg0] r_0055_0008__sodium sodium r_0055_0005__this_r_0055_0006__pool->r_0055_0008__sodium of r_0055_0009__is is r_0055_0010__transmitted transmitted r_0055_0009__is->r_0055_0010__transmitted [scope] r_0055_0010__transmitted->r_0055_0001__The_r_0055_0002__potential [arg1] r_0055_0012__the_r_0055_0013__voltmeter_r_0055_0014__V the voltmeter V r_0055_0010__transmitted->r_0055_0012__the_r_0055_0013__voltmeter_r_0055_0014__V to [clr] r_0055_0016__a_r_0055_0017__nickel_r_0055_0018__conductor_r_0055_0019__D a nickel conductor D r_0055_0010__transmitted->r_0055_0016__a_r_0055_0017__nickel_r_0055_0018__conductor_r_0055_0019__D [arg0] r_0055_0022__being being r_0055_0021__nickel nickel r_0055_0022__being->r_0055_0021__nickel [arg0] r_0055_0023__resistant resistant r_0055_0022__being->r_0055_0023__resistant [prd] r_0055_0026__attack attack r_0055_0023__resistant->r_0055_0026__attack to r_0055_0025__corrosive corrosive r_0055_0026__attack->r_0055_0025__corrosive [attrib] r_0055_0030__sodium sodium r_0055_0026__attack->r_0055_0030__sodium by r_0055_0032__500_r_0055_0033___deg__r_0055_0034__C 500  deg  C r_0055_0030__sodium->r_0055_0032__500_r_0055_0033___deg__r_0055_0034__C at r_0055_0029__saturated saturated r_0055_0029__saturated->r_0055_0030__sodium [arg1] r_0055_0028__oxide oxide r_0055_0029__saturated->r_0055_0028__oxide [arg0] z_000_55_a_lob_j01_53 z_000_55_a_lob_j01_53->r_0055_0009__is [scope] z_000_55_a_lob_j01_53->r_0055_0022__being [restriction] 
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).


%3 r_0055_0003__acquired acquired r_0055_0001__The_r_0055_0002__potential The potential r_0055_0003__acquired->r_0055_0001__The_r_0055_0002__potential [arg1] r_0055_0005__this_r_0055_0006__pool this pool r_0055_0003__acquired->r_0055_0005__this_r_0055_0006__pool [arg0] r_0055_0008__sodium sodium r_0055_0005__this_r_0055_0006__pool->r_0055_0008__sodium of r_0055_0009__is_r_0055_0010__transmitted is transmitted r_0055_0009__is_r_0055_0010__transmitted->r_0055_0001__The_r_0055_0002__potential [arg1] r_0055_0012__the_r_0055_0013__voltmeter_r_0055_0014__V the voltmeter V r_0055_0009__is_r_0055_0010__transmitted->r_0055_0012__the_r_0055_0013__voltmeter_r_0055_0014__V to [clr] r_0055_0016__a_r_0055_0017__nickel_r_0055_0018__conductor_r_0055_0019__D a nickel conductor D r_0055_0009__is_r_0055_0010__transmitted->r_0055_0016__a_r_0055_0017__nickel_r_0055_0018__conductor_r_0055_0019__D [arg0] r_0055_0022__being being r_0055_0021__nickel nickel r_0055_0022__being->r_0055_0021__nickel [arg0] r_0055_0023__resistant resistant r_0055_0022__being->r_0055_0023__resistant [prd] r_0055_0026__attack attack r_0055_0023__resistant->r_0055_0026__attack to r_0055_0025__corrosive corrosive r_0055_0026__attack->r_0055_0025__corrosive [attrib] r_0055_0030__sodium sodium r_0055_0026__attack->r_0055_0030__sodium by r_0055_0032__500_r_0055_0033___deg__r_0055_0034__C 500  deg  C r_0055_0030__sodium->r_0055_0032__500_r_0055_0033___deg__r_0055_0034__C at r_0055_0029__saturated saturated r_0055_0029__saturated->r_0055_0030__sodium [arg1] r_0055_0028__oxide oxide r_0055_0029__saturated->r_0055_0028__oxide [arg0] z_000_55_a_lob_j01_53 z_000_55_a_lob_j01_53->r_0055_0009__is_r_0055_0010__transmitted [conj2] z_000_55_a_lob_j01_53->r_0055_0022__being [conj1] 
fof(formula,axiom,
    ? [R_55_3_ACQUIRED,R_55_5_THIS_POOL,R_55_8_SODIUM,R_55_29_SATURATED,R_55_28_OXIDE,Z_55_A_LOB_J01_53,R_55_22_BEING,R_55_21_NICKEL,R_55_23_RESISTANT,R_55_26_ATTACK,R_55_25_CORROSIVE,R_55_30_SODIUM,R_55_32_500_DEG_C,R_55_9_IS_TRANSMITTED,R_55_16_A_NICKEL_CONDUCTOR_D,R_55_1_THE_POTENTIAL,R_55_12_THE_VOLTMETER_V] :
      ( sodium(R_55_8_SODIUM)
      & oxide(R_55_28_OXIDE)
      & nickel(R_55_21_NICKEL)
      & corrosive(R_55_25_CORROSIVE)
      & 500_deg_C(R_55_32_500_DEG_C)
      & a_nickel_conductor_D(R_55_16_A_NICKEL_CONDUCTOR_D)
      & the_potential(R_55_1_THE_POTENTIAL)
      & the_voltmeter_V(R_55_12_THE_VOLTMETER_V)
      & acquired(R_55_3_ACQUIRED,R_55_5_THIS_POOL,R_55_1_THE_POTENTIAL)
      & this_pool(R_55_5_THIS_POOL)
      & of(R_55_5_THIS_POOL,R_55_8_SODIUM)
      & saturated(R_55_29_SATURATED,R_55_28_OXIDE,R_55_30_SODIUM)
      & sodium(R_55_30_SODIUM)
      & at(R_55_30_SODIUM,R_55_32_500_DEG_C)
      & z_55_a_lob_j01_53(Z_55_A_LOB_J01_53)
      & conj1(Z_55_A_LOB_J01_53,R_55_22_BEING)
      & being(R_55_22_BEING,R_55_21_NICKEL,R_55_23_RESISTANT)
      & resistant(R_55_23_RESISTANT)
      & to(R_55_23_RESISTANT,R_55_26_ATTACK)
      & attack(R_55_26_ATTACK)
      & attrib67(R_55_26_ATTACK,R_55_25_CORROSIVE)
      & by(R_55_26_ATTACK,R_55_30_SODIUM)
      & conj2(Z_55_A_LOB_J01_53,R_55_9_IS_TRANSMITTED)
      & is_transmitted(R_55_9_IS_TRANSMITTED,R_55_16_A_NICKEL_CONDUCTOR_D,R_55_1_THE_POTENTIAL)
      & to_clr32(R_55_9_IS_TRANSMITTED,R_55_12_THE_VOLTMETER_V) ) ).


n55_a_lob_j01 n55_a_lob_j01_4 The n55_a_lob_j01_6 potential n55_a_lob_j01_9 acquired n55_a_lob_j01_12 by n55_a_lob_j01_15 this n55_a_lob_j01_17 pool n55_a_lob_j01_20 of n55_a_lob_j01_23 sodium n55_a_lob_j01_25 is n55_a_lob_j01_28 transmitted n55_a_lob_j01_31 to n55_a_lob_j01_34 the n55_a_lob_j01_36 voltmeter n55_a_lob_j01_38 V n55_a_lob_j01_41 by n55_a_lob_j01_44 a n55_a_lob_j01_46 nickel n55_a_lob_j01_48 conductor n55_a_lob_j01_50 D n55_a_lob_j01_52 , n55_a_lob_j01_57 nickel n55_a_lob_j01_59 being n55_a_lob_j01_62 resistant n55_a_lob_j01_65 to n55_a_lob_j01_69 corrosive n55_a_lob_j01_71 attack n55_a_lob_j01_74 by n55_a_lob_j01_79 oxide n55_a_lob_j01_81 saturated n55_a_lob_j01_83 sodium n55_a_lob_j01_86 at n55_a_lob_j01_89 500 n55_a_lob_j01_91 <deg> n55_a_lob_j01_93 C n55_a_lob_j01_95 . n55_a_lob_j01_1 IP-MAT n55_a_lob_j01_2 NP-SBJ n55_a_lob_j01_1->n55_a_lob_j01_2 n55_a_lob_j01_24 BEP;_cat_VePASS_ n55_a_lob_j01_1->n55_a_lob_j01_24 n55_a_lob_j01_26 IP-PPL-CAT n55_a_lob_j01_1->n55_a_lob_j01_26 n55_a_lob_j01_51 PUNC n55_a_lob_j01_1->n55_a_lob_j01_51 n55_a_lob_j01_53 PP-SCON n55_a_lob_j01_1->n55_a_lob_j01_53 n55_a_lob_j01_94 PUNC n55_a_lob_j01_1->n55_a_lob_j01_94 n55_a_lob_j01_3 D n55_a_lob_j01_2->n55_a_lob_j01_3 n55_a_lob_j01_5 N n55_a_lob_j01_2->n55_a_lob_j01_5 n55_a_lob_j01_7 IP-PPL n55_a_lob_j01_2->n55_a_lob_j01_7 n55_a_lob_j01_3->n55_a_lob_j01_4 n55_a_lob_j01_5->n55_a_lob_j01_6 n55_a_lob_j01_8 VVN;_Tn_ n55_a_lob_j01_7->n55_a_lob_j01_8 n55_a_lob_j01_10 PP-LGS n55_a_lob_j01_7->n55_a_lob_j01_10 n55_a_lob_j01_8->n55_a_lob_j01_9 n55_a_lob_j01_11 P-ROLE;_lgs_ n55_a_lob_j01_10->n55_a_lob_j01_11 n55_a_lob_j01_13 NP n55_a_lob_j01_10->n55_a_lob_j01_13 n55_a_lob_j01_11->n55_a_lob_j01_12 n55_a_lob_j01_14 D n55_a_lob_j01_13->n55_a_lob_j01_14 n55_a_lob_j01_16 N n55_a_lob_j01_13->n55_a_lob_j01_16 n55_a_lob_j01_18 PP n55_a_lob_j01_13->n55_a_lob_j01_18 n55_a_lob_j01_14->n55_a_lob_j01_15 n55_a_lob_j01_16->n55_a_lob_j01_17 n55_a_lob_j01_19 P-ROLE n55_a_lob_j01_18->n55_a_lob_j01_19 n55_a_lob_j01_21 NP n55_a_lob_j01_18->n55_a_lob_j01_21 n55_a_lob_j01_19->n55_a_lob_j01_20 n55_a_lob_j01_22 N n55_a_lob_j01_21->n55_a_lob_j01_22 n55_a_lob_j01_22->n55_a_lob_j01_23 n55_a_lob_j01_24->n55_a_lob_j01_25 n55_a_lob_j01_27 VVN;__ n55_a_lob_j01_26->n55_a_lob_j01_27 n55_a_lob_j01_29 PP-CLR n55_a_lob_j01_26->n55_a_lob_j01_29 n55_a_lob_j01_39 PP-LGS n55_a_lob_j01_26->n55_a_lob_j01_39 n55_a_lob_j01_27->n55_a_lob_j01_28 n55_a_lob_j01_30 P-ROLE n55_a_lob_j01_29->n55_a_lob_j01_30 n55_a_lob_j01_32 NP n55_a_lob_j01_29->n55_a_lob_j01_32 n55_a_lob_j01_30->n55_a_lob_j01_31 n55_a_lob_j01_33 D n55_a_lob_j01_32->n55_a_lob_j01_33 n55_a_lob_j01_35 N n55_a_lob_j01_32->n55_a_lob_j01_35 n55_a_lob_j01_37 N n55_a_lob_j01_32->n55_a_lob_j01_37 n55_a_lob_j01_33->n55_a_lob_j01_34 n55_a_lob_j01_35->n55_a_lob_j01_36 n55_a_lob_j01_37->n55_a_lob_j01_38 n55_a_lob_j01_40 P-ROLE;_lgs_ n55_a_lob_j01_39->n55_a_lob_j01_40 n55_a_lob_j01_42 NP n55_a_lob_j01_39->n55_a_lob_j01_42 n55_a_lob_j01_40->n55_a_lob_j01_41 n55_a_lob_j01_43 D n55_a_lob_j01_42->n55_a_lob_j01_43 n55_a_lob_j01_45 N n55_a_lob_j01_42->n55_a_lob_j01_45 n55_a_lob_j01_47 N n55_a_lob_j01_42->n55_a_lob_j01_47 n55_a_lob_j01_49 N n55_a_lob_j01_42->n55_a_lob_j01_49 n55_a_lob_j01_43->n55_a_lob_j01_44 n55_a_lob_j01_45->n55_a_lob_j01_46 n55_a_lob_j01_47->n55_a_lob_j01_48 n55_a_lob_j01_49->n55_a_lob_j01_50 n55_a_lob_j01_51->n55_a_lob_j01_52 n55_a_lob_j01_54 IP-PPL3 n55_a_lob_j01_53->n55_a_lob_j01_54 n55_a_lob_j01_55 NP-SBJ n55_a_lob_j01_54->n55_a_lob_j01_55 n55_a_lob_j01_58 BAG;_La_ n55_a_lob_j01_54->n55_a_lob_j01_58 n55_a_lob_j01_60 ADJP-PRD n55_a_lob_j01_54->n55_a_lob_j01_60 n55_a_lob_j01_56 N n55_a_lob_j01_55->n55_a_lob_j01_56 n55_a_lob_j01_56->n55_a_lob_j01_57 n55_a_lob_j01_58->n55_a_lob_j01_59 n55_a_lob_j01_61 ADJ n55_a_lob_j01_60->n55_a_lob_j01_61 n55_a_lob_j01_63 PP n55_a_lob_j01_60->n55_a_lob_j01_63 n55_a_lob_j01_61->n55_a_lob_j01_62 n55_a_lob_j01_64 P-ROLE n55_a_lob_j01_63->n55_a_lob_j01_64 n55_a_lob_j01_66 NP n55_a_lob_j01_63->n55_a_lob_j01_66 n55_a_lob_j01_64->n55_a_lob_j01_65 n55_a_lob_j01_67 ADJP n55_a_lob_j01_66->n55_a_lob_j01_67 n55_a_lob_j01_70 N n55_a_lob_j01_66->n55_a_lob_j01_70 n55_a_lob_j01_72 PP n55_a_lob_j01_66->n55_a_lob_j01_72 n55_a_lob_j01_68 ADJ n55_a_lob_j01_67->n55_a_lob_j01_68 n55_a_lob_j01_68->n55_a_lob_j01_69 n55_a_lob_j01_70->n55_a_lob_j01_71 n55_a_lob_j01_73 P-ROLE n55_a_lob_j01_72->n55_a_lob_j01_73 n55_a_lob_j01_75 NP n55_a_lob_j01_72->n55_a_lob_j01_75 n55_a_lob_j01_73->n55_a_lob_j01_74 n55_a_lob_j01_76 IP-PPL n55_a_lob_j01_75->n55_a_lob_j01_76 n55_a_lob_j01_82 N n55_a_lob_j01_75->n55_a_lob_j01_82 n55_a_lob_j01_84 PP n55_a_lob_j01_75->n55_a_lob_j01_84 n55_a_lob_j01_77 NP-LGS n55_a_lob_j01_76->n55_a_lob_j01_77 n55_a_lob_j01_80 VVN;__ n55_a_lob_j01_76->n55_a_lob_j01_80 n55_a_lob_j01_78 N n55_a_lob_j01_77->n55_a_lob_j01_78 n55_a_lob_j01_78->n55_a_lob_j01_79 n55_a_lob_j01_80->n55_a_lob_j01_81 n55_a_lob_j01_82->n55_a_lob_j01_83 n55_a_lob_j01_85 P-ROLE n55_a_lob_j01_84->n55_a_lob_j01_85 n55_a_lob_j01_87 NP n55_a_lob_j01_84->n55_a_lob_j01_87 n55_a_lob_j01_85->n55_a_lob_j01_86 n55_a_lob_j01_88 NUM n55_a_lob_j01_87->n55_a_lob_j01_88 n55_a_lob_j01_90 N n55_a_lob_j01_87->n55_a_lob_j01_90 n55_a_lob_j01_92 N n55_a_lob_j01_87->n55_a_lob_j01_92 n55_a_lob_j01_88->n55_a_lob_j01_89 n55_a_lob_j01_90->n55_a_lob_j01_91 n55_a_lob_j01_92->n55_a_lob_j01_93 n55_a_lob_j01_94->n55_a_lob_j01_95 
( (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))