79_a_lob_j01
%3
r_0079_0002__a_r_0079_0004__portion
a portion
r_0079_0003__measured
measured
r_0079_0002__a_r_0079_0004__portion->r_0079_0003__measured
[attrib]
r_0079_0006__the_r_0079_0007__sample
the sample
r_0079_0002__a_r_0079_0004__portion->r_0079_0006__the_r_0079_0007__sample
of
r_0079_0010__and
and
r_0079_0009__niobium
niobium
r_0079_0010__and->r_0079_0009__niobium
[conj1]
r_0079_0011__zirconium
zirconium
r_0079_0010__and->r_0079_0011__zirconium
[conj2]
r_0079_0012__carriers
carriers
r_0079_0012__carriers->r_0079_0010__and
[attrib]
r_0079_0013__are
are
r_0079_0013__are->r_0079_0002__a_r_0079_0004__portion
To [nim]
r_0079_0014__added
added
r_0079_0013__are->r_0079_0014__added
[scope]
r_0079_0014__added->r_0079_0012__carriers
[arg1]
r_0079_0015__together
together
r_0079_0014__added->r_0079_0015__together
[clr]
r_0079_0018__acid
acid
r_0079_0014__added->r_0079_0018__acid
with [nim]
z_000_79_a_lob_j01_40
r_0079_0014__added->z_000_79_a_lob_j01_40
[arg0]
r_0079_0017__hydrofluoric
hydrofluoric
r_0079_0018__acid->r_0079_0017__hydrofluoric
[attrib]
r_0079_0019__to_r_0079_0020__ensure
to ensure
r_0079_0019__to_r_0079_0020__ensure->r_0079_0018__acid
[arg0]
r_0079_0023__interchange
interchange
r_0079_0019__to_r_0079_0020__ensure->r_0079_0023__interchange
[arg1]
r_0079_0021__complete
complete
r_0079_0023__interchange->r_0079_0021__complete
[attrib]
r_0079_0022__isotopic
isotopic
r_0079_0023__interchange->r_0079_0022__isotopic
[attrib]
arc(r_0079_0002__a_r_0079_0004__portion, r_0079_0003__measured, attrib8).
arc(r_0079_0002__a_r_0079_0004__portion, r_0079_0006__the_r_0079_0007__sample, r_0079_0005__of).
arc(r_0079_0010__and, r_0079_0009__niobium, conj1).
arc(r_0079_0010__and, r_0079_0011__zirconium, conj2).
arc(r_0079_0012__carriers, r_0079_0010__and, attrib24).
arc(r_0079_0013__are, r_0079_0002__a_r_0079_0004__portion, r_0079_0001__To_nim5).
arc(r_0079_0013__are, r_0079_0014__added, scope).
arc(r_0079_0014__added, r_0079_0012__carriers, arg1).
arc(r_0079_0014__added, r_0079_0015__together, clr44).
arc(r_0079_0014__added, r_0079_0018__acid, r_0079_0016__with_nim50).
arc(r_0079_0014__added, z_000_79_a_lob_j01_40, arg0).
arc(r_0079_0018__acid, r_0079_0017__hydrofluoric, attrib51).
arc(r_0079_0019__to_r_0079_0020__ensure, r_0079_0018__acid, arg0).
arc(r_0079_0019__to_r_0079_0020__ensure, r_0079_0023__interchange, arg1).
arc(r_0079_0023__interchange, r_0079_0021__complete, attrib64).
arc(r_0079_0023__interchange, r_0079_0022__isotopic, attrib67).
%3
r_0079_0002__a_r_0079_0004__portion
a portion
r_0079_0003__measured
measured
r_0079_0002__a_r_0079_0004__portion->r_0079_0003__measured
[attrib]
r_0079_0006__the_r_0079_0007__sample
the sample
r_0079_0002__a_r_0079_0004__portion->r_0079_0006__the_r_0079_0007__sample
of
r_0079_0010__and
and
r_0079_0009__niobium
niobium
r_0079_0010__and->r_0079_0009__niobium
[conj1]
r_0079_0011__zirconium
zirconium
r_0079_0010__and->r_0079_0011__zirconium
[conj2]
r_0079_0012__carriers
carriers
r_0079_0012__carriers->r_0079_0010__and
[attrib]
r_0079_0013__are_r_0079_0014__added
are added
r_0079_0013__are_r_0079_0014__added->r_0079_0002__a_r_0079_0004__portion
To [nim]
r_0079_0013__are_r_0079_0014__added->r_0079_0012__carriers
[arg1]
r_0079_0015__together
together
r_0079_0013__are_r_0079_0014__added->r_0079_0015__together
[clr]
r_0079_0018__acid
acid
r_0079_0013__are_r_0079_0014__added->r_0079_0018__acid
with [nim]
z_000_79_a_lob_j01_40
r_0079_0013__are_r_0079_0014__added->z_000_79_a_lob_j01_40
[arg0]
r_0079_0017__hydrofluoric
hydrofluoric
r_0079_0018__acid->r_0079_0017__hydrofluoric
[attrib]
r_0079_0019__to_r_0079_0020__ensure
to ensure
r_0079_0019__to_r_0079_0020__ensure->r_0079_0018__acid
[arg0]
r_0079_0023__interchange
interchange
r_0079_0019__to_r_0079_0020__ensure->r_0079_0023__interchange
[arg1]
r_0079_0021__complete
complete
r_0079_0023__interchange->r_0079_0021__complete
[attrib]
r_0079_0022__isotopic
isotopic
r_0079_0023__interchange->r_0079_0022__isotopic
[attrib]
fof(formula,axiom,
? [R_79_13_ARE_ADDED,Z_79_A_LOB_J01_40,R_79_12_CARRIERS,R_79_10_AND,R_79_9_NIOBIUM,R_79_11_ZIRCONIUM,R_79_15_TOGETHER,R_79_2_A_PORTION,R_79_3_MEASURED,R_79_6_THE_SAMPLE,R_79_19_TO_ENSURE,R_79_18_ACID,R_79_17_HYDROFLUORIC,R_79_23_INTERCHANGE,R_79_21_COMPLETE,R_79_22_ISOTOPIC] :
( niobium(R_79_9_NIOBIUM)
& zirconium(R_79_11_ZIRCONIUM)
& together(R_79_15_TOGETHER)
& measured(R_79_3_MEASURED)
& the_sample(R_79_6_THE_SAMPLE)
& hydrofluoric(R_79_17_HYDROFLUORIC)
& complete(R_79_21_COMPLETE)
& isotopic(R_79_22_ISOTOPIC)
& are_added(R_79_13_ARE_ADDED,Z_79_A_LOB_J01_40,R_79_12_CARRIERS)
& carriers(R_79_12_CARRIERS)
& attrib24(R_79_12_CARRIERS,R_79_10_AND)
& and(R_79_10_AND)
& conj1(R_79_10_AND,R_79_9_NIOBIUM)
& conj2(R_79_10_AND,R_79_11_ZIRCONIUM)
& clr44(R_79_13_ARE_ADDED,R_79_15_TOGETHER)
& to_nim5(R_79_13_ARE_ADDED,R_79_2_A_PORTION)
& a_portion(R_79_2_A_PORTION)
& attrib8(R_79_2_A_PORTION,R_79_3_MEASURED)
& of(R_79_2_A_PORTION,R_79_6_THE_SAMPLE)
& with_nim50(R_79_13_ARE_ADDED,R_79_18_ACID)
& acid(R_79_18_ACID)
& attrib51(R_79_18_ACID,R_79_17_HYDROFLUORIC)
& to_ensure(R_79_19_TO_ENSURE,R_79_18_ACID,R_79_23_INTERCHANGE)
& interchange(R_79_23_INTERCHANGE)
& attrib64(R_79_23_INTERCHANGE,R_79_21_COMPLETE)
& attrib67(R_79_23_INTERCHANGE,R_79_22_ISOTOPIC) ) ).
n79_a_lob_j01
n79_a_lob_j01_4
To
n79_a_lob_j01_7
a
n79_a_lob_j01_10
measured
n79_a_lob_j01_12
portion
n79_a_lob_j01_15
of
n79_a_lob_j01_18
the
n79_a_lob_j01_20
sample
n79_a_lob_j01_22
,
n79_a_lob_j01_28
niobium
n79_a_lob_j01_31
and
n79_a_lob_j01_34
zirconium
n79_a_lob_j01_36
carriers
n79_a_lob_j01_38
are
n79_a_lob_j01_41
*
n79_a_lob_j01_43
added
n79_a_lob_j01_46
together
n79_a_lob_j01_49
with
n79_a_lob_j01_53
hydrofluoric
n79_a_lob_j01_55
acid
n79_a_lob_j01_58
*T*
n79_a_lob_j01_60
to
n79_a_lob_j01_62
ensure
n79_a_lob_j01_66
complete
n79_a_lob_j01_69
isotopic
n79_a_lob_j01_71
interchange
n79_a_lob_j01_73
.
n79_a_lob_j01_1
IP-MAT
n79_a_lob_j01_2
PP-NIM
n79_a_lob_j01_1->n79_a_lob_j01_2
n79_a_lob_j01_21
PUNC
n79_a_lob_j01_1->n79_a_lob_j01_21
n79_a_lob_j01_23
NP-SBJ
n79_a_lob_j01_1->n79_a_lob_j01_23
n79_a_lob_j01_37
BEP;_cat_VePASS_
n79_a_lob_j01_1->n79_a_lob_j01_37
n79_a_lob_j01_39
IP-PPL-CAT
n79_a_lob_j01_1->n79_a_lob_j01_39
n79_a_lob_j01_72
PUNC
n79_a_lob_j01_1->n79_a_lob_j01_72
n79_a_lob_j01_3
P-ROLE
n79_a_lob_j01_2->n79_a_lob_j01_3
n79_a_lob_j01_5
NP
n79_a_lob_j01_2->n79_a_lob_j01_5
n79_a_lob_j01_3->n79_a_lob_j01_4
n79_a_lob_j01_6
D
n79_a_lob_j01_5->n79_a_lob_j01_6
n79_a_lob_j01_8
ADJP
n79_a_lob_j01_5->n79_a_lob_j01_8
n79_a_lob_j01_11
N
n79_a_lob_j01_5->n79_a_lob_j01_11
n79_a_lob_j01_13
PP
n79_a_lob_j01_5->n79_a_lob_j01_13
n79_a_lob_j01_6->n79_a_lob_j01_7
n79_a_lob_j01_9
ADJ
n79_a_lob_j01_8->n79_a_lob_j01_9
n79_a_lob_j01_9->n79_a_lob_j01_10
n79_a_lob_j01_11->n79_a_lob_j01_12
n79_a_lob_j01_14
P-ROLE
n79_a_lob_j01_13->n79_a_lob_j01_14
n79_a_lob_j01_16
NP
n79_a_lob_j01_13->n79_a_lob_j01_16
n79_a_lob_j01_14->n79_a_lob_j01_15
n79_a_lob_j01_17
D
n79_a_lob_j01_16->n79_a_lob_j01_17
n79_a_lob_j01_19
N
n79_a_lob_j01_16->n79_a_lob_j01_19
n79_a_lob_j01_17->n79_a_lob_j01_18
n79_a_lob_j01_19->n79_a_lob_j01_20
n79_a_lob_j01_21->n79_a_lob_j01_22
n79_a_lob_j01_24
ADJP
n79_a_lob_j01_23->n79_a_lob_j01_24
n79_a_lob_j01_35
NS
n79_a_lob_j01_23->n79_a_lob_j01_35
n79_a_lob_j01_25
AJLYR
n79_a_lob_j01_24->n79_a_lob_j01_25
n79_a_lob_j01_26
AJLYR
n79_a_lob_j01_25->n79_a_lob_j01_26
n79_a_lob_j01_29
CONJP
n79_a_lob_j01_25->n79_a_lob_j01_29
n79_a_lob_j01_27
ADJ
n79_a_lob_j01_26->n79_a_lob_j01_27
n79_a_lob_j01_27->n79_a_lob_j01_28
n79_a_lob_j01_30
CONJ
n79_a_lob_j01_29->n79_a_lob_j01_30
n79_a_lob_j01_32
AJLYR
n79_a_lob_j01_29->n79_a_lob_j01_32
n79_a_lob_j01_30->n79_a_lob_j01_31
n79_a_lob_j01_33
ADJ
n79_a_lob_j01_32->n79_a_lob_j01_33
n79_a_lob_j01_33->n79_a_lob_j01_34
n79_a_lob_j01_35->n79_a_lob_j01_36
n79_a_lob_j01_37->n79_a_lob_j01_38
n79_a_lob_j01_40
NP-LGS
n79_a_lob_j01_39->n79_a_lob_j01_40
n79_a_lob_j01_42
VVN;_Tn.p_
n79_a_lob_j01_39->n79_a_lob_j01_42
n79_a_lob_j01_44
ADVP-CLR
n79_a_lob_j01_39->n79_a_lob_j01_44
n79_a_lob_j01_47
PP-NIM
n79_a_lob_j01_39->n79_a_lob_j01_47
n79_a_lob_j01_40->n79_a_lob_j01_41
n79_a_lob_j01_42->n79_a_lob_j01_43
n79_a_lob_j01_45
ADV
n79_a_lob_j01_44->n79_a_lob_j01_45
n79_a_lob_j01_45->n79_a_lob_j01_46
n79_a_lob_j01_48
P-ROLE
n79_a_lob_j01_47->n79_a_lob_j01_48
n79_a_lob_j01_50
NP
n79_a_lob_j01_47->n79_a_lob_j01_50
n79_a_lob_j01_48->n79_a_lob_j01_49
n79_a_lob_j01_51
ADJP
n79_a_lob_j01_50->n79_a_lob_j01_51
n79_a_lob_j01_54
N
n79_a_lob_j01_50->n79_a_lob_j01_54
n79_a_lob_j01_56
IP-INF-REL
n79_a_lob_j01_50->n79_a_lob_j01_56
n79_a_lob_j01_52
ADJ
n79_a_lob_j01_51->n79_a_lob_j01_52
n79_a_lob_j01_52->n79_a_lob_j01_53
n79_a_lob_j01_54->n79_a_lob_j01_55
n79_a_lob_j01_57
NP-SBJ
n79_a_lob_j01_56->n79_a_lob_j01_57
n79_a_lob_j01_59
TO
n79_a_lob_j01_56->n79_a_lob_j01_59
n79_a_lob_j01_61
VB;_Tn_
n79_a_lob_j01_56->n79_a_lob_j01_61
n79_a_lob_j01_63
NP-OB1
n79_a_lob_j01_56->n79_a_lob_j01_63
n79_a_lob_j01_57->n79_a_lob_j01_58
n79_a_lob_j01_59->n79_a_lob_j01_60
n79_a_lob_j01_61->n79_a_lob_j01_62
n79_a_lob_j01_64
ADJP
n79_a_lob_j01_63->n79_a_lob_j01_64
n79_a_lob_j01_67
ADJP
n79_a_lob_j01_63->n79_a_lob_j01_67
n79_a_lob_j01_70
N
n79_a_lob_j01_63->n79_a_lob_j01_70
n79_a_lob_j01_65
ADJ
n79_a_lob_j01_64->n79_a_lob_j01_65
n79_a_lob_j01_65->n79_a_lob_j01_66
n79_a_lob_j01_68
ADJ
n79_a_lob_j01_67->n79_a_lob_j01_68
n79_a_lob_j01_68->n79_a_lob_j01_69
n79_a_lob_j01_70->n79_a_lob_j01_71
n79_a_lob_j01_72->n79_a_lob_j01_73
( (IP-MAT (PP-NIM (P-ROLE To;{to})
(NP (D a;{a})
(ADJP (ADJ measured;{measured}))
(N portion;{portion})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N sample;{sample})))))
(PUNC ,)
(NP-SBJ (ADJP (AJLYR (AJLYR (ADJ niobium;{niobium}))
(CONJP (CONJ and;{and})
(AJLYR (ADJ zirconium;{zirconium})))))
(NS carriers;{carrier}))
(BEP;_cat_VePASS_ are;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn.p_ added;{add[together]})
(ADVP-CLR (ADV together;{together}))
(PP-NIM (P-ROLE with;{with})
(NP (ADJP (ADJ hydrofluoric;{hydrofluoric}))
(N acid;{acid})
(IP-INF-REL (NP-SBJ *T*)
(TO to;{to})
(VB;_Tn_ ensure;{ensure})
(NP-OB1 (ADJP (ADJ complete;{complete}))
(ADJP (ADJ isotopic;{isotopic}))
(N interchange;{interchange}))))))
(PUNC .))
(ID 79_a_lob_j01))