Context                Previous, Next                Top


68_a_lob_j01
In the above design the two electrodes are completely separated from one another so that this major source of trouble should not be present.

%3 r_0068_0002__the_r_0068_0004__design the design r_0068_0003__above above r_0068_0002__the_r_0068_0004__design->r_0068_0003__above [qual] r_0068_0008__are are r_0068_0008__are->r_0068_0002__the_r_0068_0004__design In [nim] r_0068_0010__separated separated r_0068_0008__are->r_0068_0010__separated [scope] r_0068_0005__the_r_0068_0006__two_r_0068_0007__electrodes the two electrodes r_0068_0010__separated->r_0068_0005__the_r_0068_0006__two_r_0068_0007__electrodes [arg1] r_0068_0009__completely completely r_0068_0010__separated->r_0068_0009__completely [nim] r_0068_0012__one_r_0068_0013__another one another r_0068_0010__separated->r_0068_0012__one_r_0068_0013__another from [nim] z_000_68_a_lob_j01_23 r_0068_0010__separated->z_000_68_a_lob_j01_23 [arg0] r_0068_0014__so_that so that r_0068_0014__so_that->r_0068_0008__are [scope] r_0068_0021__not not r_0068_0014__so_that->r_0068_0021__not [restriction] r_0068_0020__should should r_0068_0021__not->r_0068_0020__should [keep_scope] r_0068_0015__this_r_0068_0017__source this source r_0068_0016__major major r_0068_0015__this_r_0068_0017__source->r_0068_0016__major [attrib] r_0068_0019__trouble trouble r_0068_0015__this_r_0068_0017__source->r_0068_0019__trouble of r_0068_0022__be be r_0068_0020__should->r_0068_0022__be [scope] r_0068_0022__be->r_0068_0015__this_r_0068_0017__source [arg0] r_0068_0023__present present r_0068_0022__be->r_0068_0023__present [prd] 
arc(r_0068_0002__the_r_0068_0004__design, r_0068_0003__above, qual8).
arc(r_0068_0008__are, r_0068_0002__the_r_0068_0004__design, r_0068_0001__In_nim5).
arc(r_0068_0008__are, r_0068_0010__separated, scope).
arc(r_0068_0010__separated, r_0068_0005__the_r_0068_0006__two_r_0068_0007__electrodes, arg1).
arc(r_0068_0010__separated, r_0068_0009__completely, nim25).
arc(r_0068_0010__separated, r_0068_0012__one_r_0068_0013__another, r_0068_0011__from_nim33).
arc(r_0068_0010__separated, z_000_68_a_lob_j01_23, arg0).
arc(r_0068_0014__so_that, r_0068_0008__are, scope).
arc(r_0068_0014__so_that, r_0068_0021__not, restriction).
arc(r_0068_0015__this_r_0068_0017__source, r_0068_0016__major, attrib45).
arc(r_0068_0015__this_r_0068_0017__source, r_0068_0019__trouble, r_0068_0018__of).
arc(r_0068_0020__should, r_0068_0022__be, scope).
arc(r_0068_0021__not, r_0068_0020__should, keep_scope).
arc(r_0068_0022__be, r_0068_0015__this_r_0068_0017__source, arg0).
arc(r_0068_0022__be, r_0068_0023__present, prd).


