Context                Previous, Next                Top


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.

%3 r_0062_0003__can can r_0062_0004__be be r_0062_0003__can->r_0062_0004__be [scope] r_0062_0006__and and r_0062_0004__be->r_0062_0006__and [scope] r_0062_0005__evacuated evacuated r_0062_0006__and->r_0062_0005__evacuated [conj1] r_0062_0007__filled filled r_0062_0006__and->r_0062_0007__filled [conj2] r_0062_0001__The_r_0062_0002__probe The probe r_0062_0005__evacuated->r_0062_0001__The_r_0062_0002__probe [arg1] r_0062_0012__the_r_0062_0013__tube_r_0062_0014__L the tube L r_0062_0005__evacuated->r_0062_0012__the_r_0062_0013__tube_r_0062_0014__L via [nim] z_000_62_a_lob_j01_15 r_0062_0005__evacuated->z_000_62_a_lob_j01_15 [arg0] r_0062_0007__filled->r_0062_0001__The_r_0062_0002__probe [arg1] r_0062_0007__filled->r_0062_0012__the_r_0062_0013__tube_r_0062_0014__L via [nim] r_0062_0010__gas gas r_0062_0007__filled->r_0062_0010__gas with [nim] z_000_62_a_lob_j01_23 r_0062_0007__filled->z_000_62_a_lob_j01_23 [arg0] r_0062_0009__inert inert r_0062_0010__gas->r_0062_0009__inert [attrib] r_0062_0016__must must r_0062_0021__after after r_0062_0016__must->r_0062_0021__after [scope] r_0062_0018__be be r_0062_0021__after->r_0062_0018__be [scope] r_0062_0023__has has r_0062_0021__after->r_0062_0023__has [restriction] r_0062_0018__be->r_0062_0012__the_r_0062_0013__tube_r_0062_0014__L [arg0] r_0062_0017__of_course of course r_0062_0018__be->r_0062_0017__of_course [nim] r_0062_0020__isolated isolated r_0062_0018__be->r_0062_0020__isolated [prd] r_0062_0019__electrically electrically r_0062_0020__isolated->r_0062_0019__electrically [qual] r_0062_0024__been been r_0062_0023__has->r_0062_0024__been [scope] r_0062_0025__carried_r_0062_0026__out carried out r_0062_0024__been->r_0062_0025__carried_r_0062_0026__out [scope] r_0062_0022__this this r_0062_0025__carried_r_0062_0026__out->r_0062_0022__this [arg1] z_000_62_a_lob_j01_77 r_0062_0025__carried_r_0062_0026__out->z_000_62_a_lob_j01_77 [arg0] 
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).


%3 r_0062_0003__can_r_0062_0004__be can be r_0062_0006__and and r_0062_0003__can_r_0062_0004__be->r_0062_0006__and [keep_scope] r_0062_0005__evacuated evacuated r_0062_0006__and->r_0062_0005__evacuated [conj1] r_0062_0007__filled filled r_0062_0006__and->r_0062_0007__filled [conj2] r_0062_0001__The_r_0062_0002__probe The probe r_0062_0005__evacuated->r_0062_0001__The_r_0062_0002__probe [arg1] r_0062_0012__the_r_0062_0013__tube_r_0062_0014__L the tube L r_0062_0005__evacuated->r_0062_0012__the_r_0062_0013__tube_r_0062_0014__L via [nim] z_000_62_a_lob_j01_15 r_0062_0005__evacuated->z_000_62_a_lob_j01_15 [arg0] r_0062_0007__filled->r_0062_0001__The_r_0062_0002__probe [arg1] r_0062_0007__filled->r_0062_0012__the_r_0062_0013__tube_r_0062_0014__L via [nim] r_0062_0010__gas gas r_0062_0007__filled->r_0062_0010__gas with [nim] z_000_62_a_lob_j01_23 r_0062_0007__filled->z_000_62_a_lob_j01_23 [arg0] r_0062_0009__inert inert r_0062_0010__gas->r_0062_0009__inert [attrib] r_0062_0016__must must r_0062_0021__after after r_0062_0016__must->r_0062_0021__after [keep_scope] r_0062_0018__be be r_0062_0021__after->r_0062_0018__be [conj2] r_0062_0023__has_r_0062_0024__been_r_0062_0025__carried_r_0062_0026__out has been carried out r_0062_0021__after->r_0062_0023__has_r_0062_0024__been_r_0062_0025__carried_r_0062_0026__out [conj1] r_0062_0018__be->r_0062_0012__the_r_0062_0013__tube_r_0062_0014__L [arg0] r_0062_0017__of_course of course r_0062_0018__be->r_0062_0017__of_course [nim] r_0062_0020__isolated isolated r_0062_0018__be->r_0062_0020__isolated [prd] r_0062_0019__electrically electrically r_0062_0020__isolated->r_0062_0019__electrically [qual] r_0062_0022__this this r_0062_0023__has_r_0062_0024__been_r_0062_0025__carried_r_0062_0026__out->r_0062_0022__this [arg1] z_000_62_a_lob_j01_77 r_0062_0023__has_r_0062_0024__been_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) ) ) ).


