70_a_lob_j01
%3
r_0070_0001__Whether_r_0070_0005__can
Whether can
r_0070_0006__be
be
r_0070_0001__Whether_r_0070_0005__can->r_0070_0006__be
[scope]
r_0070_0007__incorporated
incorporated
r_0070_0006__be->r_0070_0007__incorporated
[scope]
r_0070_0003__an_r_0070_0004__apparatus
an apparatus
r_0070_0002__such
such
r_0070_0003__an_r_0070_0004__apparatus->r_0070_0002__such
[attrib]
r_0070_0007__incorporated->r_0070_0003__an_r_0070_0004__apparatus
[arg1]
r_0070_0009__a_r_0070_0010__reactor_r_0070_0011__circuit
a reactor circuit
r_0070_0007__incorporated->r_0070_0009__a_r_0070_0010__reactor_r_0070_0011__circuit
in [nim]
r_0070_0013__a_r_0070_0014__manner
a manner
r_0070_0007__incorporated->r_0070_0013__a_r_0070_0014__manner
in [nim]
z_000_70_a_lob_j01_20
r_0070_0007__incorporated->z_000_70_a_lob_j01_20
[arg0]
r_0070_0015__that_r_0070_0016__will
that will
r_0070_0017__satisfy
satisfy
r_0070_0015__that_r_0070_0016__will->r_0070_0017__satisfy
[scope]
r_0070_0017__satisfy->r_0070_0013__a_r_0070_0014__manner
[arg0]
r_0070_0018__safety_r_0070_0019__requirements
safety requirements
r_0070_0017__satisfy->r_0070_0018__safety_r_0070_0019__requirements
[arg1]
r_0070_0020__will
will
r_0070_0021__need
need
r_0070_0020__will->r_0070_0021__need
[scope]
r_0070_0021__need->r_0070_0001__Whether_r_0070_0005__can
[arg0]
r_0070_0023__study
study
r_0070_0021__need->r_0070_0023__study
[arg1]
r_0070_0022__further
further
r_0070_0023__study->r_0070_0022__further
[attrib]
arc(r_0070_0001__Whether_r_0070_0005__can, r_0070_0006__be, scope).
arc(r_0070_0003__an_r_0070_0004__apparatus, r_0070_0002__such, attrib7).
arc(r_0070_0006__be, r_0070_0007__incorporated, scope).
arc(r_0070_0007__incorporated, r_0070_0003__an_r_0070_0004__apparatus, arg1).
arc(r_0070_0007__incorporated, r_0070_0009__a_r_0070_0010__reactor_r_0070_0011__circuit, r_0070_0008__in_nim27).
arc(r_0070_0007__incorporated, r_0070_0013__a_r_0070_0014__manner, r_0070_0012__in_nim37).
arc(r_0070_0007__incorporated, z_000_70_a_lob_j01_20, arg0).
arc(r_0070_0015__that_r_0070_0016__will, r_0070_0017__satisfy, scope).
arc(r_0070_0017__satisfy, r_0070_0013__a_r_0070_0014__manner, arg0).
arc(r_0070_0017__satisfy, r_0070_0018__safety_r_0070_0019__requirements, arg1).
arc(r_0070_0020__will, r_0070_0021__need, scope).
arc(r_0070_0021__need, r_0070_0001__Whether_r_0070_0005__can, arg0).
arc(r_0070_0021__need, r_0070_0023__study, arg1).
arc(r_0070_0023__study, r_0070_0022__further, attrib63).
%3
r_0070_0023__study
study
r_0070_0022__further
further
r_0070_0023__study->r_0070_0022__further
[attrib]
r_0070_0020__will_r_0070_0021__need
will need
r_0070_0020__will_r_0070_0021__need->r_0070_0023__study
[arg1]
r_0070_0001__Whether_r_0070_0005__can_r_0070_0006__be_r_0070_0007__incorporated
Whether can be incorporated
r_0070_0020__will_r_0070_0021__need->r_0070_0001__Whether_r_0070_0005__can_r_0070_0006__be_r_0070_0007__incorporated
[arg0]
r_0070_0013__a_r_0070_0014__manner
a manner
r_0070_0001__Whether_r_0070_0005__can_r_0070_0006__be_r_0070_0007__incorporated->r_0070_0013__a_r_0070_0014__manner
in [nim]
z_000_70_a_lob_j01_20
r_0070_0001__Whether_r_0070_0005__can_r_0070_0006__be_r_0070_0007__incorporated->z_000_70_a_lob_j01_20
[arg0]
r_0070_0009__a_r_0070_0010__reactor_r_0070_0011__circuit
a reactor circuit
r_0070_0001__Whether_r_0070_0005__can_r_0070_0006__be_r_0070_0007__incorporated->r_0070_0009__a_r_0070_0010__reactor_r_0070_0011__circuit
in [nim]
r_0070_0003__an_r_0070_0004__apparatus
an apparatus
r_0070_0001__Whether_r_0070_0005__can_r_0070_0006__be_r_0070_0007__incorporated->r_0070_0003__an_r_0070_0004__apparatus
[arg1]
r_0070_0015__that_r_0070_0016__will_r_0070_0017__satisfy
that will satisfy
r_0070_0018__safety_r_0070_0019__requirements
safety requirements
r_0070_0015__that_r_0070_0016__will_r_0070_0017__satisfy->r_0070_0018__safety_r_0070_0019__requirements
[arg1]
r_0070_0015__that_r_0070_0016__will_r_0070_0017__satisfy->r_0070_0013__a_r_0070_0014__manner
[arg0]
r_0070_0002__such
such
r_0070_0003__an_r_0070_0004__apparatus->r_0070_0002__such
[attrib]
fof(formula,axiom,
? [R_70_15_THAT_WILL_SATISFY,R_70_18_SAFETY_REQUIREMENTS,R_70_20_WILL_NEED,R_70_1_WHETHER_CAN_BE_INCORPORATED,Z_70_A_LOB_J01_20,R_70_3_AN_APPARATUS,R_70_2_SUCH,R_70_9_A_REACTOR_CIRCUIT,R_70_13_A_MANNER,R_70_23_STUDY,R_70_22_FURTHER] :
( safety_requirements(R_70_18_SAFETY_REQUIREMENTS)
& such(R_70_2_SUCH)
& a_reactor_circuit(R_70_9_A_REACTOR_CIRCUIT)
& a_manner(R_70_13_A_MANNER)
& further(R_70_22_FURTHER)
& that_will_satisfy(R_70_15_THAT_WILL_SATISFY,R_70_13_A_MANNER,R_70_18_SAFETY_REQUIREMENTS)
& will_need(R_70_20_WILL_NEED,R_70_1_WHETHER_CAN_BE_INCORPORATED,R_70_23_STUDY)
& whether_can_be_incorporated(R_70_1_WHETHER_CAN_BE_INCORPORATED,Z_70_A_LOB_J01_20,R_70_3_AN_APPARATUS)
& an_apparatus(R_70_3_AN_APPARATUS)
& attrib7(R_70_3_AN_APPARATUS,R_70_2_SUCH)
& in_nim27(R_70_1_WHETHER_CAN_BE_INCORPORATED,R_70_9_A_REACTOR_CIRCUIT)
& in_nim37(R_70_1_WHETHER_CAN_BE_INCORPORATED,R_70_13_A_MANNER)
& study(R_70_23_STUDY)
& attrib63(R_70_23_STUDY,R_70_22_FURTHER) ) ).
n70_a_lob_j01
n70_a_lob_j01__1_1_1_1_1
Whether
n70_a_lob_j01__1_1_1_2_1_1_1
such
n70_a_lob_j01__1_1_1_2_2_1
an
n70_a_lob_j01__1_1_1_2_3_1
apparatus
n70_a_lob_j01__1_1_1_3_1
can
n70_a_lob_j01__1_1_1_4_1_1
be
n70_a_lob_j01__1_1_1_4_2_1_1
*
n70_a_lob_j01__1_1_1_4_2_2_1
incorporated
n70_a_lob_j01__1_1_1_4_2_3_1_1
in
n70_a_lob_j01__1_1_1_4_2_3_2_1_1
a
n70_a_lob_j01__1_1_1_4_2_3_2_2_1
reactor
n70_a_lob_j01__1_1_1_4_2_3_2_3_1
circuit
n70_a_lob_j01__1_1_1_4_2_4_1_1
in
n70_a_lob_j01__1_1_1_4_2_4_2_1_1
a
n70_a_lob_j01__1_1_1_4_2_4_2_2_1
manner
n70_a_lob_j01__1_1_1_4_2_4_2_3_1_1
that
n70_a_lob_j01__1_1_1_4_2_4_2_3_2_1
*T*
n70_a_lob_j01__1_1_1_4_2_4_2_3_3_1
will
n70_a_lob_j01__1_1_1_4_2_4_2_3_4_1_1
satisfy
n70_a_lob_j01__1_1_1_4_2_4_2_3_4_2_1_1
safety
n70_a_lob_j01__1_1_1_4_2_4_2_3_4_2_2_1
requirements
n70_a_lob_j01__1_2_1
will
n70_a_lob_j01__1_3_1_1
need
n70_a_lob_j01__1_3_2_1_1_1
further
n70_a_lob_j01__1_3_2_2_1
study
n70_a_lob_j01__1_4_1
.
n70_a_lob_j01__1
IP-MAT
n70_a_lob_j01__1_1
CP-QUE-SBJ
n70_a_lob_j01__1->n70_a_lob_j01__1_1
n70_a_lob_j01__1_2
MD;_cat_Vi_
n70_a_lob_j01__1->n70_a_lob_j01__1_2
n70_a_lob_j01__1_3
IP-INF-CAT
n70_a_lob_j01__1->n70_a_lob_j01__1_3
n70_a_lob_j01__1_4
PUNC
n70_a_lob_j01__1->n70_a_lob_j01__1_4
n70_a_lob_j01__1_1_1
IP-SUB
n70_a_lob_j01__1_1->n70_a_lob_j01__1_1_1
n70_a_lob_j01__1_1_1_1
WQ
n70_a_lob_j01__1_1_1->n70_a_lob_j01__1_1_1_1
n70_a_lob_j01__1_1_1_2
NP-SBJ
n70_a_lob_j01__1_1_1->n70_a_lob_j01__1_1_1_2
n70_a_lob_j01__1_1_1_3
MD;_cat_Vi_
n70_a_lob_j01__1_1_1->n70_a_lob_j01__1_1_1_3
n70_a_lob_j01__1_1_1_4
IP-INF-CAT
n70_a_lob_j01__1_1_1->n70_a_lob_j01__1_1_1_4
n70_a_lob_j01__1_1_1_1->n70_a_lob_j01__1_1_1_1_1
n70_a_lob_j01__1_1_1_2_1
ADJP
n70_a_lob_j01__1_1_1_2->n70_a_lob_j01__1_1_1_2_1
n70_a_lob_j01__1_1_1_2_2
D
n70_a_lob_j01__1_1_1_2->n70_a_lob_j01__1_1_1_2_2
n70_a_lob_j01__1_1_1_2_3
N
n70_a_lob_j01__1_1_1_2->n70_a_lob_j01__1_1_1_2_3
n70_a_lob_j01__1_1_1_2_1_1
ADJ;_such_
n70_a_lob_j01__1_1_1_2_1->n70_a_lob_j01__1_1_1_2_1_1
n70_a_lob_j01__1_1_1_2_1_1->n70_a_lob_j01__1_1_1_2_1_1_1
n70_a_lob_j01__1_1_1_2_2->n70_a_lob_j01__1_1_1_2_2_1
n70_a_lob_j01__1_1_1_2_3->n70_a_lob_j01__1_1_1_2_3_1
n70_a_lob_j01__1_1_1_3->n70_a_lob_j01__1_1_1_3_1
n70_a_lob_j01__1_1_1_4_1
BE;_cat_VePASS_
n70_a_lob_j01__1_1_1_4->n70_a_lob_j01__1_1_1_4_1
n70_a_lob_j01__1_1_1_4_2
IP-PPL-CAT
n70_a_lob_j01__1_1_1_4->n70_a_lob_j01__1_1_1_4_2
n70_a_lob_j01__1_1_1_4_1->n70_a_lob_j01__1_1_1_4_1_1
n70_a_lob_j01__1_1_1_4_2_1
NP-LGS
n70_a_lob_j01__1_1_1_4_2->n70_a_lob_j01__1_1_1_4_2_1
n70_a_lob_j01__1_1_1_4_2_2
VVN;__
n70_a_lob_j01__1_1_1_4_2->n70_a_lob_j01__1_1_1_4_2_2
n70_a_lob_j01__1_1_1_4_2_3
PP-NIM
n70_a_lob_j01__1_1_1_4_2->n70_a_lob_j01__1_1_1_4_2_3
n70_a_lob_j01__1_1_1_4_2_4
PP-NIM
n70_a_lob_j01__1_1_1_4_2->n70_a_lob_j01__1_1_1_4_2_4
n70_a_lob_j01__1_1_1_4_2_1->n70_a_lob_j01__1_1_1_4_2_1_1
n70_a_lob_j01__1_1_1_4_2_2->n70_a_lob_j01__1_1_1_4_2_2_1
n70_a_lob_j01__1_1_1_4_2_3_1
P-ROLE
n70_a_lob_j01__1_1_1_4_2_3->n70_a_lob_j01__1_1_1_4_2_3_1
n70_a_lob_j01__1_1_1_4_2_3_2
NP
n70_a_lob_j01__1_1_1_4_2_3->n70_a_lob_j01__1_1_1_4_2_3_2
n70_a_lob_j01__1_1_1_4_2_3_1->n70_a_lob_j01__1_1_1_4_2_3_1_1
n70_a_lob_j01__1_1_1_4_2_3_2_1
D
n70_a_lob_j01__1_1_1_4_2_3_2->n70_a_lob_j01__1_1_1_4_2_3_2_1
n70_a_lob_j01__1_1_1_4_2_3_2_2
N
n70_a_lob_j01__1_1_1_4_2_3_2->n70_a_lob_j01__1_1_1_4_2_3_2_2
n70_a_lob_j01__1_1_1_4_2_3_2_3
N
n70_a_lob_j01__1_1_1_4_2_3_2->n70_a_lob_j01__1_1_1_4_2_3_2_3
n70_a_lob_j01__1_1_1_4_2_3_2_1->n70_a_lob_j01__1_1_1_4_2_3_2_1_1
n70_a_lob_j01__1_1_1_4_2_3_2_2->n70_a_lob_j01__1_1_1_4_2_3_2_2_1
n70_a_lob_j01__1_1_1_4_2_3_2_3->n70_a_lob_j01__1_1_1_4_2_3_2_3_1
n70_a_lob_j01__1_1_1_4_2_4_1
P-ROLE
n70_a_lob_j01__1_1_1_4_2_4->n70_a_lob_j01__1_1_1_4_2_4_1
n70_a_lob_j01__1_1_1_4_2_4_2
NP
n70_a_lob_j01__1_1_1_4_2_4->n70_a_lob_j01__1_1_1_4_2_4_2
n70_a_lob_j01__1_1_1_4_2_4_1->n70_a_lob_j01__1_1_1_4_2_4_1_1
n70_a_lob_j01__1_1_1_4_2_4_2_1
D
n70_a_lob_j01__1_1_1_4_2_4_2->n70_a_lob_j01__1_1_1_4_2_4_2_1
n70_a_lob_j01__1_1_1_4_2_4_2_2
N
n70_a_lob_j01__1_1_1_4_2_4_2->n70_a_lob_j01__1_1_1_4_2_4_2_2
n70_a_lob_j01__1_1_1_4_2_4_2_3
IP-REL
n70_a_lob_j01__1_1_1_4_2_4_2->n70_a_lob_j01__1_1_1_4_2_4_2_3
n70_a_lob_j01__1_1_1_4_2_4_2_1->n70_a_lob_j01__1_1_1_4_2_4_2_1_1
n70_a_lob_j01__1_1_1_4_2_4_2_2->n70_a_lob_j01__1_1_1_4_2_4_2_2_1
n70_a_lob_j01__1_1_1_4_2_4_2_3_1
C
n70_a_lob_j01__1_1_1_4_2_4_2_3->n70_a_lob_j01__1_1_1_4_2_4_2_3_1
n70_a_lob_j01__1_1_1_4_2_4_2_3_2
NP-SBJ
n70_a_lob_j01__1_1_1_4_2_4_2_3->n70_a_lob_j01__1_1_1_4_2_4_2_3_2
n70_a_lob_j01__1_1_1_4_2_4_2_3_3
MD;_cat_Vi_
n70_a_lob_j01__1_1_1_4_2_4_2_3->n70_a_lob_j01__1_1_1_4_2_4_2_3_3
n70_a_lob_j01__1_1_1_4_2_4_2_3_4
IP-INF-CAT
n70_a_lob_j01__1_1_1_4_2_4_2_3->n70_a_lob_j01__1_1_1_4_2_4_2_3_4
n70_a_lob_j01__1_1_1_4_2_4_2_3_1->n70_a_lob_j01__1_1_1_4_2_4_2_3_1_1
n70_a_lob_j01__1_1_1_4_2_4_2_3_2->n70_a_lob_j01__1_1_1_4_2_4_2_3_2_1
n70_a_lob_j01__1_1_1_4_2_4_2_3_3->n70_a_lob_j01__1_1_1_4_2_4_2_3_3_1
n70_a_lob_j01__1_1_1_4_2_4_2_3_4_1
VB;__
n70_a_lob_j01__1_1_1_4_2_4_2_3_4->n70_a_lob_j01__1_1_1_4_2_4_2_3_4_1
n70_a_lob_j01__1_1_1_4_2_4_2_3_4_2
NP-OB1
n70_a_lob_j01__1_1_1_4_2_4_2_3_4->n70_a_lob_j01__1_1_1_4_2_4_2_3_4_2
n70_a_lob_j01__1_1_1_4_2_4_2_3_4_1->n70_a_lob_j01__1_1_1_4_2_4_2_3_4_1_1
n70_a_lob_j01__1_1_1_4_2_4_2_3_4_2_1
N
n70_a_lob_j01__1_1_1_4_2_4_2_3_4_2->n70_a_lob_j01__1_1_1_4_2_4_2_3_4_2_1
n70_a_lob_j01__1_1_1_4_2_4_2_3_4_2_2
NS
n70_a_lob_j01__1_1_1_4_2_4_2_3_4_2->n70_a_lob_j01__1_1_1_4_2_4_2_3_4_2_2
n70_a_lob_j01__1_1_1_4_2_4_2_3_4_2_1->n70_a_lob_j01__1_1_1_4_2_4_2_3_4_2_1_1
n70_a_lob_j01__1_1_1_4_2_4_2_3_4_2_2->n70_a_lob_j01__1_1_1_4_2_4_2_3_4_2_2_1
n70_a_lob_j01__1_2->n70_a_lob_j01__1_2_1
n70_a_lob_j01__1_3_1
VB;__
n70_a_lob_j01__1_3->n70_a_lob_j01__1_3_1
n70_a_lob_j01__1_3_2
NP-OB1
n70_a_lob_j01__1_3->n70_a_lob_j01__1_3_2
n70_a_lob_j01__1_3_1->n70_a_lob_j01__1_3_1_1
n70_a_lob_j01__1_3_2_1
ADJP
n70_a_lob_j01__1_3_2->n70_a_lob_j01__1_3_2_1
n70_a_lob_j01__1_3_2_2
N
n70_a_lob_j01__1_3_2->n70_a_lob_j01__1_3_2_2
n70_a_lob_j01__1_3_2_1_1
ADJR
n70_a_lob_j01__1_3_2_1->n70_a_lob_j01__1_3_2_1_1
n70_a_lob_j01__1_3_2_1_1->n70_a_lob_j01__1_3_2_1_1_1
n70_a_lob_j01__1_3_2_2->n70_a_lob_j01__1_3_2_2_1
n70_a_lob_j01__1_4->n70_a_lob_j01__1_4_1
( (IP-MAT (CP-QUE-SBJ (IP-SUB (WQ Whether;{whether})
(NP-SBJ (ADJP (ADJ;_such_ such;{such}))
(D an;{an})
(N apparatus;{apparatus}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;__ incorporated;{incorporate})
(PP-NIM (P-ROLE in;{in})
(NP (D a;{a})
(N reactor;{reactor})
(N circuit;{circuit})))
(PP-NIM (P-ROLE in;{in})
(NP (D a;{a})
(N manner;{manner})
(IP-REL (C that;{that})
(NP-SBJ *T*)
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (VB;__ satisfy;{satisfy})
(NP-OB1 (N safety;{safety})
(NS requirements;{requirement}))))))))))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (VB;__ need;{need})
(NP-OB1 (ADJP (ADJR further;{far}))
(N study;{study})))
(PUNC .))
(ID 70_a_lob_j01))