TSPC 5_a_hirodai

5_a_hirodai_mission
We are not only surrounded by physical beauty, but we are most fortunate in terms of human resources.

( (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))

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,nim).
arc(r_0005_0005__surrounded,r_0005_0008__beauty,r_0005_0006__by_arg0).
arc(r_0005_0008__beauty,r_0005_0007__physical,attrib).
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__nim).
arc(r_0005_0014__fortunate,r_0005_0013__most,qual).
arc(r_0005_0016__terms,r_0005_0019__resources,r_0005_0017__of).
arc(r_0005_0019__resources,r_0005_0018__human,attrib).

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__nim(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_attrib(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_qual(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_r_0005_0006__by_arg0(R_0005_0002__ARE_R_0005_0005__SURROUNDED,R_0005_0008__BEAUTY)
      & r_0005_0008__beauty(R_0005_0008__BEAUTY)
      & has_attrib(R_0005_0008__BEAUTY,R_0005_0007__PHYSICAL)
      & has_nim(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) ) ).