TSPC 4_a_johnson

4_a_johnson_letter
In just a few short weeks, everyday life in this country has changed dramatically.

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (ADVP (ADV just;{just}))
                      (D a;{a})
                      (ADJP (ADJ few;{few}))
                      (ADJP (ADJ short;{short}))
                      (NS weeks;{week})))
          (PUNC ,)
          (NP-SBJ (ADJP (ADJ everyday;{everyday}))
                  (N life;{life})
                  (PP (P-ROLE in;{in})
                      (NP (D this;{this})
                          (N country;{country}))))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;_I_ changed;{change})
                      (ADVP-NIM (ADV dramatically;{dramatically})))
          (PUNC .))
  (ID 4_a_johnson_letter))

arc(r_0004_0003__a_r_0004_0006__weeks,r_0004_0002__just,qual).
arc(r_0004_0003__a_r_0004_0006__weeks,r_0004_0004__few,attrib).
arc(r_0004_0003__a_r_0004_0006__weeks,r_0004_0005__short,attrib).
arc(r_0004_0009__life,r_0004_0008__everyday,attrib).
arc(r_0004_0009__life,r_0004_0011__this_r_0004_0012__country,r_0004_0010__in).
arc(r_0004_0013__has,r_0004_0003__a_r_0004_0006__weeks,r_0004_0001__In__nim).
arc(r_0004_0013__has,r_0004_0014__changed,scope).
arc(r_0004_0014__changed,r_0004_0009__life,arg0).
arc(r_0004_0014__changed,r_0004_0015__dramatically,nim).

fof(formula,axiom,
    ? [R_0004_0002__JUST,R_0004_0004__FEW,R_0004_0005__SHORT,R_0004_0003__A_R_0004_0006__WEEKS,R_0004_0008__EVERYDAY,R_0004_0011__THIS_R_0004_0012__COUNTRY,R_0004_0009__LIFE,R_0004_0015__DRAMATICALLY,R_0004_0013__HAS_R_0004_0014__CHANGED] :
      ( r_0004_0002__just(R_0004_0002__JUST)
      & r_0004_0004__few(R_0004_0004__FEW)
      & r_0004_0005__short(R_0004_0005__SHORT)
      & r_0004_0008__everyday(R_0004_0008__EVERYDAY)
      & r_0004_0011__this_r_0004_0012__country(R_0004_0011__THIS_R_0004_0012__COUNTRY)
      & r_0004_0015__dramatically(R_0004_0015__DRAMATICALLY)
      & r_0004_0013__has_r_0004_0014__changed(R_0004_0013__HAS_R_0004_0014__CHANGED)
      & has_nim(R_0004_0013__HAS_R_0004_0014__CHANGED,R_0004_0015__DRAMATICALLY)
      & has_arg0(R_0004_0013__HAS_R_0004_0014__CHANGED,R_0004_0009__LIFE)
      & r_0004_0009__life(R_0004_0009__LIFE)
      & has_r_0004_0010__in(R_0004_0009__LIFE,R_0004_0011__THIS_R_0004_0012__COUNTRY)
      & has_attrib(R_0004_0009__LIFE,R_0004_0008__EVERYDAY)
      & has_r_0004_0001__In__nim(R_0004_0013__HAS_R_0004_0014__CHANGED,R_0004_0003__A_R_0004_0006__WEEKS)
      & r_0004_0003__a_r_0004_0006__weeks(R_0004_0003__A_R_0004_0006__WEEKS)
      & has_attrib(R_0004_0003__A_R_0004_0006__WEEKS,R_0004_0005__SHORT)
      & has_attrib(R_0004_0003__A_R_0004_0006__WEEKS,R_0004_0004__FEW)
      & has_qual(R_0004_0003__A_R_0004_0006__WEEKS,R_0004_0002__JUST) ) ).