5_a_hirodai_mission
We are not only surrounded by physical beauty, but we are most fortunate in terms of human resources.
arc(r_0005_0002__are, r_0005_0005__surrounded, scope).
arc(r_0005_0005__surrounded, r_0005_0001__We, arg1).
arc(r_0005_0005__surrounded, r_0005_0003__not_r_0005_0004__only, nim10).
arc(r_0005_0005__surrounded, r_0005_0008__beauty, arg0).
arc(r_0005_0008__beauty, r_0005_0007__physical, attrib21).
arc(r_0005_0010__but, r_0005_0002__are, conj1).
arc(r_0005_0010__but, r_0005_0012__are, conj2).
arc(r_0005_0012__are, r_0005_0001__We, arg0).
arc(r_0005_0012__are, r_0005_0014__fortunate, prd).
arc(r_0005_0012__are, r_0005_0016__terms, r_0005_0015__in_nim46).
arc(r_0005_0014__fortunate, r_0005_0013__most, qual38).
arc(r_0005_0016__terms, r_0005_0019__resources, r_0005_0017__of).
arc(r_0005_0019__resources, r_0005_0018__human, attrib53).
fof(formula,axiom,
? [R_0005_0001__WE,R_0005_0003__NOT_R_0005_0004__ONLY,R_0005_0007__PHYSICAL,R_0005_0008__BEAUTY,R_0005_0002__ARE_R_0005_0005__SURROUNDED,R_0005_0013__MOST,R_0005_0014__FORTUNATE,R_0005_0018__HUMAN,R_0005_0019__RESOURCES,R_0005_0016__TERMS,R_0005_0012__ARE,R_0005_0010__BUT] :
( r_0005_0001__We(R_0005_0001__WE)
& r_0005_0003__not_r_0005_0004__only(R_0005_0003__NOT_R_0005_0004__ONLY)
& r_0005_0007__physical(R_0005_0007__PHYSICAL)
& r_0005_0013__most(R_0005_0013__MOST)
& r_0005_0018__human(R_0005_0018__HUMAN)
& r_0005_0010__but(R_0005_0010__BUT)
& has_conj2(R_0005_0010__BUT,R_0005_0012__ARE)
& r_0005_0012__are(R_0005_0012__ARE)
& has_r_0005_0015__in_nim46(R_0005_0012__ARE,R_0005_0016__TERMS)
& r_0005_0016__terms(R_0005_0016__TERMS)
& has_r_0005_0017__of(R_0005_0016__TERMS,R_0005_0019__RESOURCES)
& r_0005_0019__resources(R_0005_0019__RESOURCES)
& has_attrib53(R_0005_0019__RESOURCES,R_0005_0018__HUMAN)
& has_prd(R_0005_0012__ARE,R_0005_0014__FORTUNATE)
& r_0005_0014__fortunate(R_0005_0014__FORTUNATE)
& has_qual38(R_0005_0014__FORTUNATE,R_0005_0013__MOST)
& has_arg0(R_0005_0012__ARE,R_0005_0001__WE)
& has_conj1(R_0005_0010__BUT,R_0005_0002__ARE_R_0005_0005__SURROUNDED)
& r_0005_0002__are_r_0005_0005__surrounded(R_0005_0002__ARE_R_0005_0005__SURROUNDED)
& has_arg0(R_0005_0002__ARE_R_0005_0005__SURROUNDED,R_0005_0008__BEAUTY)
& r_0005_0008__beauty(R_0005_0008__BEAUTY)
& has_attrib21(R_0005_0008__BEAUTY,R_0005_0007__PHYSICAL)
& has_nim10(R_0005_0002__ARE_R_0005_0005__SURROUNDED,R_0005_0003__NOT_R_0005_0004__ONLY)
& has_arg1(R_0005_0002__ARE_R_0005_0005__SURROUNDED,R_0005_0001__WE) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO We;{we}))
(BEP;_cat_VePASS_ are;{be})
(IP-PPL-CAT (ADVP-NIM (NEG not;{not})
(ADV only;{only}))
(VVN;_Tn_ surrounded;{surround})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (ADJP (ADJ physical;{physical}))
(N beauty;{beauty})))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (NP-SBJ (PRO we;{we}))
(BEP;_La_ are;{be})
(ADJP-PRD (ADVP (ADVS most;{most}))
(ADJ fortunate;{fortunate}))
(PP-NIM (P-ROLE in;{in})
(NP (NS terms;{term})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ human;{human}))
(NS resources;{resource}))))))))
(PUNC .))
(ID 5_a_hirodai_mission))