TSPC 110_a_lob

110_a_lob_a01
He told them that their conception of social services was wholly different — fundamentally different from that of labour.

( (IP-MAT (NP-SBJ;{BROWN} (PRO He;{he}))
          (VBD;__ told;{tell})
          (NP-OB2;{TORIES} (PRO them;{they}))
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (NP-GEN;{TORIES} (PRO;_genm_ their;{their}))
                                      (N conception;{conception})
                                      (PP (P-ROLE of;{of})
                                          (NP (ADJP (ADJ social;{social}))
                                              (NS services;{service}))))
                              (BED;_La_ was;{be})
                              (ADJP-PRD (ADVP (ADV wholly;{wholly}))
                                        (ADJ different;{different})
                                        (PUNC <mdash>)
                                        (PRN (ADJP (ADVP (ADV fundamentally;{fundamentally}))
                                                   (ADJ different;{different})
                                                   (PP (P-ROLE from;{from})
                                                       (NP (D;_nphd_ that;{that})
                                                           (PP (P-ROLE of;{of})
                                                               (NP (N labour;{labour}))))))))))
          (PUNC .))
  (ID 110_a_lob_a01))

arc(r_0110_0002__told,r_0110_0001__He,arg0).
arc(r_0110_0002__told,r_0110_0003__them,arg2).
arc(r_0110_0002__told,r_0110_0010__was,arg1).
arc(r_0110_0006__conception,r_0110_0003__them,gen).
arc(r_0110_0006__conception,r_0110_0009__services,r_0110_0007__of).
arc(r_0110_0009__services,r_0110_0008__social,attrib).
arc(r_0110_0010__was,r_0110_0006__conception,arg0).
arc(r_0110_0010__was,r_0110_0012__different,prd).
arc(r_0110_0012__different,r_0110_0011__wholly,qual).
arc(r_0110_0012__different,r_0110_0015__different,prn).
arc(r_0110_0015__different,r_0110_0014__fundamentally,qual).
arc(r_0110_0015__different,r_0110_0017__that,r_0110_0016__from).
arc(r_0110_0017__that,r_0110_0019__labour,r_0110_0018__of).

fof(formula,axiom,
    ? [R_0110_0001__HE,R_0110_0003__THEM,R_0110_0008__SOCIAL,R_0110_0009__SERVICES,R_0110_0006__CONCEPTION,R_0110_0011__WHOLLY,R_0110_0014__FUNDAMENTALLY,R_0110_0019__LABOUR,R_0110_0017__THAT,R_0110_0015__DIFFERENT,R_0110_0012__DIFFERENT,R_0110_0010__WAS,R_0110_0002__TOLD] :
      ( r_0110_0001__He(R_0110_0001__HE)
      & r_0110_0003__them(R_0110_0003__THEM)
      & r_0110_0008__social(R_0110_0008__SOCIAL)
      & r_0110_0011__wholly(R_0110_0011__WHOLLY)
      & r_0110_0014__fundamentally(R_0110_0014__FUNDAMENTALLY)
      & r_0110_0019__labour(R_0110_0019__LABOUR)
      & r_0110_0002__told(R_0110_0002__TOLD)
      & has_arg1(R_0110_0002__TOLD,R_0110_0010__WAS)
      & r_0110_0010__was(R_0110_0010__WAS)
      & has_prd(R_0110_0010__WAS,R_0110_0012__DIFFERENT)
      & r_0110_0012__different(R_0110_0012__DIFFERENT)
      & has_prn(R_0110_0012__DIFFERENT,R_0110_0015__DIFFERENT)
      & r_0110_0015__different(R_0110_0015__DIFFERENT)
      & has_r_0110_0016__from(R_0110_0015__DIFFERENT,R_0110_0017__THAT)
      & r_0110_0017__that(R_0110_0017__THAT)
      & has_r_0110_0018__of(R_0110_0017__THAT,R_0110_0019__LABOUR)
      & has_qual(R_0110_0015__DIFFERENT,R_0110_0014__FUNDAMENTALLY)
      & has_qual(R_0110_0012__DIFFERENT,R_0110_0011__WHOLLY)
      & has_arg0(R_0110_0010__WAS,R_0110_0006__CONCEPTION)
      & r_0110_0006__conception(R_0110_0006__CONCEPTION)
      & has_r_0110_0007__of(R_0110_0006__CONCEPTION,R_0110_0009__SERVICES)
      & r_0110_0009__services(R_0110_0009__SERVICES)
      & has_attrib(R_0110_0009__SERVICES,R_0110_0008__SOCIAL)
      & has_gen(R_0110_0006__CONCEPTION,R_0110_0003__THEM)
      & has_arg2(R_0110_0002__TOLD,R_0110_0003__THEM)
      & has_arg0(R_0110_0002__TOLD,R_0110_0001__HE) ) ).