%3 r_0068_0002__the_r_0068_0004__design the design r_0068_0003__above above r_0068_0002__the_r_0068_0004__design->r_0068_0003__above [qual] r_0068_0008__are_r_0068_0010__separated are separated r_0068_0008__are_r_0068_0010__separated->r_0068_0002__the_r_0068_0004__design In [nim] r_0068_0005__the_r_0068_0006__two_r_0068_0007__electrodes the two electrodes r_0068_0008__are_r_0068_0010__separated->r_0068_0005__the_r_0068_0006__two_r_0068_0007__electrodes [arg1] r_0068_0009__completely completely r_0068_0008__are_r_0068_0010__separated->r_0068_0009__completely [nim] r_0068_0012__one_r_0068_0013__another one another r_0068_0008__are_r_0068_0010__separated->r_0068_0012__one_r_0068_0013__another from [nim] z_000_68_a_lob_j01_23 r_0068_0008__are_r_0068_0010__separated->z_000_68_a_lob_j01_23 [arg0] r_0068_0014__so_that so that r_0068_0014__so_that->r_0068_0008__are_r_0068_0010__separated [conj2] r_0068_0021__not not r_0068_0014__so_that->r_0068_0021__not [conj1] r_0068_0020__should_r_0068_0022__be should be r_0068_0021__not->r_0068_0020__should_r_0068_0022__be [keep_scope] r_0068_0015__this_r_0068_0017__source this source r_0068_0016__major major r_0068_0015__this_r_0068_0017__source->r_0068_0016__major [attrib] r_0068_0019__trouble trouble r_0068_0015__this_r_0068_0017__source->r_0068_0019__trouble of r_0068_0020__should_r_0068_0022__be->r_0068_0015__this_r_0068_0017__source [arg0] r_0068_0023__present present r_0068_0020__should_r_0068_0022__be->r_0068_0023__present [prd] 
fof(formula,axiom,
    ? [R_68_14_SO_THAT,R_68_8_ARE_SEPARATED,Z_68_A_LOB_J01_23,R_68_5_THE_TWO_ELECTRODES,R_68_9_COMPLETELY,R_68_2_THE_DESIGN,R_68_3_ABOVE,R_68_12_ONE_ANOTHER] :
      ( the_two_electrodes(R_68_5_THE_TWO_ELECTRODES)
      & completely(R_68_9_COMPLETELY)
      & above(R_68_3_ABOVE)
      & one_another(R_68_12_ONE_ANOTHER)
      & so_that(R_68_14_SO_THAT)
      & conj1(R_68_14_SO_THAT,R_68_21_NOT)
      & ~ ? [R_68_20_SHOULD_BE,R_68_15_THIS_SOURCE,R_68_16_MAJOR,R_68_19_TROUBLE,R_68_23_PRESENT] :
            ( major(R_68_16_MAJOR)
            & trouble(R_68_19_TROUBLE)
            & present(R_68_23_PRESENT)
            & should_be(R_68_20_SHOULD_BE,R_68_15_THIS_SOURCE,R_68_23_PRESENT)
            & this_source(R_68_15_THIS_SOURCE)
            & attrib45(R_68_15_THIS_SOURCE,R_68_16_MAJOR)
            & of(R_68_15_THIS_SOURCE,R_68_19_TROUBLE) )
      & conj2(R_68_14_SO_THAT,R_68_8_ARE_SEPARATED)
      & are_separated(R_68_8_ARE_SEPARATED,Z_68_A_LOB_J01_23,R_68_5_THE_TWO_ELECTRODES)
      & nim25(R_68_8_ARE_SEPARATED,R_68_9_COMPLETELY)
      & in_nim5(R_68_8_ARE_SEPARATED,R_68_2_THE_DESIGN)
      & the_design(R_68_2_THE_DESIGN)
      & qual8(R_68_2_THE_DESIGN,R_68_3_ABOVE)
      & from_nim33(R_68_8_ARE_SEPARATED,R_68_12_ONE_ANOTHER) ) ).


