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_5_10_BUT,R_5_2_ARE_SURROUNDED,R_5_8_BEAUTY,R_5_7_PHYSICAL,R_5_3_NOT_ONLY,R_5_12_ARE,R_5_1_WE,R_5_14_FORTUNATE,R_5_13_MOST,R_5_16_TERMS,R_5_19_RESOURCES,R_5_18_HUMAN] :
( physical(R_5_7_PHYSICAL)
& not_only(R_5_3_NOT_ONLY)
& we(R_5_1_WE)
& most(R_5_13_MOST)
& human(R_5_18_HUMAN)
& but(R_5_10_BUT)
& conj1(R_5_10_BUT,R_5_2_ARE_SURROUNDED)
& are_surrounded(R_5_2_ARE_SURROUNDED,R_5_8_BEAUTY,R_5_1_WE)
& beauty(R_5_8_BEAUTY)
& attrib21(R_5_8_BEAUTY,R_5_7_PHYSICAL)
& nim10(R_5_2_ARE_SURROUNDED,R_5_3_NOT_ONLY)
& conj2(R_5_10_BUT,R_5_12_ARE)
& are(R_5_12_ARE,R_5_1_WE,R_5_14_FORTUNATE)
& fortunate(R_5_14_FORTUNATE)
& qual38(R_5_14_FORTUNATE,R_5_13_MOST)
& in_nim46(R_5_12_ARE,R_5_16_TERMS)
& terms(R_5_16_TERMS)
& of(R_5_16_TERMS,R_5_19_RESOURCES)
& resources(R_5_19_RESOURCES)
& attrib53(R_5_19_RESOURCES,R_5_18_HUMAN) ) ).
( (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))