TSPC 56_a_lob

56_a_lob_j01
The <minus>ve electrode which is the coolant stream, is joined to the voltmeter by an earthed nickel conductor attached to the bottom of a well E in the coolant stream.

arc(r_0056_0001__The_r_0056_0003__electrode, r_0056_0002___minus_ve, attrib5).
arc(r_0056_0005__is, r_0056_0001__The_r_0056_0003__electrode, arg0).
arc(r_0056_0005__is, r_0056_0006__the_r_0056_0007__coolant_r_0056_0008__stream, prd).
arc(r_0056_0010__is, r_0056_0011__joined, scope).
arc(r_0056_0011__joined, r_0056_0001__The_r_0056_0003__electrode, arg1).
arc(r_0056_0011__joined, r_0056_0013__the_r_0056_0014__voltmeter, r_0056_0012__to_clr33).
arc(r_0056_0011__joined, r_0056_0016__an_r_0056_0018__nickel_r_0056_0019__conductor, arg0).
arc(r_0056_0016__an_r_0056_0018__nickel_r_0056_0019__conductor, r_0056_0017__earthed, attrib44).
arc(r_0056_0020__attached, r_0056_0016__an_r_0056_0018__nickel_r_0056_0019__conductor, arg0).
arc(r_0056_0020__attached, r_0056_0022__the_r_0056_0023__bottom, r_0056_0021__to_clr57).
arc(r_0056_0022__the_r_0056_0023__bottom, r_0056_0025__a_r_0056_0026__well_r_0056_0027__E, r_0056_0024__of).
arc(r_0056_0025__a_r_0056_0026__well_r_0056_0027__E, r_0056_0029__the_r_0056_0030__coolant_r_0056_0031__stream, r_0056_0028__in).

fof(formula,axiom,
    ? [R_0056_0002___MINUS_VE,R_0056_0001__THE_R_0056_0003__ELECTRODE,R_0056_0006__THE_R_0056_0007__COOLANT_R_0056_0008__STREAM,R_0056_0005__IS,R_0056_0013__THE_R_0056_0014__VOLTMETER,R_0056_0017__EARTHED,R_0056_0016__AN_R_0056_0018__NICKEL_R_0056_0019__CONDUCTOR,R_0056_0010__IS_R_0056_0011__JOINED,R_0056_0029__THE_R_0056_0030__COOLANT_R_0056_0031__STREAM,R_0056_0025__A_R_0056_0026__WELL_R_0056_0027__E,R_0056_0022__THE_R_0056_0023__BOTTOM,R_0056_0020__ATTACHED] :
      ( r_0056_0002___minus_ve(R_0056_0002___MINUS_VE)
      & r_0056_0006__the_r_0056_0007__coolant_r_0056_0008__stream(R_0056_0006__THE_R_0056_0007__COOLANT_R_0056_0008__STREAM)
      & r_0056_0013__the_r_0056_0014__voltmeter(R_0056_0013__THE_R_0056_0014__VOLTMETER)
      & r_0056_0017__earthed(R_0056_0017__EARTHED)
      & r_0056_0029__the_r_0056_0030__coolant_r_0056_0031__stream(R_0056_0029__THE_R_0056_0030__COOLANT_R_0056_0031__STREAM)
      & r_0056_0020__attached(R_0056_0020__ATTACHED)
      & has_r_0056_0021__to_clr57(R_0056_0020__ATTACHED,R_0056_0022__THE_R_0056_0023__BOTTOM)
      & r_0056_0022__the_r_0056_0023__bottom(R_0056_0022__THE_R_0056_0023__BOTTOM)
      & has_r_0056_0024__of(R_0056_0022__THE_R_0056_0023__BOTTOM,R_0056_0025__A_R_0056_0026__WELL_R_0056_0027__E)
      & r_0056_0025__a_r_0056_0026__well_r_0056_0027__E(R_0056_0025__A_R_0056_0026__WELL_R_0056_0027__E)
      & has_r_0056_0028__in(R_0056_0025__A_R_0056_0026__WELL_R_0056_0027__E,R_0056_0029__THE_R_0056_0030__COOLANT_R_0056_0031__STREAM)
      & has_arg0(R_0056_0020__ATTACHED,R_0056_0016__AN_R_0056_0018__NICKEL_R_0056_0019__CONDUCTOR)
      & r_0056_0016__an_r_0056_0018__nickel_r_0056_0019__conductor(R_0056_0016__AN_R_0056_0018__NICKEL_R_0056_0019__CONDUCTOR)
      & has_attrib44(R_0056_0016__AN_R_0056_0018__NICKEL_R_0056_0019__CONDUCTOR,R_0056_0017__EARTHED)
      & r_0056_0010__is_r_0056_0011__joined(R_0056_0010__IS_R_0056_0011__JOINED)
      & has_arg0(R_0056_0010__IS_R_0056_0011__JOINED,R_0056_0016__AN_R_0056_0018__NICKEL_R_0056_0019__CONDUCTOR)
      & has_r_0056_0012__to_clr33(R_0056_0010__IS_R_0056_0011__JOINED,R_0056_0013__THE_R_0056_0014__VOLTMETER)
      & has_arg1(R_0056_0010__IS_R_0056_0011__JOINED,R_0056_0001__THE_R_0056_0003__ELECTRODE)
      & r_0056_0001__The_r_0056_0003__electrode(R_0056_0001__THE_R_0056_0003__ELECTRODE)
      & has_attrib5(R_0056_0001__THE_R_0056_0003__ELECTRODE,R_0056_0002___MINUS_VE)
      & r_0056_0005__is(R_0056_0005__IS)
      & has_prd(R_0056_0005__IS,R_0056_0006__THE_R_0056_0007__COOLANT_R_0056_0008__STREAM)
      & has_arg0(R_0056_0005__IS,R_0056_0001__THE_R_0056_0003__ELECTRODE) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ <minus>ve))
                  (N electrode;{electrode})
                  (IP-REL (NP-SBJ (RPRO which;{which}))
                          (BEP;_Ln_ is;{be})
                          (NP-PRD (D the;{the})
                                  (N coolant;{coolant})
                                  (N stream;{stream}))))
          (PUNC ,)
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (VVN;__ joined;{join})
                      (PP-CLR (P-ROLE to;{to})
                              (NP (D the;{the})
                                  (N voltmeter;{voltmeter})))
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (D an;{an})
                                  (ADJP (ADJ earthed;{earthed}))
                                  (N nickel;{nickel})
                                  (N conductor;{conductor})
                                  (IP-PPL (VVN;__ attached;{attach})
                                          (PP-CLR (P-ROLE to;{to})
                                                  (NP (D the;{the})
                                                      (N bottom;{bottom})
                                                      (PP (P-ROLE of;{of})
                                                          (NP (D a;{a})
                                                              (N well;{well})
                                                              (N E)
                                                              (PP (P-ROLE in;{in})
                                                                  (NP (D the;{the})
                                                                      (N coolant;{coolant})
                                                                      (N stream;{stream})))))))))))
          (PUNC .))
  (ID 56_a_lob_j01))