TSPC 47_a_lob

47_a_lob_g01
But this time there was a very interesting attempt to apply a sliding scale to the payments demanded.

( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-NIM (D this;{this})
                  (N time;{time}))
          (EX there;{there})
          (BED;_ex_cat_Vt_ was;{be})
          (NP-ESBJ (D a;{a})
                   (ADJP (ADVP (ADV very;{very}))
                         (ADJ interesting;{interesting}))
                   (N attempt;{attempt}))
          (IP-INF-CAT (TO to;{to})
                      (VB;__ apply;{apply})
                      (NP-OB1 (D a;{a})
                              (IP-PPL (VAG;__ sliding;{slide}))
                              (N scale;{scale})
                              (PP (P-ROLE to;{to})
                                  (NP (D the;{the})
                                      (NS payments;{payment})
                                      (IP-PPL (VVN;__ demanded;{demand}))))))
          (PUNC .))
  (ID 47_a_lob_g01))

arc(r_0047_0005__was,r_0047_0002__this_r_0047_0003__time,nim).
arc(r_0047_0005__was,r_0047_0011__apply,scope).
arc(r_0047_0006__a_r_0047_0009__attempt,r_0047_0008__interesting,attrib).
arc(r_0047_0008__interesting,r_0047_0007__very,qual).
arc(r_0047_0011__apply,r_0047_0006__a_r_0047_0009__attempt,arg0).
arc(r_0047_0011__apply,r_0047_0012__a_r_0047_0014__scale,arg1).
arc(r_0047_0012__a_r_0047_0014__scale,r_0047_0016__the_r_0047_0017__payments,r_0047_0015__to).
arc(r_0047_0013__sliding,r_0047_0012__a_r_0047_0014__scale,inv_arg0).
arc(r_0047_0018__demanded,r_0047_0016__the_r_0047_0017__payments,inv_arg0).

fof(formula,axiom,
    ? [R_0047_0002__THIS_R_0047_0003__TIME,R_0047_0007__VERY,R_0047_0008__INTERESTING,R_0047_0006__A_R_0047_0009__ATTEMPT,R_0047_0018__DEMANDED,R_0047_0016__THE_R_0047_0017__PAYMENTS,R_0047_0013__SLIDING,R_0047_0012__A_R_0047_0014__SCALE,R_0047_0005__WAS_R_0047_0011__APPLY] :
      ( r_0047_0002__this_r_0047_0003__time(R_0047_0002__THIS_R_0047_0003__TIME)
      & r_0047_0007__very(R_0047_0007__VERY)
      & r_0047_0013__sliding(R_0047_0013__SLIDING)
      & r_0047_0018__demanded(R_0047_0018__DEMANDED)
      & r_0047_0005__was_r_0047_0011__apply(R_0047_0005__WAS_R_0047_0011__APPLY)
      & has_arg1(R_0047_0005__WAS_R_0047_0011__APPLY,R_0047_0012__A_R_0047_0014__SCALE)
      & r_0047_0012__a_r_0047_0014__scale(R_0047_0012__A_R_0047_0014__SCALE)
      & has_inv_arg0(R_0047_0012__A_R_0047_0014__SCALE,R_0047_0013__SLIDING)
      & has_r_0047_0015__to(R_0047_0012__A_R_0047_0014__SCALE,R_0047_0016__THE_R_0047_0017__PAYMENTS)
      & r_0047_0016__the_r_0047_0017__payments(R_0047_0016__THE_R_0047_0017__PAYMENTS)
      & has_inv_arg0(R_0047_0016__THE_R_0047_0017__PAYMENTS,R_0047_0018__DEMANDED)
      & has_arg0(R_0047_0005__WAS_R_0047_0011__APPLY,R_0047_0006__A_R_0047_0009__ATTEMPT)
      & r_0047_0006__a_r_0047_0009__attempt(R_0047_0006__A_R_0047_0009__ATTEMPT)
      & has_attrib(R_0047_0006__A_R_0047_0009__ATTEMPT,R_0047_0008__INTERESTING)
      & r_0047_0008__interesting(R_0047_0008__INTERESTING)
      & has_qual(R_0047_0008__INTERESTING,R_0047_0007__VERY)
      & has_nim(R_0047_0005__WAS_R_0047_0011__APPLY,R_0047_0002__THIS_R_0047_0003__TIME) ) ).