TSPC 62_a_lob

62_a_lob_j01
The probe can be evacuated and filled with inert gas via the tube L which must of course be electrically isolated after this has been carried out.

arc(r_0062_0003__can, r_0062_0004__be, scope).
arc(r_0062_0004__be, r_0062_0006__and, scope).
arc(r_0062_0005__evacuated, r_0062_0001__The_r_0062_0002__probe, arg1).
arc(r_0062_0005__evacuated, r_0062_0012__the_r_0062_0013__tube_r_0062_0014__L, r_0062_0011__via_nim39).
arc(r_0062_0005__evacuated, z_000_62_a_lob_j01_15, arg0).
arc(r_0062_0005__evacuated, z_000_62_a_lob_j01_15, lgs).
arc(r_0062_0006__and, r_0062_0005__evacuated, conj1).
arc(r_0062_0006__and, r_0062_0007__filled, conj2).
arc(r_0062_0007__filled, r_0062_0001__The_r_0062_0002__probe, arg1).
arc(r_0062_0007__filled, r_0062_0010__gas, r_0062_0008__with_nim30).
arc(r_0062_0007__filled, r_0062_0012__the_r_0062_0013__tube_r_0062_0014__L, r_0062_0011__via_nim39).
arc(r_0062_0007__filled, z_000_62_a_lob_j01_23, arg0).
arc(r_0062_0007__filled, z_000_62_a_lob_j01_23, lgs).
arc(r_0062_0010__gas, r_0062_0009__inert, attrib31).
arc(r_0062_0016__must, r_0062_0021__after, scope).
arc(r_0062_0018__be, r_0062_0012__the_r_0062_0013__tube_r_0062_0014__L, arg0).
arc(r_0062_0018__be, r_0062_0017__of_course, nim53).
arc(r_0062_0018__be, r_0062_0020__isolated, prd).
arc(r_0062_0020__isolated, r_0062_0019__electrically, qual59).
arc(r_0062_0021__after, r_0062_0018__be, scope).
arc(r_0062_0021__after, r_0062_0023__has, restriction).
arc(r_0062_0023__has, r_0062_0024__been, scope).
arc(r_0062_0024__been, r_0062_0025__carried_r_0062_0026__out, scope).
arc(r_0062_0025__carried_r_0062_0026__out, r_0062_0022__this, arg1).
arc(r_0062_0025__carried_r_0062_0026__out, z_000_62_a_lob_j01_77, arg0).

