68_a_lob_j01
%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_0020__should_r_0068_0022__be
should be
r_0068_0023__present
present
r_0068_0020__should_r_0068_0022__be->r_0068_0023__present
[prd]
r_0068_0015__this_r_0068_0017__source
this source
r_0068_0020__should_r_0068_0022__be->r_0068_0015__this_r_0068_0017__source
[arg0]
r_0068_0019__trouble
trouble
r_0068_0015__this_r_0068_0017__source->r_0068_0019__trouble
of
r_0068_0016__major
major
r_0068_0015__this_r_0068_0017__source->r_0068_0016__major
[attrib]
r_0068_0021__not
not
r_0068_0021__not->r_0068_0020__should_r_0068_0022__be
[keep_scope]
r_0068_0014__so_that
so that
r_0068_0014__so_that->r_0068_0021__not
[conj1]
r_0068_0008__are_r_0068_0010__separated
are separated
r_0068_0014__so_that->r_0068_0008__are_r_0068_0010__separated
[conj2]
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_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]
r_0068_0009__completely
completely
r_0068_0008__are_r_0068_0010__separated->r_0068_0009__completely
[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_0002__the_r_0068_0004__design
the design
r_0068_0008__are_r_0068_0010__separated->r_0068_0002__the_r_0068_0004__design
In [nim]
r_0068_0003__above
above
r_0068_0002__the_r_0068_0004__design->r_0068_0003__above
[qual]
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__1_1_1_1
In
n68_a_lob_j01__1_1_2_1_1
the
n68_a_lob_j01__1_1_2_2_1_1
above
n68_a_lob_j01__1_1_2_3_1
design
n68_a_lob_j01__1_2_1_1
the
n68_a_lob_j01__1_2_2_1
two
n68_a_lob_j01__1_2_3_1
electrodes
n68_a_lob_j01__1_3_1
are
n68_a_lob_j01__1_4_1_1
*
n68_a_lob_j01__1_4_2_1_1
completely
n68_a_lob_j01__1_4_3_1
separated
n68_a_lob_j01__1_4_4_1_1
from
n68_a_lob_j01__1_4_4_2_1_1
one
n68_a_lob_j01__1_4_4_2_2_1
another
n68_a_lob_j01__1_5_1_1
so_that
n68_a_lob_j01__1_5_2_1_1_1
this
n68_a_lob_j01__1_5_2_1_2_1_1
major
n68_a_lob_j01__1_5_2_1_3_1
source
n68_a_lob_j01__1_5_2_1_4_1_1
of
n68_a_lob_j01__1_5_2_1_4_2_1_1
trouble
n68_a_lob_j01__1_5_2_2_1
should
n68_a_lob_j01__1_5_2_3_1
not
n68_a_lob_j01__1_5_2_4_1_1
be
n68_a_lob_j01__1_5_2_4_2_1_1
present
n68_a_lob_j01__1_6_1
.
n68_a_lob_j01__1
IP-MAT
n68_a_lob_j01__1_1
PP-NIM
n68_a_lob_j01__1->n68_a_lob_j01__1_1
n68_a_lob_j01__1_2
NP-SBJ
n68_a_lob_j01__1->n68_a_lob_j01__1_2
n68_a_lob_j01__1_3
BEP;_cat_VePASS_
n68_a_lob_j01__1->n68_a_lob_j01__1_3
n68_a_lob_j01__1_4
IP-PPL-CAT
n68_a_lob_j01__1->n68_a_lob_j01__1_4
n68_a_lob_j01__1_5
PP-SCON
n68_a_lob_j01__1->n68_a_lob_j01__1_5
n68_a_lob_j01__1_6
PUNC
n68_a_lob_j01__1->n68_a_lob_j01__1_6
n68_a_lob_j01__1_1_1
P-ROLE
n68_a_lob_j01__1_1->n68_a_lob_j01__1_1_1
n68_a_lob_j01__1_1_2
NP
n68_a_lob_j01__1_1->n68_a_lob_j01__1_1_2
n68_a_lob_j01__1_1_1->n68_a_lob_j01__1_1_1_1
n68_a_lob_j01__1_1_2_1
D
n68_a_lob_j01__1_1_2->n68_a_lob_j01__1_1_2_1
n68_a_lob_j01__1_1_2_2
ADVP
n68_a_lob_j01__1_1_2->n68_a_lob_j01__1_1_2_2
n68_a_lob_j01__1_1_2_3
N
n68_a_lob_j01__1_1_2->n68_a_lob_j01__1_1_2_3
n68_a_lob_j01__1_1_2_1->n68_a_lob_j01__1_1_2_1_1
n68_a_lob_j01__1_1_2_2_1
ADV
n68_a_lob_j01__1_1_2_2->n68_a_lob_j01__1_1_2_2_1
n68_a_lob_j01__1_1_2_2_1->n68_a_lob_j01__1_1_2_2_1_1
n68_a_lob_j01__1_1_2_3->n68_a_lob_j01__1_1_2_3_1
n68_a_lob_j01__1_2_1
D
n68_a_lob_j01__1_2->n68_a_lob_j01__1_2_1
n68_a_lob_j01__1_2_2
NUM
n68_a_lob_j01__1_2->n68_a_lob_j01__1_2_2
n68_a_lob_j01__1_2_3
NS
n68_a_lob_j01__1_2->n68_a_lob_j01__1_2_3
n68_a_lob_j01__1_2_1->n68_a_lob_j01__1_2_1_1
n68_a_lob_j01__1_2_2->n68_a_lob_j01__1_2_2_1
n68_a_lob_j01__1_2_3->n68_a_lob_j01__1_2_3_1
n68_a_lob_j01__1_3->n68_a_lob_j01__1_3_1
n68_a_lob_j01__1_4_1
NP-LGS
n68_a_lob_j01__1_4->n68_a_lob_j01__1_4_1
n68_a_lob_j01__1_4_2
ADVP-NIM
n68_a_lob_j01__1_4->n68_a_lob_j01__1_4_2
n68_a_lob_j01__1_4_3
VVN;__
n68_a_lob_j01__1_4->n68_a_lob_j01__1_4_3
n68_a_lob_j01__1_4_4
PP-NIM
n68_a_lob_j01__1_4->n68_a_lob_j01__1_4_4
n68_a_lob_j01__1_4_1->n68_a_lob_j01__1_4_1_1
n68_a_lob_j01__1_4_2_1
ADV
n68_a_lob_j01__1_4_2->n68_a_lob_j01__1_4_2_1
n68_a_lob_j01__1_4_2_1->n68_a_lob_j01__1_4_2_1_1
n68_a_lob_j01__1_4_3->n68_a_lob_j01__1_4_3_1
n68_a_lob_j01__1_4_4_1
P-ROLE
n68_a_lob_j01__1_4_4->n68_a_lob_j01__1_4_4_1
n68_a_lob_j01__1_4_4_2
NP
n68_a_lob_j01__1_4_4->n68_a_lob_j01__1_4_4_2
n68_a_lob_j01__1_4_4_1->n68_a_lob_j01__1_4_4_1_1
n68_a_lob_j01__1_4_4_2_1
NUM
n68_a_lob_j01__1_4_4_2->n68_a_lob_j01__1_4_4_2_1
n68_a_lob_j01__1_4_4_2_2
D
n68_a_lob_j01__1_4_4_2->n68_a_lob_j01__1_4_4_2_2
n68_a_lob_j01__1_4_4_2_1->n68_a_lob_j01__1_4_4_2_1_1
n68_a_lob_j01__1_4_4_2_2->n68_a_lob_j01__1_4_4_2_2_1
n68_a_lob_j01__1_5_1
P-CONN
n68_a_lob_j01__1_5->n68_a_lob_j01__1_5_1
n68_a_lob_j01__1_5_2
IP-ADV
n68_a_lob_j01__1_5->n68_a_lob_j01__1_5_2
n68_a_lob_j01__1_5_1->n68_a_lob_j01__1_5_1_1
n68_a_lob_j01__1_5_2_1
NP-SBJ
n68_a_lob_j01__1_5_2->n68_a_lob_j01__1_5_2_1
n68_a_lob_j01__1_5_2_2
MD;_cat_Vi_
n68_a_lob_j01__1_5_2->n68_a_lob_j01__1_5_2_2
n68_a_lob_j01__1_5_2_3
NEG
n68_a_lob_j01__1_5_2->n68_a_lob_j01__1_5_2_3
n68_a_lob_j01__1_5_2_4
IP-INF-CAT
n68_a_lob_j01__1_5_2->n68_a_lob_j01__1_5_2_4
n68_a_lob_j01__1_5_2_1_1
D
n68_a_lob_j01__1_5_2_1->n68_a_lob_j01__1_5_2_1_1
n68_a_lob_j01__1_5_2_1_2
ADJP
n68_a_lob_j01__1_5_2_1->n68_a_lob_j01__1_5_2_1_2
n68_a_lob_j01__1_5_2_1_3
N
n68_a_lob_j01__1_5_2_1->n68_a_lob_j01__1_5_2_1_3
n68_a_lob_j01__1_5_2_1_4
PP
n68_a_lob_j01__1_5_2_1->n68_a_lob_j01__1_5_2_1_4
n68_a_lob_j01__1_5_2_1_1->n68_a_lob_j01__1_5_2_1_1_1
n68_a_lob_j01__1_5_2_1_2_1
ADJ
n68_a_lob_j01__1_5_2_1_2->n68_a_lob_j01__1_5_2_1_2_1
n68_a_lob_j01__1_5_2_1_2_1->n68_a_lob_j01__1_5_2_1_2_1_1
n68_a_lob_j01__1_5_2_1_3->n68_a_lob_j01__1_5_2_1_3_1
n68_a_lob_j01__1_5_2_1_4_1
P-ROLE
n68_a_lob_j01__1_5_2_1_4->n68_a_lob_j01__1_5_2_1_4_1
n68_a_lob_j01__1_5_2_1_4_2
NP
n68_a_lob_j01__1_5_2_1_4->n68_a_lob_j01__1_5_2_1_4_2
n68_a_lob_j01__1_5_2_1_4_1->n68_a_lob_j01__1_5_2_1_4_1_1
n68_a_lob_j01__1_5_2_1_4_2_1
N
n68_a_lob_j01__1_5_2_1_4_2->n68_a_lob_j01__1_5_2_1_4_2_1
n68_a_lob_j01__1_5_2_1_4_2_1->n68_a_lob_j01__1_5_2_1_4_2_1_1
n68_a_lob_j01__1_5_2_2->n68_a_lob_j01__1_5_2_2_1
n68_a_lob_j01__1_5_2_3->n68_a_lob_j01__1_5_2_3_1
n68_a_lob_j01__1_5_2_4_1
BE;_La_
n68_a_lob_j01__1_5_2_4->n68_a_lob_j01__1_5_2_4_1
n68_a_lob_j01__1_5_2_4_2
ADJP-PRD
n68_a_lob_j01__1_5_2_4->n68_a_lob_j01__1_5_2_4_2
n68_a_lob_j01__1_5_2_4_1->n68_a_lob_j01__1_5_2_4_1_1
n68_a_lob_j01__1_5_2_4_2_1
ADJ
n68_a_lob_j01__1_5_2_4_2->n68_a_lob_j01__1_5_2_4_2_1
n68_a_lob_j01__1_5_2_4_2_1->n68_a_lob_j01__1_5_2_4_2_1_1
n68_a_lob_j01__1_6->n68_a_lob_j01__1_6_1
( (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))