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_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_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_62_6_AND,R_62_5_EVACUATED,Z_62_A_LOB_J01_15,R_62_7_FILLED,Z_62_A_LOB_J01_23,R_62_1_THE_PROBE,R_62_10_GAS,R_62_9_INERT,R_62_12_THE_TUBE_L] :
          ( the_probe(R_62_1_THE_PROBE)
          & inert(R_62_9_INERT)
          & the_tube_L(R_62_12_THE_TUBE_L)
          & and(R_62_6_AND)
          & conj1(R_62_6_AND,R_62_5_EVACUATED)
          & evacuated(R_62_5_EVACUATED,Z_62_A_LOB_J01_15,R_62_1_THE_PROBE)
          & via_nim39(R_62_5_EVACUATED,R_62_12_THE_TUBE_L)
          & conj2(R_62_6_AND,R_62_7_FILLED)
          & filled(R_62_7_FILLED,Z_62_A_LOB_J01_23,R_62_1_THE_PROBE)
          & with_nim30(R_62_7_FILLED,R_62_10_GAS)
          & gas(R_62_10_GAS)
          & attrib31(R_62_10_GAS,R_62_9_INERT)
          & via_nim39(R_62_7_FILLED,R_62_12_THE_TUBE_L) )
    & ~ ? [R_62_21_AFTER,R_62_23_HAS_BEEN_CARRIED_OUT,Z_62_A_LOB_J01_77,R_62_22_THIS,R_62_18_BE,R_62_12_THE_TUBE_L,R_62_17_OF_COURSE,R_62_20_ISOLATED,R_62_19_ELECTRICALLY] :
          ( this(R_62_22_THIS)
          & the_tube_L(R_62_12_THE_TUBE_L)
          & of_course(R_62_17_OF_COURSE)
          & electrically(R_62_19_ELECTRICALLY)
          & after(R_62_21_AFTER)
          & conj1(R_62_21_AFTER,R_62_23_HAS_BEEN_CARRIED_OUT)
          & has_been_carried_out(R_62_23_HAS_BEEN_CARRIED_OUT,Z_62_A_LOB_J01_77,R_62_22_THIS)
          & conj2(R_62_21_AFTER,R_62_18_BE)
          & be(R_62_18_BE,R_62_12_THE_TUBE_L,R_62_20_ISOLATED)
          & isolated(R_62_20_ISOLATED)
          & qual59(R_62_20_ISOLATED,R_62_19_ELECTRICALLY)
          & nim53(R_62_18_BE,R_62_17_OF_COURSE) ) ) ).

( (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))