TSPC 121_a_lob

121_a_lob_a01
Now in conditions of tory affluence it seemed it could not be carried on.

( (IP-MAT (ADVP-NIM (ADV Now;{now}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (NS conditions;{condition})
                      (PP (P-ROLE of;{of})
                          (NP (ADJP (ADJ tory;{tory}))
                              (N affluence;{affluence})))))
          (NP-SBJ (PRO;_provisional_ it;{it}))
          (VBD;__ seemed;{seem})
          (CP-THT-NSBJ (IP-SUB (NP-SBJ (PRO it;{it}))
                               (MD;_cat_Vi_ could;{can})
                               (NEG not;{not})
                               (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                           (IP-PPL-CAT (NP-LGS *)
                                                       (VVN;__ carried;{carry})
                                                       (RP on;{on})))))
          (PUNC .))
  (ID 121_a_lob_a01))

arc(r_0121_0003__conditions,r_0121_0006__affluence,r_0121_0004__of).
arc(r_0121_0006__affluence,r_0121_0005__tory,attrib).
arc(r_0121_0008__seemed,r_0121_0001__Now,nim).
arc(r_0121_0008__seemed,r_0121_0003__conditions,r_0121_0002__in__nim).
arc(r_0121_0008__seemed,r_0121_0011__not,arg0).
arc(r_0121_0010__could,r_0121_0012__be,scope).
arc(r_0121_0011__not,r_0121_0010__could,keep_scope).
arc(r_0121_0012__be,r_0121_0013__carried_r_0121_0014__on,scope).
arc(r_0121_0013__carried_r_0121_0014__on,r_0121_0009__it,arg1).
arc(r_0121_0013__carried_r_0121_0014__on,z_0121_5009___star_,arg0).

fof(formula,axiom,
    ? [R_0121_0001__NOW,R_0121_0005__TORY,R_0121_0006__AFFLUENCE,R_0121_0003__CONDITIONS,R_0121_0008__SEEMED] :
      ( r_0121_0001__Now(R_0121_0001__NOW)
      & r_0121_0005__tory(R_0121_0005__TORY)
      & r_0121_0008__seemed(R_0121_0008__SEEMED)
      & has_arg0(R_0121_0008__SEEMED,R_0121_0011__NOT)
      & ~ ? [R_0121_0009__IT,Z_0121_5009___STAR_,R_0121_0010__COULD_R_0121_0012__BE_R_0121_0013__CARRIED_R_0121_0014__ON] :
            ( r_0121_0009__it(R_0121_0009__IT)
            & z_0121_5009___star_(Z_0121_5009___STAR_)
            & r_0121_0010__could_r_0121_0012__be_r_0121_0013__carried_r_0121_0014__on(R_0121_0010__COULD_R_0121_0012__BE_R_0121_0013__CARRIED_R_0121_0014__ON)
            & has_arg0(R_0121_0010__COULD_R_0121_0012__BE_R_0121_0013__CARRIED_R_0121_0014__ON,Z_0121_5009___STAR_)
            & has_arg1(R_0121_0010__COULD_R_0121_0012__BE_R_0121_0013__CARRIED_R_0121_0014__ON,R_0121_0009__IT) )
      & has_r_0121_0002__in__nim(R_0121_0008__SEEMED,R_0121_0003__CONDITIONS)
      & r_0121_0003__conditions(R_0121_0003__CONDITIONS)
      & has_r_0121_0004__of(R_0121_0003__CONDITIONS,R_0121_0006__AFFLUENCE)
      & r_0121_0006__affluence(R_0121_0006__AFFLUENCE)
      & has_attrib(R_0121_0006__AFFLUENCE,R_0121_0005__TORY)
      & has_nim(R_0121_0008__SEEMED,R_0121_0001__NOW) ) ).