TSPC 66_a_lob

66_a_lob_a01
United States officials quickly point out that this is money due to America anyway.

( (IP-MAT (NP-SBJ;{OFFICIALS} (NPR United;{United})
                              (NPR States;{States})
                              (NS officials;{official}))
          (ADVP-NIM (ADV quickly;{quickly}))
          (VBP;_phr_Vp.f_ point;{point[out]})
          (RP out;{out})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (D;_nphd_ this;{this}))
                              (BEP;_Ln_ is;{be})
                              (NP-PRD (N money;{money})
                                      (ADJP (ADJ due;{due})
                                            (PP (P-ROLE to;{to})
                                                (NP (NPR America;{America})))))
                              (ADVP-NIM (ADV anyway;{anyway}))))
          (PUNC .))
  (ID 66_a_lob_a01))

arc(r_0066_0005__point_r_0066_0006__out,r_0066_0001__United_r_0066_0002__States_r_0066_0003__officials,arg0).
arc(r_0066_0005__point_r_0066_0006__out,r_0066_0004__quickly,nim).
arc(r_0066_0005__point_r_0066_0006__out,r_0066_0009__is,arg1).
arc(r_0066_0009__is,r_0066_0008__this,arg0).
arc(r_0066_0009__is,r_0066_0010__money,prd).
arc(r_0066_0009__is,r_0066_0014__anyway,nim).
arc(r_0066_0010__money,r_0066_0011__due,attrib).
arc(r_0066_0011__due,r_0066_0013__America,r_0066_0012__to).

fof(formula,axiom,
    ? [R_0066_0001__UNITED_R_0066_0002__STATES_R_0066_0003__OFFICIALS,R_0066_0004__QUICKLY,R_0066_0008__THIS,R_0066_0013__AMERICA,R_0066_0011__DUE,R_0066_0010__MONEY,R_0066_0014__ANYWAY,R_0066_0009__IS,R_0066_0005__POINT_R_0066_0006__OUT] :
      ( r_0066_0001__United_r_0066_0002__States_r_0066_0003__officials(R_0066_0001__UNITED_R_0066_0002__STATES_R_0066_0003__OFFICIALS)
      & r_0066_0004__quickly(R_0066_0004__QUICKLY)
      & r_0066_0008__this(R_0066_0008__THIS)
      & r_0066_0013__America(R_0066_0013__AMERICA)
      & r_0066_0014__anyway(R_0066_0014__ANYWAY)
      & r_0066_0005__point_r_0066_0006__out(R_0066_0005__POINT_R_0066_0006__OUT)
      & has_arg1(R_0066_0005__POINT_R_0066_0006__OUT,R_0066_0009__IS)
      & r_0066_0009__is(R_0066_0009__IS)
      & has_nim(R_0066_0009__IS,R_0066_0014__ANYWAY)
      & has_prd(R_0066_0009__IS,R_0066_0010__MONEY)
      & r_0066_0010__money(R_0066_0010__MONEY)
      & has_attrib(R_0066_0010__MONEY,R_0066_0011__DUE)
      & r_0066_0011__due(R_0066_0011__DUE)
      & has_r_0066_0012__to(R_0066_0011__DUE,R_0066_0013__AMERICA)
      & has_arg0(R_0066_0009__IS,R_0066_0008__THIS)
      & has_nim(R_0066_0005__POINT_R_0066_0006__OUT,R_0066_0004__QUICKLY)
      & has_arg0(R_0066_0005__POINT_R_0066_0006__OUT,R_0066_0001__UNITED_R_0066_0002__STATES_R_0066_0003__OFFICIALS) ) ).