3_a_lob_j01
%3
r_0003_0001__The_r_0003_0003__advantages
The advantages
r_0003_0002__principal
principal
r_0003_0001__The_r_0003_0003__advantages->r_0003_0002__principal
[attrib]
r_0003_0005__this
this
r_0003_0001__The_r_0003_0003__advantages->r_0003_0005__this
of
r_0003_0006__should
should
r_0003_0007__be
be
r_0003_0006__should->r_0003_0007__be
[scope]
r_0003_0007__be->r_0003_0001__The_r_0003_0003__advantages
[arg0]
r_0003_0013__and
and
r_0003_0007__be->r_0003_0013__and
[prd]
r_0003_0009__monitoring
monitoring
r_0003_0013__and->r_0003_0009__monitoring
[conj1]
r_0003_0014__an_r_0003_0015__accuracy
an accuracy
r_0003_0013__and->r_0003_0014__an_r_0003_0015__accuracy
[conj2]
r_0003_0008__continuous
continuous
r_0003_0009__monitoring->r_0003_0008__continuous
[attrib]
r_0003_0011__the_r_0003_0012__sodium
the sodium
r_0003_0009__monitoring->r_0003_0011__the_r_0003_0012__sodium
of
r_0003_0017__monitoring
monitoring
r_0003_0014__an_r_0003_0015__accuracy->r_0003_0017__monitoring
of
r_0003_0020__if
if
r_0003_0024__obeys
obeys
r_0003_0020__if->r_0003_0024__obeys
[restriction]
r_0003_0029__should
should
r_0003_0020__if->r_0003_0029__should
[scope]
r_0003_0021__the_r_0003_0023__system
the system
r_0003_0024__obeys->r_0003_0021__the_r_0003_0023__system
[arg0]
r_0003_0027__law
law
r_0003_0024__obeys->r_0003_0027__law
[arg1]
r_0003_0030__increase
increase
r_0003_0029__should->r_0003_0030__increase
[scope]
r_0003_0022__sodium__hyphen__oxygen
sodium-oxygen
r_0003_0021__the_r_0003_0023__system->r_0003_0022__sodium__hyphen__oxygen
[attrib]
r_0003_0025__Henry_r_0003_0026___apos_s
Henry 's
r_0003_0027__law->r_0003_0025__Henry_r_0003_0026___apos_s
[gen]
r_0003_0030__increase->r_0003_0014__an_r_0003_0015__accuracy
[arg0]
r_0003_0033__concentration
concentration
r_0003_0030__increase->r_0003_0033__concentration
with [nim]
r_0003_0032__decreasing
decreasing
r_0003_0033__concentration->r_0003_0032__decreasing
[attrib]
r_0003_0035__the_r_0003_0036__impurity
the impurity
r_0003_0033__concentration->r_0003_0035__the_r_0003_0036__impurity
of
arc(r_0003_0001__The_r_0003_0003__advantages, r_0003_0002__principal, attrib5).
arc(r_0003_0001__The_r_0003_0003__advantages, r_0003_0005__this, r_0003_0004__of).
arc(r_0003_0006__should, r_0003_0007__be, scope).
arc(r_0003_0007__be, r_0003_0001__The_r_0003_0003__advantages, arg0).
arc(r_0003_0007__be, r_0003_0013__and, prd).
arc(r_0003_0009__monitoring, r_0003_0008__continuous, attrib24).
arc(r_0003_0009__monitoring, r_0003_0011__the_r_0003_0012__sodium, r_0003_0010__of).
arc(r_0003_0013__and, r_0003_0009__monitoring, conj1).
arc(r_0003_0013__and, r_0003_0014__an_r_0003_0015__accuracy, conj2).
arc(r_0003_0014__an_r_0003_0015__accuracy, r_0003_0017__monitoring, r_0003_0016__of).
arc(r_0003_0020__if, r_0003_0024__obeys, restriction).
arc(r_0003_0020__if, r_0003_0029__should, scope).
arc(r_0003_0021__the_r_0003_0023__system, r_0003_0022__sodium__hyphen__oxygen, attrib64).
arc(r_0003_0024__obeys, r_0003_0021__the_r_0003_0023__system, arg0).
arc(r_0003_0024__obeys, r_0003_0027__law, arg1).
arc(r_0003_0027__law, r_0003_0025__Henry_r_0003_0026___apos_s, gen).
arc(r_0003_0029__should, r_0003_0030__increase, scope).
arc(r_0003_0030__increase, r_0003_0014__an_r_0003_0015__accuracy, arg0).
arc(r_0003_0030__increase, r_0003_0033__concentration, r_0003_0031__with_nim89).
arc(r_0003_0033__concentration, r_0003_0032__decreasing, attrib90).
arc(r_0003_0033__concentration, r_0003_0035__the_r_0003_0036__impurity, r_0003_0034__of).
%3
r_0003_0001__The_r_0003_0003__advantages
The advantages
r_0003_0002__principal
principal
r_0003_0001__The_r_0003_0003__advantages->r_0003_0002__principal
[attrib]
r_0003_0005__this
this
r_0003_0001__The_r_0003_0003__advantages->r_0003_0005__this
of
r_0003_0006__should_r_0003_0007__be
should be
r_0003_0006__should_r_0003_0007__be->r_0003_0001__The_r_0003_0003__advantages
[arg0]
r_0003_0013__and
and
r_0003_0006__should_r_0003_0007__be->r_0003_0013__and
[prd]
r_0003_0009__monitoring
monitoring
r_0003_0013__and->r_0003_0009__monitoring
[conj1]
r_0003_0014__an_r_0003_0015__accuracy
an accuracy
r_0003_0013__and->r_0003_0014__an_r_0003_0015__accuracy
[conj2]
r_0003_0008__continuous
continuous
r_0003_0009__monitoring->r_0003_0008__continuous
[attrib]
r_0003_0011__the_r_0003_0012__sodium
the sodium
r_0003_0009__monitoring->r_0003_0011__the_r_0003_0012__sodium
of
r_0003_0017__monitoring
monitoring
r_0003_0014__an_r_0003_0015__accuracy->r_0003_0017__monitoring
of
r_0003_0020__if
if
r_0003_0024__obeys
obeys
r_0003_0020__if->r_0003_0024__obeys
[restriction]
r_0003_0029__should_r_0003_0030__increase
should increase
r_0003_0020__if->r_0003_0029__should_r_0003_0030__increase
[scope]
r_0003_0021__the_r_0003_0023__system
the system
r_0003_0024__obeys->r_0003_0021__the_r_0003_0023__system
[arg0]
r_0003_0027__law
law
r_0003_0024__obeys->r_0003_0027__law
[arg1]
r_0003_0029__should_r_0003_0030__increase->r_0003_0014__an_r_0003_0015__accuracy
[arg0]
r_0003_0033__concentration
concentration
r_0003_0029__should_r_0003_0030__increase->r_0003_0033__concentration
with [nim]
r_0003_0022__sodium__hyphen__oxygen
sodium-oxygen
r_0003_0021__the_r_0003_0023__system->r_0003_0022__sodium__hyphen__oxygen
[attrib]
r_0003_0025__Henry_r_0003_0026___apos_s
Henry 's
r_0003_0027__law->r_0003_0025__Henry_r_0003_0026___apos_s
[gen]
r_0003_0032__decreasing
decreasing
r_0003_0033__concentration->r_0003_0032__decreasing
[attrib]
r_0003_0035__the_r_0003_0036__impurity
the impurity
r_0003_0033__concentration->r_0003_0035__the_r_0003_0036__impurity
of
fof(formula,axiom,
? [R_3_6_SHOULD_BE,R_3_1_THE_ADVANTAGES,R_3_2_PRINCIPAL,R_3_5_THIS,R_3_13_AND,R_3_9_MONITORING,R_3_8_CONTINUOUS,R_3_11_THE_SODIUM,R_3_14_AN_ACCURACY,R_3_17_MONITORING] :
( principal(R_3_2_PRINCIPAL)
& this(R_3_5_THIS)
& continuous(R_3_8_CONTINUOUS)
& the_sodium(R_3_11_THE_SODIUM)
& monitoring(R_3_17_MONITORING)
& should_be(R_3_6_SHOULD_BE,R_3_1_THE_ADVANTAGES,R_3_13_AND)
& the_advantages(R_3_1_THE_ADVANTAGES)
& attrib5(R_3_1_THE_ADVANTAGES,R_3_2_PRINCIPAL)
& of(R_3_1_THE_ADVANTAGES,R_3_5_THIS)
& and(R_3_13_AND)
& conj1(R_3_13_AND,R_3_9_MONITORING)
& monitoring(R_3_9_MONITORING)
& attrib24(R_3_9_MONITORING,R_3_8_CONTINUOUS)
& of(R_3_9_MONITORING,R_3_11_THE_SODIUM)
& conj2(R_3_13_AND,R_3_14_AN_ACCURACY)
& an_accuracy(R_3_14_AN_ACCURACY)
& of(R_3_14_AN_ACCURACY,R_3_17_MONITORING)
& ! [R_3_24_OBEYS,R_3_21_THE_SYSTEM,R_3_22_SODIUM_HYPHEN_OXYGEN,R_3_27_LAW,R_3_25_HENRY_APOS_S] :
( ( sodium_hyphen_oxygen(R_3_22_SODIUM_HYPHEN_OXYGEN)
& henry_apos_s(R_3_25_HENRY_APOS_S)
& obeys(R_3_24_OBEYS,R_3_21_THE_SYSTEM,R_3_27_LAW)
& the_system(R_3_21_THE_SYSTEM)
& attrib64(R_3_21_THE_SYSTEM,R_3_22_SODIUM_HYPHEN_OXYGEN)
& law(R_3_27_LAW)
& gen(R_3_27_LAW,R_3_25_HENRY_APOS_S) )
=> ? [R_3_29_SHOULD_INCREASE,R_3_33_CONCENTRATION,R_3_32_DECREASING,R_3_35_THE_IMPURITY] :
( decreasing(R_3_32_DECREASING)
& the_impurity(R_3_35_THE_IMPURITY)
& should_increase(R_3_29_SHOULD_INCREASE,R_3_14_AN_ACCURACY)
& with_nim89(R_3_29_SHOULD_INCREASE,R_3_33_CONCENTRATION)
& concentration(R_3_33_CONCENTRATION)
& attrib90(R_3_33_CONCENTRATION,R_3_32_DECREASING)
& of(R_3_33_CONCENTRATION,R_3_35_THE_IMPURITY) ) ) ) ).
n3_a_lob_j01
n3_a_lob_j01_4
The
n3_a_lob_j01_7
principal
n3_a_lob_j01_9
advantages
n3_a_lob_j01_12
of
n3_a_lob_j01_15
this
n3_a_lob_j01_17
should
n3_a_lob_j01_20
be
n3_a_lob_j01_26
continuous
n3_a_lob_j01_28
monitoring
n3_a_lob_j01_31
of
n3_a_lob_j01_34
the
n3_a_lob_j01_36
sodium
n3_a_lob_j01_39
and
n3_a_lob_j01_42
an
n3_a_lob_j01_44
accuracy
n3_a_lob_j01_47
of
n3_a_lob_j01_50
monitoring
n3_a_lob_j01_54
which
n3_a_lob_j01_56
,
n3_a_lob_j01_59
if
n3_a_lob_j01_63
the
n3_a_lob_j01_66
sodium-oxygen
n3_a_lob_j01_68
system
n3_a_lob_j01_70
obeys
n3_a_lob_j01_74
Henry
n3_a_lob_j01_76
's
n3_a_lob_j01_78
law
n3_a_lob_j01_80
,
n3_a_lob_j01_82
should
n3_a_lob_j01_85
increase
n3_a_lob_j01_88
with
n3_a_lob_j01_92
decreasing
n3_a_lob_j01_94
concentration
n3_a_lob_j01_97
of
n3_a_lob_j01_100
the
n3_a_lob_j01_102
impurity
n3_a_lob_j01_104
.
n3_a_lob_j01_1
IP-MAT
n3_a_lob_j01_2
NP-SBJ
n3_a_lob_j01_1->n3_a_lob_j01_2
n3_a_lob_j01_16
MD;_cat_Vi_
n3_a_lob_j01_1->n3_a_lob_j01_16
n3_a_lob_j01_18
IP-INF-CAT
n3_a_lob_j01_1->n3_a_lob_j01_18
n3_a_lob_j01_103
PUNC
n3_a_lob_j01_1->n3_a_lob_j01_103
n3_a_lob_j01_3
D
n3_a_lob_j01_2->n3_a_lob_j01_3
n3_a_lob_j01_5
ADJP
n3_a_lob_j01_2->n3_a_lob_j01_5
n3_a_lob_j01_8
NS
n3_a_lob_j01_2->n3_a_lob_j01_8
n3_a_lob_j01_10
PP
n3_a_lob_j01_2->n3_a_lob_j01_10
n3_a_lob_j01_3->n3_a_lob_j01_4
n3_a_lob_j01_6
ADJ
n3_a_lob_j01_5->n3_a_lob_j01_6
n3_a_lob_j01_6->n3_a_lob_j01_7
n3_a_lob_j01_8->n3_a_lob_j01_9
n3_a_lob_j01_11
P-ROLE
n3_a_lob_j01_10->n3_a_lob_j01_11
n3_a_lob_j01_13
NP
n3_a_lob_j01_10->n3_a_lob_j01_13
n3_a_lob_j01_11->n3_a_lob_j01_12
n3_a_lob_j01_14
D;_nphd_
n3_a_lob_j01_13->n3_a_lob_j01_14
n3_a_lob_j01_14->n3_a_lob_j01_15
n3_a_lob_j01_16->n3_a_lob_j01_17
n3_a_lob_j01_19
BE;_Ln_
n3_a_lob_j01_18->n3_a_lob_j01_19
n3_a_lob_j01_21
NP-PRD
n3_a_lob_j01_18->n3_a_lob_j01_21
n3_a_lob_j01_19->n3_a_lob_j01_20
n3_a_lob_j01_22
NLYR
n3_a_lob_j01_21->n3_a_lob_j01_22
n3_a_lob_j01_23
NLYR
n3_a_lob_j01_22->n3_a_lob_j01_23
n3_a_lob_j01_37
CONJP
n3_a_lob_j01_22->n3_a_lob_j01_37
n3_a_lob_j01_24
ADJP
n3_a_lob_j01_23->n3_a_lob_j01_24
n3_a_lob_j01_27
N
n3_a_lob_j01_23->n3_a_lob_j01_27
n3_a_lob_j01_29
PP
n3_a_lob_j01_23->n3_a_lob_j01_29
n3_a_lob_j01_25
ADJ
n3_a_lob_j01_24->n3_a_lob_j01_25
n3_a_lob_j01_25->n3_a_lob_j01_26
n3_a_lob_j01_27->n3_a_lob_j01_28
n3_a_lob_j01_30
P-ROLE
n3_a_lob_j01_29->n3_a_lob_j01_30
n3_a_lob_j01_32
NP
n3_a_lob_j01_29->n3_a_lob_j01_32
n3_a_lob_j01_30->n3_a_lob_j01_31
n3_a_lob_j01_33
D
n3_a_lob_j01_32->n3_a_lob_j01_33
n3_a_lob_j01_35
N
n3_a_lob_j01_32->n3_a_lob_j01_35
n3_a_lob_j01_33->n3_a_lob_j01_34
n3_a_lob_j01_35->n3_a_lob_j01_36
n3_a_lob_j01_38
CONJ
n3_a_lob_j01_37->n3_a_lob_j01_38
n3_a_lob_j01_40
NLYR
n3_a_lob_j01_37->n3_a_lob_j01_40
n3_a_lob_j01_38->n3_a_lob_j01_39
n3_a_lob_j01_41
D
n3_a_lob_j01_40->n3_a_lob_j01_41
n3_a_lob_j01_43
N
n3_a_lob_j01_40->n3_a_lob_j01_43
n3_a_lob_j01_45
PP
n3_a_lob_j01_40->n3_a_lob_j01_45
n3_a_lob_j01_51
IP-REL
n3_a_lob_j01_40->n3_a_lob_j01_51
n3_a_lob_j01_41->n3_a_lob_j01_42
n3_a_lob_j01_43->n3_a_lob_j01_44
n3_a_lob_j01_46
P-ROLE
n3_a_lob_j01_45->n3_a_lob_j01_46
n3_a_lob_j01_48
NP
n3_a_lob_j01_45->n3_a_lob_j01_48
n3_a_lob_j01_46->n3_a_lob_j01_47
n3_a_lob_j01_49
N
n3_a_lob_j01_48->n3_a_lob_j01_49
n3_a_lob_j01_49->n3_a_lob_j01_50
n3_a_lob_j01_52
NP-SBJ
n3_a_lob_j01_51->n3_a_lob_j01_52
n3_a_lob_j01_55
PUNC
n3_a_lob_j01_51->n3_a_lob_j01_55
n3_a_lob_j01_57
PP-SCON
n3_a_lob_j01_51->n3_a_lob_j01_57
n3_a_lob_j01_79
PUNC
n3_a_lob_j01_51->n3_a_lob_j01_79
n3_a_lob_j01_81
MD;_cat_Vi_
n3_a_lob_j01_51->n3_a_lob_j01_81
n3_a_lob_j01_83
IP-INF-CAT
n3_a_lob_j01_51->n3_a_lob_j01_83
n3_a_lob_j01_53
RPRO
n3_a_lob_j01_52->n3_a_lob_j01_53
n3_a_lob_j01_53->n3_a_lob_j01_54
n3_a_lob_j01_55->n3_a_lob_j01_56
n3_a_lob_j01_58
P-CONN
n3_a_lob_j01_57->n3_a_lob_j01_58
n3_a_lob_j01_60
IP-ADV
n3_a_lob_j01_57->n3_a_lob_j01_60
n3_a_lob_j01_58->n3_a_lob_j01_59
n3_a_lob_j01_61
NP-SBJ
n3_a_lob_j01_60->n3_a_lob_j01_61
n3_a_lob_j01_69
VBP;_Tn_
n3_a_lob_j01_60->n3_a_lob_j01_69
n3_a_lob_j01_71
NP-OB1
n3_a_lob_j01_60->n3_a_lob_j01_71
n3_a_lob_j01_62
D
n3_a_lob_j01_61->n3_a_lob_j01_62
n3_a_lob_j01_64
ADJP
n3_a_lob_j01_61->n3_a_lob_j01_64
n3_a_lob_j01_67
N
n3_a_lob_j01_61->n3_a_lob_j01_67
n3_a_lob_j01_62->n3_a_lob_j01_63
n3_a_lob_j01_65
ADJ
n3_a_lob_j01_64->n3_a_lob_j01_65
n3_a_lob_j01_65->n3_a_lob_j01_66
n3_a_lob_j01_67->n3_a_lob_j01_68
n3_a_lob_j01_69->n3_a_lob_j01_70
n3_a_lob_j01_72
NP-GEN
n3_a_lob_j01_71->n3_a_lob_j01_72
n3_a_lob_j01_77
N
n3_a_lob_j01_71->n3_a_lob_j01_77
n3_a_lob_j01_73
NPR
n3_a_lob_j01_72->n3_a_lob_j01_73
n3_a_lob_j01_75
GENM
n3_a_lob_j01_72->n3_a_lob_j01_75
n3_a_lob_j01_73->n3_a_lob_j01_74
n3_a_lob_j01_75->n3_a_lob_j01_76
n3_a_lob_j01_77->n3_a_lob_j01_78
n3_a_lob_j01_79->n3_a_lob_j01_80
n3_a_lob_j01_81->n3_a_lob_j01_82
n3_a_lob_j01_84
VB;_I_
n3_a_lob_j01_83->n3_a_lob_j01_84
n3_a_lob_j01_86
PP-NIM
n3_a_lob_j01_83->n3_a_lob_j01_86
n3_a_lob_j01_84->n3_a_lob_j01_85
n3_a_lob_j01_87
P-ROLE
n3_a_lob_j01_86->n3_a_lob_j01_87
n3_a_lob_j01_89
NP
n3_a_lob_j01_86->n3_a_lob_j01_89
n3_a_lob_j01_87->n3_a_lob_j01_88
n3_a_lob_j01_90
ADJP
n3_a_lob_j01_89->n3_a_lob_j01_90
n3_a_lob_j01_93
N
n3_a_lob_j01_89->n3_a_lob_j01_93
n3_a_lob_j01_95
PP
n3_a_lob_j01_89->n3_a_lob_j01_95
n3_a_lob_j01_91
ADJ
n3_a_lob_j01_90->n3_a_lob_j01_91
n3_a_lob_j01_91->n3_a_lob_j01_92
n3_a_lob_j01_93->n3_a_lob_j01_94
n3_a_lob_j01_96
P-ROLE
n3_a_lob_j01_95->n3_a_lob_j01_96
n3_a_lob_j01_98
NP
n3_a_lob_j01_95->n3_a_lob_j01_98
n3_a_lob_j01_96->n3_a_lob_j01_97
n3_a_lob_j01_99
D
n3_a_lob_j01_98->n3_a_lob_j01_99
n3_a_lob_j01_101
N
n3_a_lob_j01_98->n3_a_lob_j01_101
n3_a_lob_j01_99->n3_a_lob_j01_100
n3_a_lob_j01_101->n3_a_lob_j01_102
n3_a_lob_j01_103->n3_a_lob_j01_104
( (IP-MAT (NP-SBJ (D The;{the})
(ADJP (ADJ principal;{principal}))
(NS advantages;{advantage})
(PP (P-ROLE of;{of})
(NP (D;_nphd_ this;{this}))))
(MD;_cat_Vi_ should;{shall})
(IP-INF-CAT (BE;_Ln_ be;{be})
(NP-PRD (NLYR (NLYR (ADJP (ADJ continuous;{continuous}))
(N monitoring;{monitoring})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N sodium;{sodium}))))
(CONJP (CONJ and;{and})
(NLYR (D an;{an})
(N accuracy;{accuracy})
(PP (P-ROLE of;{of})
(NP (N monitoring;{monitoring})))
(IP-REL (NP-SBJ (RPRO which;{which}))
(PUNC ,)
(PP-SCON (P-CONN if;{if})
(IP-ADV (NP-SBJ (D the;{the})
(ADJP (ADJ sodium_<hyphen>_oxygen;{sodium_oxygen}))
(N system;{system}))
(VBP;_Tn_ obeys;{obey})
(NP-OB1 (NP-GEN (NPR Henry;{Henry})
(GENM <apos>s))
(N law;{law}))))
(PUNC ,)
(MD;_cat_Vi_ should;{shall})
(IP-INF-CAT (VB;_I_ increase;{increase})
(PP-NIM (P-ROLE with;{with})
(NP (ADJP (ADJ decreasing;{decreasing}))
(N concentration;{concentration})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N impurity;{impurity}))))))))))))
(PUNC .))
(ID 3_a_lob_j01))