TSPC 104_a_lob

104_a_lob_a01
We have descended from the real problems to fiddling about with bills of cost.

( (IP-MAT (NP-SBJ (PRO We;{we}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (VVN;__ descended;{descend})
                      (PP-NIM (P-ROLE from;{from})
                              (NP (D the;{the})
                                  (ADJP (ADJ real;{real}))
                                  (NS problems;{problem})))
                      (PP-NIM (P-ROLE to;{to})
                              (IP-PPL (VAG;__ fiddling;{fiddle})
                                      (RP about;{about})
                                      (PP-CLR (P-ROLE with;{with})
                                              (NP (NS bills;{bill})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (N cost;{cost}))))))))
          (PUNC .))
  (ID 104_a_lob_a01))

arc(r_0104_0002__have,r_0104_0003__descended,scope).
arc(r_0104_0003__descended,r_0104_0001__We,arg0).
arc(r_0104_0003__descended,r_0104_0005__the_r_0104_0007__problems,r_0104_0004__from__nim).
arc(r_0104_0003__descended,r_0104_0009__fiddling_r_0104_0010__about,r_0104_0008__to__nim).
arc(r_0104_0005__the_r_0104_0007__problems,r_0104_0006__real,attrib).
arc(r_0104_0009__fiddling_r_0104_0010__about,r_0104_0001__We,arg0).
arc(r_0104_0009__fiddling_r_0104_0010__about,r_0104_0012__bills,r_0104_0011__with__clr).
arc(r_0104_0012__bills,r_0104_0014__cost,r_0104_0013__of).

fof(formula,axiom,
    ? [R_0104_0001__WE,R_0104_0006__REAL,R_0104_0005__THE_R_0104_0007__PROBLEMS,R_0104_0014__COST,R_0104_0012__BILLS,R_0104_0009__FIDDLING_R_0104_0010__ABOUT,R_0104_0002__HAVE_R_0104_0003__DESCENDED] :
      ( r_0104_0001__We(R_0104_0001__WE)
      & r_0104_0006__real(R_0104_0006__REAL)
      & r_0104_0014__cost(R_0104_0014__COST)
      & r_0104_0002__have_r_0104_0003__descended(R_0104_0002__HAVE_R_0104_0003__DESCENDED)
      & has_r_0104_0008__to__nim(R_0104_0002__HAVE_R_0104_0003__DESCENDED,R_0104_0009__FIDDLING_R_0104_0010__ABOUT)
      & r_0104_0009__fiddling_r_0104_0010__about(R_0104_0009__FIDDLING_R_0104_0010__ABOUT)
      & has_r_0104_0011__with__clr(R_0104_0009__FIDDLING_R_0104_0010__ABOUT,R_0104_0012__BILLS)
      & r_0104_0012__bills(R_0104_0012__BILLS)
      & has_r_0104_0013__of(R_0104_0012__BILLS,R_0104_0014__COST)
      & has_arg0(R_0104_0009__FIDDLING_R_0104_0010__ABOUT,R_0104_0001__WE)
      & has_r_0104_0004__from__nim(R_0104_0002__HAVE_R_0104_0003__DESCENDED,R_0104_0005__THE_R_0104_0007__PROBLEMS)
      & r_0104_0005__the_r_0104_0007__problems(R_0104_0005__THE_R_0104_0007__PROBLEMS)
      & has_attrib(R_0104_0005__THE_R_0104_0007__PROBLEMS,R_0104_0006__REAL)
      & has_arg0(R_0104_0002__HAVE_R_0104_0003__DESCENDED,R_0104_0001__WE) ) ).