n68_a_lob_j01 n68_a_lob_j01_4 In n68_a_lob_j01_7 the n68_a_lob_j01_10 above n68_a_lob_j01_12 design n68_a_lob_j01_15 the n68_a_lob_j01_17 two n68_a_lob_j01_19 electrodes n68_a_lob_j01_21 are n68_a_lob_j01_24 * n68_a_lob_j01_27 completely n68_a_lob_j01_29 separated n68_a_lob_j01_32 from n68_a_lob_j01_35 one n68_a_lob_j01_37 another n68_a_lob_j01_40 so_that n68_a_lob_j01_44 this n68_a_lob_j01_47 major n68_a_lob_j01_49 source n68_a_lob_j01_52 of n68_a_lob_j01_55 trouble n68_a_lob_j01_57 should n68_a_lob_j01_59 not n68_a_lob_j01_62 be n68_a_lob_j01_65 present n68_a_lob_j01_67 . n68_a_lob_j01_1 IP-MAT n68_a_lob_j01_2 PP-NIM n68_a_lob_j01_1->n68_a_lob_j01_2 n68_a_lob_j01_13 NP-SBJ n68_a_lob_j01_1->n68_a_lob_j01_13 n68_a_lob_j01_20 BEP;_cat_VePASS_ n68_a_lob_j01_1->n68_a_lob_j01_20 n68_a_lob_j01_22 IP-PPL-CAT n68_a_lob_j01_1->n68_a_lob_j01_22 n68_a_lob_j01_38 PP-SCON n68_a_lob_j01_1->n68_a_lob_j01_38 n68_a_lob_j01_66 PUNC n68_a_lob_j01_1->n68_a_lob_j01_66 n68_a_lob_j01_3 P-ROLE n68_a_lob_j01_2->n68_a_lob_j01_3 n68_a_lob_j01_5 NP n68_a_lob_j01_2->n68_a_lob_j01_5 n68_a_lob_j01_3->n68_a_lob_j01_4 n68_a_lob_j01_6 D n68_a_lob_j01_5->n68_a_lob_j01_6 n68_a_lob_j01_8 ADVP n68_a_lob_j01_5->n68_a_lob_j01_8 n68_a_lob_j01_11 N n68_a_lob_j01_5->n68_a_lob_j01_11 n68_a_lob_j01_6->n68_a_lob_j01_7 n68_a_lob_j01_9 ADV n68_a_lob_j01_8->n68_a_lob_j01_9 n68_a_lob_j01_9->n68_a_lob_j01_10 n68_a_lob_j01_11->n68_a_lob_j01_12 n68_a_lob_j01_14 D n68_a_lob_j01_13->n68_a_lob_j01_14 n68_a_lob_j01_16 NUM n68_a_lob_j01_13->n68_a_lob_j01_16 n68_a_lob_j01_18 NS n68_a_lob_j01_13->n68_a_lob_j01_18 n68_a_lob_j01_14->n68_a_lob_j01_15 n68_a_lob_j01_16->n68_a_lob_j01_17 n68_a_lob_j01_18->n68_a_lob_j01_19 n68_a_lob_j01_20->n68_a_lob_j01_21 n68_a_lob_j01_23 NP-LGS n68_a_lob_j01_22->n68_a_lob_j01_23 n68_a_lob_j01_25 ADVP-NIM n68_a_lob_j01_22->n68_a_lob_j01_25 n68_a_lob_j01_28 VVN;__ n68_a_lob_j01_22->n68_a_lob_j01_28 n68_a_lob_j01_30 PP-NIM n68_a_lob_j01_22->n68_a_lob_j01_30 n68_a_lob_j01_23->n68_a_lob_j01_24 n68_a_lob_j01_26 ADV n68_a_lob_j01_25->n68_a_lob_j01_26 n68_a_lob_j01_26->n68_a_lob_j01_27 n68_a_lob_j01_28->n68_a_lob_j01_29 n68_a_lob_j01_31 P-ROLE n68_a_lob_j01_30->n68_a_lob_j01_31 n68_a_lob_j01_33 NP n68_a_lob_j01_30->n68_a_lob_j01_33 n68_a_lob_j01_31->n68_a_lob_j01_32 n68_a_lob_j01_34 NUM n68_a_lob_j01_33->n68_a_lob_j01_34 n68_a_lob_j01_36 D n68_a_lob_j01_33->n68_a_lob_j01_36 n68_a_lob_j01_34->n68_a_lob_j01_35 n68_a_lob_j01_36->n68_a_lob_j01_37 n68_a_lob_j01_39 P-CONN n68_a_lob_j01_38->n68_a_lob_j01_39 n68_a_lob_j01_41 IP-ADV n68_a_lob_j01_38->n68_a_lob_j01_41 n68_a_lob_j01_39->n68_a_lob_j01_40 n68_a_lob_j01_42 NP-SBJ n68_a_lob_j01_41->n68_a_lob_j01_42 n68_a_lob_j01_56 MD;_cat_Vi_ n68_a_lob_j01_41->n68_a_lob_j01_56 n68_a_lob_j01_58 NEG n68_a_lob_j01_41->n68_a_lob_j01_58 n68_a_lob_j01_60 IP-INF-CAT n68_a_lob_j01_41->n68_a_lob_j01_60 n68_a_lob_j01_43 D n68_a_lob_j01_42->n68_a_lob_j01_43 n68_a_lob_j01_45 ADJP n68_a_lob_j01_42->n68_a_lob_j01_45 n68_a_lob_j01_48 N n68_a_lob_j01_42->n68_a_lob_j01_48 n68_a_lob_j01_50 PP n68_a_lob_j01_42->n68_a_lob_j01_50 n68_a_lob_j01_43->n68_a_lob_j01_44 n68_a_lob_j01_46 ADJ n68_a_lob_j01_45->n68_a_lob_j01_46 n68_a_lob_j01_46->n68_a_lob_j01_47 n68_a_lob_j01_48->n68_a_lob_j01_49 n68_a_lob_j01_51 P-ROLE n68_a_lob_j01_50->n68_a_lob_j01_51 n68_a_lob_j01_53 NP n68_a_lob_j01_50->n68_a_lob_j01_53 n68_a_lob_j01_51->n68_a_lob_j01_52 n68_a_lob_j01_54 N n68_a_lob_j01_53->n68_a_lob_j01_54 n68_a_lob_j01_54->n68_a_lob_j01_55 n68_a_lob_j01_56->n68_a_lob_j01_57 n68_a_lob_j01_58->n68_a_lob_j01_59 n68_a_lob_j01_61 BE;_La_ n68_a_lob_j01_60->n68_a_lob_j01_61 n68_a_lob_j01_63 ADJP-PRD n68_a_lob_j01_60->n68_a_lob_j01_63 n68_a_lob_j01_61->n68_a_lob_j01_62 n68_a_lob_j01_64 ADJ n68_a_lob_j01_63->n68_a_lob_j01_64 n68_a_lob_j01_64->n68_a_lob_j01_65 n68_a_lob_j01_66->n68_a_lob_j01_67 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (D the;{the})
                      (ADVP (ADV above;{above}))
                      (N design;{design})))
          (NP-SBJ (D the;{the})
                  (NUM two;{two})
                  (NS electrodes;{electrode}))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (ADVP-NIM (ADV completely;{completely}))
                      (VVN;__ separated;{separate})
                      (PP-NIM (P-ROLE from;{from})
                              (NP (NUM one;{one})
                                  (D another;{another}))))
          (PP-SCON (P-CONN so_that;{so_that})
                   (IP-ADV (NP-SBJ (D this;{this})
                                   (ADJP (ADJ major;{major}))
                                   (N source;{source})
                                   (PP (P-ROLE of;{of})
                                       (NP (N trouble;{trouble}))))
                           (MD;_cat_Vi_ should;{shall})
                           (NEG not;{not})
                           (IP-INF-CAT (BE;_La_ be;{be})
                                       (ADJP-PRD (ADJ present;{present})))))
          (PUNC .))
  (ID 68_a_lob_j01))