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_0001__Whether_r_0070_0005__can_r_0070_0006__be_r_0070_0007__incorporated
Whether can be incorporated
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_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_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_0002__such
such
r_0070_0003__an_r_0070_0004__apparatus->r_0070_0002__such
[attrib]
r_0070_0015__that_r_0070_0016__will_r_0070_0017__satisfy
that will satisfy
r_0070_0015__that_r_0070_0016__will_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_0015__that_r_0070_0016__will_r_0070_0017__satisfy->r_0070_0018__safety_r_0070_0019__requirements
[arg1]
r_0070_0020__will_r_0070_0021__need
will need
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_0023__study
study
r_0070_0020__will_r_0070_0021__need->r_0070_0023__study
[arg1]
r_0070_0022__further
further
r_0070_0023__study->r_0070_0022__further
[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_5
Whether
n70_a_lob_j01_9
such
n70_a_lob_j01_11
an
n70_a_lob_j01_13
apparatus
n70_a_lob_j01_15
can
n70_a_lob_j01_18
be
n70_a_lob_j01_21
*
n70_a_lob_j01_23
incorporated
n70_a_lob_j01_26
in
n70_a_lob_j01_29
a
n70_a_lob_j01_31
reactor
n70_a_lob_j01_33
circuit
n70_a_lob_j01_36
in
n70_a_lob_j01_39
a
n70_a_lob_j01_41
manner
n70_a_lob_j01_44
that
n70_a_lob_j01_46
*T*
n70_a_lob_j01_48
will
n70_a_lob_j01_51
satisfy
n70_a_lob_j01_54
safety
n70_a_lob_j01_56
requirements
n70_a_lob_j01_58
will
n70_a_lob_j01_61
need
n70_a_lob_j01_65
further
n70_a_lob_j01_67
study
n70_a_lob_j01_69
.
n70_a_lob_j01_1
IP-MAT
n70_a_lob_j01_2
CP-QUE-SBJ
n70_a_lob_j01_1->n70_a_lob_j01_2
n70_a_lob_j01_57
MD;_cat_Vi_
n70_a_lob_j01_1->n70_a_lob_j01_57
n70_a_lob_j01_59
IP-INF-CAT
n70_a_lob_j01_1->n70_a_lob_j01_59
n70_a_lob_j01_68
PUNC
n70_a_lob_j01_1->n70_a_lob_j01_68
n70_a_lob_j01_3
IP-SUB
n70_a_lob_j01_2->n70_a_lob_j01_3
n70_a_lob_j01_4
WQ
n70_a_lob_j01_3->n70_a_lob_j01_4
n70_a_lob_j01_6
NP-SBJ
n70_a_lob_j01_3->n70_a_lob_j01_6
n70_a_lob_j01_14
MD;_cat_Vi_
n70_a_lob_j01_3->n70_a_lob_j01_14
n70_a_lob_j01_16
IP-INF-CAT
n70_a_lob_j01_3->n70_a_lob_j01_16
n70_a_lob_j01_4->n70_a_lob_j01_5
n70_a_lob_j01_7
ADJP
n70_a_lob_j01_6->n70_a_lob_j01_7
n70_a_lob_j01_10
D
n70_a_lob_j01_6->n70_a_lob_j01_10
n70_a_lob_j01_12
N
n70_a_lob_j01_6->n70_a_lob_j01_12
n70_a_lob_j01_8
ADJ;_such_
n70_a_lob_j01_7->n70_a_lob_j01_8
n70_a_lob_j01_8->n70_a_lob_j01_9
n70_a_lob_j01_10->n70_a_lob_j01_11
n70_a_lob_j01_12->n70_a_lob_j01_13
n70_a_lob_j01_14->n70_a_lob_j01_15
n70_a_lob_j01_17
BE;_cat_VePASS_
n70_a_lob_j01_16->n70_a_lob_j01_17
n70_a_lob_j01_19
IP-PPL-CAT
n70_a_lob_j01_16->n70_a_lob_j01_19
n70_a_lob_j01_17->n70_a_lob_j01_18
n70_a_lob_j01_20
NP-LGS
n70_a_lob_j01_19->n70_a_lob_j01_20
n70_a_lob_j01_22
VVN;__
n70_a_lob_j01_19->n70_a_lob_j01_22
n70_a_lob_j01_24
PP-NIM
n70_a_lob_j01_19->n70_a_lob_j01_24
n70_a_lob_j01_34
PP-NIM
n70_a_lob_j01_19->n70_a_lob_j01_34
n70_a_lob_j01_20->n70_a_lob_j01_21
n70_a_lob_j01_22->n70_a_lob_j01_23
n70_a_lob_j01_25
P-ROLE
n70_a_lob_j01_24->n70_a_lob_j01_25
n70_a_lob_j01_27
NP
n70_a_lob_j01_24->n70_a_lob_j01_27
n70_a_lob_j01_25->n70_a_lob_j01_26
n70_a_lob_j01_28
D
n70_a_lob_j01_27->n70_a_lob_j01_28
n70_a_lob_j01_30
N
n70_a_lob_j01_27->n70_a_lob_j01_30
n70_a_lob_j01_32
N
n70_a_lob_j01_27->n70_a_lob_j01_32
n70_a_lob_j01_28->n70_a_lob_j01_29
n70_a_lob_j01_30->n70_a_lob_j01_31
n70_a_lob_j01_32->n70_a_lob_j01_33
n70_a_lob_j01_35
P-ROLE
n70_a_lob_j01_34->n70_a_lob_j01_35
n70_a_lob_j01_37
NP
n70_a_lob_j01_34->n70_a_lob_j01_37
n70_a_lob_j01_35->n70_a_lob_j01_36
n70_a_lob_j01_38
D
n70_a_lob_j01_37->n70_a_lob_j01_38
n70_a_lob_j01_40
N
n70_a_lob_j01_37->n70_a_lob_j01_40
n70_a_lob_j01_42
IP-REL
n70_a_lob_j01_37->n70_a_lob_j01_42
n70_a_lob_j01_38->n70_a_lob_j01_39
n70_a_lob_j01_40->n70_a_lob_j01_41
n70_a_lob_j01_43
C
n70_a_lob_j01_42->n70_a_lob_j01_43
n70_a_lob_j01_45
NP-SBJ
n70_a_lob_j01_42->n70_a_lob_j01_45
n70_a_lob_j01_47
MD;_cat_Vi_
n70_a_lob_j01_42->n70_a_lob_j01_47
n70_a_lob_j01_49
IP-INF-CAT
n70_a_lob_j01_42->n70_a_lob_j01_49
n70_a_lob_j01_43->n70_a_lob_j01_44
n70_a_lob_j01_45->n70_a_lob_j01_46
n70_a_lob_j01_47->n70_a_lob_j01_48
n70_a_lob_j01_50
VB;__
n70_a_lob_j01_49->n70_a_lob_j01_50
n70_a_lob_j01_52
NP-OB1
n70_a_lob_j01_49->n70_a_lob_j01_52
n70_a_lob_j01_50->n70_a_lob_j01_51
n70_a_lob_j01_53
N
n70_a_lob_j01_52->n70_a_lob_j01_53
n70_a_lob_j01_55
NS
n70_a_lob_j01_52->n70_a_lob_j01_55
n70_a_lob_j01_53->n70_a_lob_j01_54
n70_a_lob_j01_55->n70_a_lob_j01_56
n70_a_lob_j01_57->n70_a_lob_j01_58
n70_a_lob_j01_60
VB;__
n70_a_lob_j01_59->n70_a_lob_j01_60
n70_a_lob_j01_62
NP-OB1
n70_a_lob_j01_59->n70_a_lob_j01_62
n70_a_lob_j01_60->n70_a_lob_j01_61
n70_a_lob_j01_63
ADJP
n70_a_lob_j01_62->n70_a_lob_j01_63
n70_a_lob_j01_66
N
n70_a_lob_j01_62->n70_a_lob_j01_66
n70_a_lob_j01_64
ADJR
n70_a_lob_j01_63->n70_a_lob_j01_64
n70_a_lob_j01_64->n70_a_lob_j01_65
n70_a_lob_j01_66->n70_a_lob_j01_67
n70_a_lob_j01_68->n70_a_lob_j01_69
( (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))