n62_a_lob_j01 n62_a_lob_j01_4 The n62_a_lob_j01_6 probe n62_a_lob_j01_8 can n62_a_lob_j01_11 be n62_a_lob_j01_16 * n62_a_lob_j01_18 evacuated n62_a_lob_j01_21 and n62_a_lob_j01_24 * n62_a_lob_j01_26 filled n62_a_lob_j01_29 with n62_a_lob_j01_33 inert n62_a_lob_j01_35 gas n62_a_lob_j01_38 via n62_a_lob_j01_41 the n62_a_lob_j01_43 tube n62_a_lob_j01_45 L n62_a_lob_j01_49 which n62_a_lob_j01_51 must n62_a_lob_j01_55 of_course n62_a_lob_j01_57 be n62_a_lob_j01_61 electrically n62_a_lob_j01_63 isolated n62_a_lob_j01_66 after n62_a_lob_j01_70 this n62_a_lob_j01_72 has n62_a_lob_j01_75 been n62_a_lob_j01_78 * n62_a_lob_j01_80 carried n62_a_lob_j01_82 out n62_a_lob_j01_84 . n62_a_lob_j01_1 IP-MAT n62_a_lob_j01_2 NP-SBJ n62_a_lob_j01_1->n62_a_lob_j01_2 n62_a_lob_j01_7 MD;_cat_Vi_ n62_a_lob_j01_1->n62_a_lob_j01_7 n62_a_lob_j01_9 IP-INF-CAT n62_a_lob_j01_1->n62_a_lob_j01_9 n62_a_lob_j01_83 PUNC n62_a_lob_j01_1->n62_a_lob_j01_83 n62_a_lob_j01_3 D n62_a_lob_j01_2->n62_a_lob_j01_3 n62_a_lob_j01_5 N n62_a_lob_j01_2->n62_a_lob_j01_5 n62_a_lob_j01_3->n62_a_lob_j01_4 n62_a_lob_j01_5->n62_a_lob_j01_6 n62_a_lob_j01_7->n62_a_lob_j01_8 n62_a_lob_j01_10 BE;_cat_VePASS_ n62_a_lob_j01_9->n62_a_lob_j01_10 n62_a_lob_j01_12 IP-PPL-CAT n62_a_lob_j01_9->n62_a_lob_j01_12 n62_a_lob_j01_10->n62_a_lob_j01_11 n62_a_lob_j01_13 ILYR n62_a_lob_j01_12->n62_a_lob_j01_13 n62_a_lob_j01_36 PP-NIM n62_a_lob_j01_12->n62_a_lob_j01_36 n62_a_lob_j01_14 ILYR n62_a_lob_j01_13->n62_a_lob_j01_14 n62_a_lob_j01_19 CONJP n62_a_lob_j01_13->n62_a_lob_j01_19 n62_a_lob_j01_15 NP-LGS n62_a_lob_j01_14->n62_a_lob_j01_15 n62_a_lob_j01_17 VVN;__ n62_a_lob_j01_14->n62_a_lob_j01_17 n62_a_lob_j01_15->n62_a_lob_j01_16 n62_a_lob_j01_17->n62_a_lob_j01_18 n62_a_lob_j01_20 CONJ n62_a_lob_j01_19->n62_a_lob_j01_20 n62_a_lob_j01_22 ILYR n62_a_lob_j01_19->n62_a_lob_j01_22 n62_a_lob_j01_20->n62_a_lob_j01_21 n62_a_lob_j01_23 NP-LGS n62_a_lob_j01_22->n62_a_lob_j01_23 n62_a_lob_j01_25 VVN;__ n62_a_lob_j01_22->n62_a_lob_j01_25 n62_a_lob_j01_27 PP-NIM n62_a_lob_j01_22->n62_a_lob_j01_27 n62_a_lob_j01_23->n62_a_lob_j01_24 n62_a_lob_j01_25->n62_a_lob_j01_26 n62_a_lob_j01_28 P-ROLE n62_a_lob_j01_27->n62_a_lob_j01_28 n62_a_lob_j01_30 NP n62_a_lob_j01_27->n62_a_lob_j01_30 n62_a_lob_j01_28->n62_a_lob_j01_29 n62_a_lob_j01_31 ADJP n62_a_lob_j01_30->n62_a_lob_j01_31 n62_a_lob_j01_34 N n62_a_lob_j01_30->n62_a_lob_j01_34 n62_a_lob_j01_32 ADJ n62_a_lob_j01_31->n62_a_lob_j01_32 n62_a_lob_j01_32->n62_a_lob_j01_33 n62_a_lob_j01_34->n62_a_lob_j01_35 n62_a_lob_j01_37 P-ROLE n62_a_lob_j01_36->n62_a_lob_j01_37 n62_a_lob_j01_39 NP n62_a_lob_j01_36->n62_a_lob_j01_39 n62_a_lob_j01_37->n62_a_lob_j01_38 n62_a_lob_j01_40 D n62_a_lob_j01_39->n62_a_lob_j01_40 n62_a_lob_j01_42 N n62_a_lob_j01_39->n62_a_lob_j01_42 n62_a_lob_j01_44 N n62_a_lob_j01_39->n62_a_lob_j01_44 n62_a_lob_j01_46 IP-REL n62_a_lob_j01_39->n62_a_lob_j01_46 n62_a_lob_j01_40->n62_a_lob_j01_41 n62_a_lob_j01_42->n62_a_lob_j01_43 n62_a_lob_j01_44->n62_a_lob_j01_45 n62_a_lob_j01_47 NP-SBJ n62_a_lob_j01_46->n62_a_lob_j01_47 n62_a_lob_j01_50 MD;_cat_Vi_ n62_a_lob_j01_46->n62_a_lob_j01_50 n62_a_lob_j01_52 IP-INF-CAT n62_a_lob_j01_46->n62_a_lob_j01_52 n62_a_lob_j01_48 RPRO n62_a_lob_j01_47->n62_a_lob_j01_48 n62_a_lob_j01_48->n62_a_lob_j01_49 n62_a_lob_j01_50->n62_a_lob_j01_51 n62_a_lob_j01_53 ADVP-NIM n62_a_lob_j01_52->n62_a_lob_j01_53 n62_a_lob_j01_56 BE;_La_ n62_a_lob_j01_52->n62_a_lob_j01_56 n62_a_lob_j01_58 ADJP-PRD n62_a_lob_j01_52->n62_a_lob_j01_58 n62_a_lob_j01_64 PP-SCON n62_a_lob_j01_52->n62_a_lob_j01_64 n62_a_lob_j01_54 ADV n62_a_lob_j01_53->n62_a_lob_j01_54 n62_a_lob_j01_54->n62_a_lob_j01_55 n62_a_lob_j01_56->n62_a_lob_j01_57 n62_a_lob_j01_59 ADVP n62_a_lob_j01_58->n62_a_lob_j01_59 n62_a_lob_j01_62 ADJ n62_a_lob_j01_58->n62_a_lob_j01_62 n62_a_lob_j01_60 ADV n62_a_lob_j01_59->n62_a_lob_j01_60 n62_a_lob_j01_60->n62_a_lob_j01_61 n62_a_lob_j01_62->n62_a_lob_j01_63 n62_a_lob_j01_65 P-CONN n62_a_lob_j01_64->n62_a_lob_j01_65 n62_a_lob_j01_67 IP-ADV n62_a_lob_j01_64->n62_a_lob_j01_67 n62_a_lob_j01_65->n62_a_lob_j01_66 n62_a_lob_j01_68 NP-SBJ n62_a_lob_j01_67->n62_a_lob_j01_68 n62_a_lob_j01_71 HVP;_cat_Ve_ n62_a_lob_j01_67->n62_a_lob_j01_71 n62_a_lob_j01_73 IP-PPL-CAT n62_a_lob_j01_67->n62_a_lob_j01_73 n62_a_lob_j01_69 D;_nphd_ n62_a_lob_j01_68->n62_a_lob_j01_69 n62_a_lob_j01_69->n62_a_lob_j01_70 n62_a_lob_j01_71->n62_a_lob_j01_72 n62_a_lob_j01_74 BEN;_cat_VePASS_ n62_a_lob_j01_73->n62_a_lob_j01_74 n62_a_lob_j01_76 IP-PPL-CAT n62_a_lob_j01_73->n62_a_lob_j01_76 n62_a_lob_j01_74->n62_a_lob_j01_75 n62_a_lob_j01_77 NP-LGS n62_a_lob_j01_76->n62_a_lob_j01_77 n62_a_lob_j01_79 VVN;__ n62_a_lob_j01_76->n62_a_lob_j01_79 n62_a_lob_j01_81 RP n62_a_lob_j01_76->n62_a_lob_j01_81 n62_a_lob_j01_77->n62_a_lob_j01_78 n62_a_lob_j01_79->n62_a_lob_j01_80 n62_a_lob_j01_81->n62_a_lob_j01_82 n62_a_lob_j01_83->n62_a_lob_j01_84 
( (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))