7_a_factbook_1_2010
%3
r_0007_0001__Consultation
Consultation
r_0007_0003__a_r_0007_0004__travel_r_0007_0005__medicine_r_0007_0006__physician
a travel medicine physician
r_0007_0001__Consultation->r_0007_0003__a_r_0007_0004__travel_r_0007_0005__medicine_r_0007_0006__physician
with
r_0007_0007__is
is
r_0007_0008__needed
needed
r_0007_0007__is->r_0007_0008__needed
[scope]
r_0007_0008__needed->r_0007_0001__Consultation
[arg1]
z_000_7_a_factbook_1_2010_20
r_0007_0008__needed->z_000_7_a_factbook_1_2010_20
[arg0]
r_0007_0010__evaluate
evaluate
r_0007_0010__evaluate->r_0007_0001__Consultation
[arg0]
r_0007_0012__risk
risk
r_0007_0010__evaluate->r_0007_0012__risk
[arg1]
r_0007_0011__individual
individual
r_0007_0012__risk->r_0007_0011__individual
[attrib]
r_0007_0013__and
and
r_0007_0013__and->r_0007_0010__evaluate
[conj1]
r_0007_0014__recommend
recommend
r_0007_0013__and->r_0007_0014__recommend
[conj2]
r_0007_0014__recommend->r_0007_0001__Consultation
[arg0]
r_0007_0017__measures
measures
r_0007_0014__recommend->r_0007_0017__measures
[arg1]
r_0007_0015__appropriate
appropriate
r_0007_0017__measures->r_0007_0015__appropriate
[attrib]
r_0007_0016__preventive
preventive
r_0007_0017__measures->r_0007_0016__preventive
[attrib]
r_0007_0019__vaccines
vaccines
r_0007_0017__measures->r_0007_0019__vaccines
such as
z_000_7_a_factbook_1_2010_24
z_000_7_a_factbook_1_2010_24->r_0007_0007__is
[scope]
z_000_7_a_factbook_1_2010_24->r_0007_0013__and
[restriction]
arc(r_0007_0001__Consultation, r_0007_0003__a_r_0007_0004__travel_r_0007_0005__medicine_r_0007_0006__physician, r_0007_0002__with).
arc(r_0007_0007__is, r_0007_0008__needed, scope).
arc(r_0007_0008__needed, r_0007_0001__Consultation, arg1).
arc(r_0007_0008__needed, z_000_7_a_factbook_1_2010_20, arg0).
arc(r_0007_0010__evaluate, r_0007_0001__Consultation, arg0).
arc(r_0007_0010__evaluate, r_0007_0012__risk, arg1).
arc(r_0007_0012__risk, r_0007_0011__individual, attrib33).
arc(r_0007_0013__and, r_0007_0010__evaluate, conj1).
arc(r_0007_0013__and, r_0007_0014__recommend, conj2).
arc(r_0007_0014__recommend, r_0007_0001__Consultation, arg0).
arc(r_0007_0014__recommend, r_0007_0017__measures, arg1).
arc(r_0007_0017__measures, r_0007_0015__appropriate, attrib45).
arc(r_0007_0017__measures, r_0007_0016__preventive, attrib48).
arc(r_0007_0017__measures, r_0007_0019__vaccines, r_0007_0018__such_as).
arc(z_000_7_a_factbook_1_2010_24, r_0007_0007__is, scope).
arc(z_000_7_a_factbook_1_2010_24, r_0007_0013__and, restriction).
%3
z_000_7_a_factbook_1_2010_24
r_0007_0013__and
and
z_000_7_a_factbook_1_2010_24->r_0007_0013__and
[conj1]
r_0007_0007__is_r_0007_0008__needed
is needed
z_000_7_a_factbook_1_2010_24->r_0007_0007__is_r_0007_0008__needed
[conj2]
r_0007_0014__recommend
recommend
r_0007_0013__and->r_0007_0014__recommend
[conj2]
r_0007_0010__evaluate
evaluate
r_0007_0013__and->r_0007_0010__evaluate
[conj1]
r_0007_0001__Consultation
Consultation
r_0007_0007__is_r_0007_0008__needed->r_0007_0001__Consultation
[arg1]
z_000_7_a_factbook_1_2010_20
r_0007_0007__is_r_0007_0008__needed->z_000_7_a_factbook_1_2010_20
[arg0]
r_0007_0017__measures
measures
r_0007_0019__vaccines
vaccines
r_0007_0017__measures->r_0007_0019__vaccines
such as
r_0007_0016__preventive
preventive
r_0007_0017__measures->r_0007_0016__preventive
[attrib]
r_0007_0015__appropriate
appropriate
r_0007_0017__measures->r_0007_0015__appropriate
[attrib]
r_0007_0014__recommend->r_0007_0017__measures
[arg1]
r_0007_0014__recommend->r_0007_0001__Consultation
[arg0]
r_0007_0003__a_r_0007_0004__travel_r_0007_0005__medicine_r_0007_0006__physician
a travel medicine physician
r_0007_0001__Consultation->r_0007_0003__a_r_0007_0004__travel_r_0007_0005__medicine_r_0007_0006__physician
with
r_0007_0010__evaluate->r_0007_0001__Consultation
[arg0]
r_0007_0012__risk
risk
r_0007_0010__evaluate->r_0007_0012__risk
[arg1]
r_0007_0011__individual
individual
r_0007_0012__risk->r_0007_0011__individual
[attrib]
fof(formula,axiom,
? [Z_7_A_FACTBOOK_1_2010_24,R_7_13_AND,R_7_10_EVALUATE,R_7_12_RISK,R_7_11_INDIVIDUAL,R_7_14_RECOMMEND,R_7_17_MEASURES,R_7_15_APPROPRIATE,R_7_16_PREVENTIVE,R_7_19_VACCINES,R_7_7_IS_NEEDED,Z_7_A_FACTBOOK_1_2010_20,R_7_1_CONSULTATION,R_7_3_A_TRAVEL_MEDICINE_PHYSICIAN] :
( individual(R_7_11_INDIVIDUAL)
& appropriate(R_7_15_APPROPRIATE)
& preventive(R_7_16_PREVENTIVE)
& vaccines(R_7_19_VACCINES)
& a_travel_medicine_physician(R_7_3_A_TRAVEL_MEDICINE_PHYSICIAN)
& z_7_a_factbook_1_2010_24(Z_7_A_FACTBOOK_1_2010_24)
& conj1(Z_7_A_FACTBOOK_1_2010_24,R_7_13_AND)
& and(R_7_13_AND)
& conj1(R_7_13_AND,R_7_10_EVALUATE)
& evaluate(R_7_10_EVALUATE,R_7_1_CONSULTATION,R_7_12_RISK)
& consultation(R_7_1_CONSULTATION)
& with(R_7_1_CONSULTATION,R_7_3_A_TRAVEL_MEDICINE_PHYSICIAN)
& risk(R_7_12_RISK)
& attrib33(R_7_12_RISK,R_7_11_INDIVIDUAL)
& conj2(R_7_13_AND,R_7_14_RECOMMEND)
& recommend(R_7_14_RECOMMEND,R_7_1_CONSULTATION,R_7_17_MEASURES)
& measures(R_7_17_MEASURES)
& attrib45(R_7_17_MEASURES,R_7_15_APPROPRIATE)
& attrib48(R_7_17_MEASURES,R_7_16_PREVENTIVE)
& such_as(R_7_17_MEASURES,R_7_19_VACCINES)
& conj2(Z_7_A_FACTBOOK_1_2010_24,R_7_7_IS_NEEDED)
& is_needed(R_7_7_IS_NEEDED,Z_7_A_FACTBOOK_1_2010_20,R_7_1_CONSULTATION) ) ).
n7_a_factbook_1_2010
n7_a_factbook_1_2010__1_1_1_1
Consultation
n7_a_factbook_1_2010__1_1_2_1_1
with
n7_a_factbook_1_2010__1_1_2_2_1_1
a
n7_a_factbook_1_2010__1_1_2_2_2_1
travel
n7_a_factbook_1_2010__1_1_2_2_3_1
medicine
n7_a_factbook_1_2010__1_1_2_2_4_1
physician
n7_a_factbook_1_2010__1_2_1
is
n7_a_factbook_1_2010__1_3_1_1
*
n7_a_factbook_1_2010__1_3_2_1
needed
n7_a_factbook_1_2010__1_4_1_1_1
to
n7_a_factbook_1_2010__1_4_1_2_1_1_1
evaluate
n7_a_factbook_1_2010__1_4_1_2_1_2_1_1_1
individual
n7_a_factbook_1_2010__1_4_1_2_1_2_2_1
risk
n7_a_factbook_1_2010__1_4_1_2_2_1_1
and
n7_a_factbook_1_2010__1_4_1_2_2_2_1_1
recommend
n7_a_factbook_1_2010__1_4_1_2_2_2_2_1_1_1
appropriate
n7_a_factbook_1_2010__1_4_1_2_2_2_2_2_1_1
preventive
n7_a_factbook_1_2010__1_4_1_2_2_2_2_3_1
measures
n7_a_factbook_1_2010__1_4_1_2_2_2_2_4_1_1
such_as
n7_a_factbook_1_2010__1_4_1_2_2_2_2_4_2_1_1
vaccines
n7_a_factbook_1_2010__1_5_1
.
n7_a_factbook_1_2010__1
IP-MAT
n7_a_factbook_1_2010__1_1
NP-SBJ
n7_a_factbook_1_2010__1->n7_a_factbook_1_2010__1_1
n7_a_factbook_1_2010__1_2
BEP;_cat_VePASS_
n7_a_factbook_1_2010__1->n7_a_factbook_1_2010__1_2
n7_a_factbook_1_2010__1_3
IP-PPL-CAT
n7_a_factbook_1_2010__1->n7_a_factbook_1_2010__1_3
n7_a_factbook_1_2010__1_4
PP-SCON
n7_a_factbook_1_2010__1->n7_a_factbook_1_2010__1_4
n7_a_factbook_1_2010__1_5
PUNC
n7_a_factbook_1_2010__1->n7_a_factbook_1_2010__1_5
n7_a_factbook_1_2010__1_1_1
N
n7_a_factbook_1_2010__1_1->n7_a_factbook_1_2010__1_1_1
n7_a_factbook_1_2010__1_1_2
PP
n7_a_factbook_1_2010__1_1->n7_a_factbook_1_2010__1_1_2
n7_a_factbook_1_2010__1_1_1->n7_a_factbook_1_2010__1_1_1_1
n7_a_factbook_1_2010__1_1_2_1
P-ROLE
n7_a_factbook_1_2010__1_1_2->n7_a_factbook_1_2010__1_1_2_1
n7_a_factbook_1_2010__1_1_2_2
NP
n7_a_factbook_1_2010__1_1_2->n7_a_factbook_1_2010__1_1_2_2
n7_a_factbook_1_2010__1_1_2_1->n7_a_factbook_1_2010__1_1_2_1_1
n7_a_factbook_1_2010__1_1_2_2_1
D
n7_a_factbook_1_2010__1_1_2_2->n7_a_factbook_1_2010__1_1_2_2_1
n7_a_factbook_1_2010__1_1_2_2_2
N
n7_a_factbook_1_2010__1_1_2_2->n7_a_factbook_1_2010__1_1_2_2_2
n7_a_factbook_1_2010__1_1_2_2_3
N
n7_a_factbook_1_2010__1_1_2_2->n7_a_factbook_1_2010__1_1_2_2_3
n7_a_factbook_1_2010__1_1_2_2_4
N
n7_a_factbook_1_2010__1_1_2_2->n7_a_factbook_1_2010__1_1_2_2_4
n7_a_factbook_1_2010__1_1_2_2_1->n7_a_factbook_1_2010__1_1_2_2_1_1
n7_a_factbook_1_2010__1_1_2_2_2->n7_a_factbook_1_2010__1_1_2_2_2_1
n7_a_factbook_1_2010__1_1_2_2_3->n7_a_factbook_1_2010__1_1_2_2_3_1
n7_a_factbook_1_2010__1_1_2_2_4->n7_a_factbook_1_2010__1_1_2_2_4_1
n7_a_factbook_1_2010__1_2->n7_a_factbook_1_2010__1_2_1
n7_a_factbook_1_2010__1_3_1
NP-LGS
n7_a_factbook_1_2010__1_3->n7_a_factbook_1_2010__1_3_1
n7_a_factbook_1_2010__1_3_2
VVN;_Tn_
n7_a_factbook_1_2010__1_3->n7_a_factbook_1_2010__1_3_2
n7_a_factbook_1_2010__1_3_1->n7_a_factbook_1_2010__1_3_1_1
n7_a_factbook_1_2010__1_3_2->n7_a_factbook_1_2010__1_3_2_1
n7_a_factbook_1_2010__1_4_1
IP-INF
n7_a_factbook_1_2010__1_4->n7_a_factbook_1_2010__1_4_1
n7_a_factbook_1_2010__1_4_1_1
TO
n7_a_factbook_1_2010__1_4_1->n7_a_factbook_1_2010__1_4_1_1
n7_a_factbook_1_2010__1_4_1_2
ILYR
n7_a_factbook_1_2010__1_4_1->n7_a_factbook_1_2010__1_4_1_2
n7_a_factbook_1_2010__1_4_1_1->n7_a_factbook_1_2010__1_4_1_1_1
n7_a_factbook_1_2010__1_4_1_2_1
ILYR
n7_a_factbook_1_2010__1_4_1_2->n7_a_factbook_1_2010__1_4_1_2_1
n7_a_factbook_1_2010__1_4_1_2_2
CONJP
n7_a_factbook_1_2010__1_4_1_2->n7_a_factbook_1_2010__1_4_1_2_2
n7_a_factbook_1_2010__1_4_1_2_1_1
VB;_Tn_
n7_a_factbook_1_2010__1_4_1_2_1->n7_a_factbook_1_2010__1_4_1_2_1_1
n7_a_factbook_1_2010__1_4_1_2_1_2
NP-OB1
n7_a_factbook_1_2010__1_4_1_2_1->n7_a_factbook_1_2010__1_4_1_2_1_2
n7_a_factbook_1_2010__1_4_1_2_1_1->n7_a_factbook_1_2010__1_4_1_2_1_1_1
n7_a_factbook_1_2010__1_4_1_2_1_2_1
ADJP
n7_a_factbook_1_2010__1_4_1_2_1_2->n7_a_factbook_1_2010__1_4_1_2_1_2_1
n7_a_factbook_1_2010__1_4_1_2_1_2_2
N
n7_a_factbook_1_2010__1_4_1_2_1_2->n7_a_factbook_1_2010__1_4_1_2_1_2_2
n7_a_factbook_1_2010__1_4_1_2_1_2_1_1
ADJ
n7_a_factbook_1_2010__1_4_1_2_1_2_1->n7_a_factbook_1_2010__1_4_1_2_1_2_1_1
n7_a_factbook_1_2010__1_4_1_2_1_2_1_1->n7_a_factbook_1_2010__1_4_1_2_1_2_1_1_1
n7_a_factbook_1_2010__1_4_1_2_1_2_2->n7_a_factbook_1_2010__1_4_1_2_1_2_2_1
n7_a_factbook_1_2010__1_4_1_2_2_1
CONJ
n7_a_factbook_1_2010__1_4_1_2_2->n7_a_factbook_1_2010__1_4_1_2_2_1
n7_a_factbook_1_2010__1_4_1_2_2_2
ILYR
n7_a_factbook_1_2010__1_4_1_2_2->n7_a_factbook_1_2010__1_4_1_2_2_2
n7_a_factbook_1_2010__1_4_1_2_2_1->n7_a_factbook_1_2010__1_4_1_2_2_1_1
n7_a_factbook_1_2010__1_4_1_2_2_2_1
VB;_Tn_
n7_a_factbook_1_2010__1_4_1_2_2_2->n7_a_factbook_1_2010__1_4_1_2_2_2_1
n7_a_factbook_1_2010__1_4_1_2_2_2_2
NP-OB1
n7_a_factbook_1_2010__1_4_1_2_2_2->n7_a_factbook_1_2010__1_4_1_2_2_2_2
n7_a_factbook_1_2010__1_4_1_2_2_2_1->n7_a_factbook_1_2010__1_4_1_2_2_2_1_1
n7_a_factbook_1_2010__1_4_1_2_2_2_2_1
ADJP
n7_a_factbook_1_2010__1_4_1_2_2_2_2->n7_a_factbook_1_2010__1_4_1_2_2_2_2_1
n7_a_factbook_1_2010__1_4_1_2_2_2_2_2
ADJP
n7_a_factbook_1_2010__1_4_1_2_2_2_2->n7_a_factbook_1_2010__1_4_1_2_2_2_2_2
n7_a_factbook_1_2010__1_4_1_2_2_2_2_3
NS
n7_a_factbook_1_2010__1_4_1_2_2_2_2->n7_a_factbook_1_2010__1_4_1_2_2_2_2_3
n7_a_factbook_1_2010__1_4_1_2_2_2_2_4
PP
n7_a_factbook_1_2010__1_4_1_2_2_2_2->n7_a_factbook_1_2010__1_4_1_2_2_2_2_4
n7_a_factbook_1_2010__1_4_1_2_2_2_2_1_1
ADJ
n7_a_factbook_1_2010__1_4_1_2_2_2_2_1->n7_a_factbook_1_2010__1_4_1_2_2_2_2_1_1
n7_a_factbook_1_2010__1_4_1_2_2_2_2_1_1->n7_a_factbook_1_2010__1_4_1_2_2_2_2_1_1_1
n7_a_factbook_1_2010__1_4_1_2_2_2_2_2_1
ADJ
n7_a_factbook_1_2010__1_4_1_2_2_2_2_2->n7_a_factbook_1_2010__1_4_1_2_2_2_2_2_1
n7_a_factbook_1_2010__1_4_1_2_2_2_2_2_1->n7_a_factbook_1_2010__1_4_1_2_2_2_2_2_1_1
n7_a_factbook_1_2010__1_4_1_2_2_2_2_3->n7_a_factbook_1_2010__1_4_1_2_2_2_2_3_1
n7_a_factbook_1_2010__1_4_1_2_2_2_2_4_1
P-ROLE
n7_a_factbook_1_2010__1_4_1_2_2_2_2_4->n7_a_factbook_1_2010__1_4_1_2_2_2_2_4_1
n7_a_factbook_1_2010__1_4_1_2_2_2_2_4_2
NP
n7_a_factbook_1_2010__1_4_1_2_2_2_2_4->n7_a_factbook_1_2010__1_4_1_2_2_2_2_4_2
n7_a_factbook_1_2010__1_4_1_2_2_2_2_4_1->n7_a_factbook_1_2010__1_4_1_2_2_2_2_4_1_1
n7_a_factbook_1_2010__1_4_1_2_2_2_2_4_2_1
NS
n7_a_factbook_1_2010__1_4_1_2_2_2_2_4_2->n7_a_factbook_1_2010__1_4_1_2_2_2_2_4_2_1
n7_a_factbook_1_2010__1_4_1_2_2_2_2_4_2_1->n7_a_factbook_1_2010__1_4_1_2_2_2_2_4_2_1_1
n7_a_factbook_1_2010__1_5->n7_a_factbook_1_2010__1_5_1
( (IP-MAT (NP-SBJ (N Consultation;{consultation})
(PP (P-ROLE with;{with})
(NP (D a;{a})
(N travel;{travel})
(N medicine;{medicine})
(N physician;{physician}))))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ needed;{need}))
(PP-SCON (IP-INF (TO to;{to})
(ILYR (ILYR (VB;_Tn_ evaluate;{evaluate})
(NP-OB1 (ADJP (ADJ individual;{individual}))
(N risk;{risk})))
(CONJP (CONJ and;{and})
(ILYR (VB;_Tn_ recommend;{recommend})
(NP-OB1 (ADJP (ADJ appropriate;{appropriate}))
(ADJP (ADJ preventive;{preventive}))
(NS measures;{measure})
(PP (P-ROLE such_as;{such_as})
(NP (NS vaccines;{vaccine})))))))))
(PUNC .))
(ID 7_a_factbook_1_2010))