TSPC 93_a_lob

93_a_lob_a01
Mr Brown declared that the policy under censure was monstrous.

( (IP-MAT (NP-SBJ (N Mr;{mr})
                  (NPR Brown;{Brown}))
          (VBD;__ declared;{declare})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ;{POLICY} (D the;{the})
                                               (N policy;{policy})
                                               (PP (P-ROLE under;{under})
                                                   (NP (N censure;{censure}))))
                              (BED;_La_ was;{be})
                              (ADJP-PRD (ADJ monstrous;{monstrous}))))
          (PUNC .))
  (ID 93_a_lob_a01))

arc(r_0093_0003__declared,r_0093_0001__Mr_r_0093_0002__Brown,arg0).
arc(r_0093_0003__declared,r_0093_0009__was,arg1).
arc(r_0093_0005__the_r_0093_0006__policy,r_0093_0008__censure,r_0093_0007__under).
arc(r_0093_0009__was,r_0093_0005__the_r_0093_0006__policy,arg0).
arc(r_0093_0009__was,r_0093_0010__monstrous,prd).

fof(formula,axiom,
    ? [R_0093_0001__MR_R_0093_0002__BROWN,R_0093_0008__CENSURE,R_0093_0005__THE_R_0093_0006__POLICY,R_0093_0010__MONSTROUS,R_0093_0009__WAS,R_0093_0003__DECLARED] :
      ( r_0093_0001__Mr_r_0093_0002__Brown(R_0093_0001__MR_R_0093_0002__BROWN)
      & r_0093_0008__censure(R_0093_0008__CENSURE)
      & r_0093_0010__monstrous(R_0093_0010__MONSTROUS)
      & r_0093_0003__declared(R_0093_0003__DECLARED)
      & has_arg1(R_0093_0003__DECLARED,R_0093_0009__WAS)
      & r_0093_0009__was(R_0093_0009__WAS)
      & has_prd(R_0093_0009__WAS,R_0093_0010__MONSTROUS)
      & has_arg0(R_0093_0009__WAS,R_0093_0005__THE_R_0093_0006__POLICY)
      & r_0093_0005__the_r_0093_0006__policy(R_0093_0005__THE_R_0093_0006__POLICY)
      & has_r_0093_0007__under(R_0093_0005__THE_R_0093_0006__POLICY,R_0093_0008__CENSURE)
      & has_arg0(R_0093_0003__DECLARED,R_0093_0001__MR_R_0093_0002__BROWN) ) ).