fof(formula,axiom,
    ? [R_0062_0012__THE_R_0062_0013__TUBE_R_0062_0014__L,R_0062_0017__OF_COURSE,R_0062_0019__ELECTRICALLY,R_0062_0020__ISOLATED,R_0062_0018__BE,R_0062_0022__THIS,Z_000_62_A_LOB_J01_77,R_0062_0023__HAS_R_0062_0024__BEEN_R_0062_0025__CARRIED_R_0062_0026__OUT,R_0062_0021__AFTER,R_0062_0016__MUST,R_0062_0001__THE_R_0062_0002__PROBE,Z_000_62_A_LOB_J01_15,R_0062_0005__EVACUATED,R_0062_0009__INERT,R_0062_0010__GAS,Z_000_62_A_LOB_J01_23,R_0062_0007__FILLED,R_0062_0006__AND,R_0062_0003__CAN_R_0062_0004__BE] :
      ( r_0062_0001__The_r_0062_0002__probe(R_0062_0001__THE_R_0062_0002__PROBE)
      & r_0062_0009__inert(R_0062_0009__INERT)
      & r_0062_0012__the_r_0062_0013__tube_r_0062_0014__L(R_0062_0012__THE_R_0062_0013__TUBE_R_0062_0014__L)
      & r_0062_0017__of_course(R_0062_0017__OF_COURSE)
      & r_0062_0019__electrically(R_0062_0019__ELECTRICALLY)
      & r_0062_0022__this(R_0062_0022__THIS)
      & z_000_62_a_lob_j01_15(Z_000_62_A_LOB_J01_15)
      & z_000_62_a_lob_j01_23(Z_000_62_A_LOB_J01_23)
      & z_000_62_a_lob_j01_77(Z_000_62_A_LOB_J01_77)
      & r_0062_0003__can_r_0062_0004__be(R_0062_0003__CAN_R_0062_0004__BE)
      & has_keep_scope(R_0062_0003__CAN_R_0062_0004__BE,R_0062_0006__AND)
      & r_0062_0006__and(R_0062_0006__AND)
      & has_conj2(R_0062_0006__AND,R_0062_0007__FILLED)
      & r_0062_0007__filled(R_0062_0007__FILLED)
      & has_lgs(R_0062_0007__FILLED,Z_000_62_A_LOB_J01_23)
      & has_arg0(R_0062_0007__FILLED,Z_000_62_A_LOB_J01_23)
      & has_r_0062_0011__via_nim39(R_0062_0007__FILLED,R_0062_0012__THE_R_0062_0013__TUBE_R_0062_0014__L)
      & has_r_0062_0008__with_nim30(R_0062_0007__FILLED,R_0062_0010__GAS)
      & r_0062_0010__gas(R_0062_0010__GAS)
      & has_attrib31(R_0062_0010__GAS,R_0062_0009__INERT)
      & has_arg1(R_0062_0007__FILLED,R_0062_0001__THE_R_0062_0002__PROBE)
      & has_conj1(R_0062_0006__AND,R_0062_0005__EVACUATED)
      & r_0062_0005__evacuated(R_0062_0005__EVACUATED)
      & has_lgs(R_0062_0005__EVACUATED,Z_000_62_A_LOB_J01_15)
      & has_arg0(R_0062_0005__EVACUATED,Z_000_62_A_LOB_J01_15)
      & has_r_0062_0011__via_nim39(R_0062_0005__EVACUATED,R_0062_0012__THE_R_0062_0013__TUBE_R_0062_0014__L)
      & has_arg1(R_0062_0005__EVACUATED,R_0062_0001__THE_R_0062_0002__PROBE)
      & r_0062_0016__must(R_0062_0016__MUST)
      & has_keep_scope(R_0062_0016__MUST,R_0062_0021__AFTER)
      & r_0062_0021__after(R_0062_0021__AFTER)
      & has_conj1(R_0062_0021__AFTER,R_0062_0023__HAS_R_0062_0024__BEEN_R_0062_0025__CARRIED_R_0062_0026__OUT)
      & r_0062_0023__has_r_0062_0024__been_r_0062_0025__carried_r_0062_0026__out(R_0062_0023__HAS_R_0062_0024__BEEN_R_0062_0025__CARRIED_R_0062_0026__OUT)
      & has_arg0(R_0062_0023__HAS_R_0062_0024__BEEN_R_0062_0025__CARRIED_R_0062_0026__OUT,Z_000_62_A_LOB_J01_77)
      & has_arg1(R_0062_0023__HAS_R_0062_0024__BEEN_R_0062_0025__CARRIED_R_0062_0026__OUT,R_0062_0022__THIS)
      & has_conj2(R_0062_0021__AFTER,R_0062_0018__BE)
      & r_0062_0018__be(R_0062_0018__BE)
      & has_prd(R_0062_0018__BE,R_0062_0020__ISOLATED)
      & r_0062_0020__isolated(R_0062_0020__ISOLATED)
      & has_qual59(R_0062_0020__ISOLATED,R_0062_0019__ELECTRICALLY)
      & has_nim53(R_0062_0018__BE,R_0062_0017__OF_COURSE)
      & has_arg0(R_0062_0018__BE,R_0062_0012__THE_R_0062_0013__TUBE_R_0062_0014__L) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (N probe;{probe}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (ILYR (ILYR (NP-LGS *)
                                              (VVN;__ evacuated;{evacuate}))
                                        (CONJP (CONJ and;{and})
                                               (ILYR (NP-LGS *)
                                                     (VVN;__ filled;{fill})
                                                     (PP-NIM (P-ROLE with;{with})
                                                             (NP (ADJP (ADJ inert;{inert}))
                                                                 (N gas;{gas}))))))
                                  (PP-NIM (P-ROLE via;{via})
                                          (NP (D the;{the})
                                              (N tube;{tube})
                                              (N L)
                                              (IP-REL (NP-SBJ (RPRO which;{which}))
                                                      (MD;_cat_Vi_ must;{must})
                                                      (IP-INF-CAT (ADVP-NIM (ADV of_course;{of_course}))
                                                                  (BE;_La_ be;{be})
                                                                  (ADJP-PRD (ADVP (ADV electrically;{electrically}))
                                                                            (ADJ isolated;{isolated}))
                                                                  (PP-SCON (P-CONN after;{after})
                                                                           (IP-ADV (NP-SBJ (D;_nphd_ this;{this}))
                                                                                   (HVP;_cat_Ve_ has;{have})
                                                                                   (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                                                                               (IP-PPL-CAT (NP-LGS *)
                                                                                                           (VVN;__ carried;{carry})
                                                                                                           (RP out;{out})))))))))))
          (PUNC .))
  (ID 62_a_lob_j01))