TSPC 132_a_joyce

132_a_joyce_1914
No one would think he'd make such a beautiful corpse.”

( (IP-MAT (NP-SBJ;{PERSONS} (Q No;{no})
                            (N one;{one}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (VB;_Tf_ think;{think})
                      (CP-THT-OB1 (IP-SUB (NP-SBJ;{PRIEST} (PRO he;{he}))
                                          (MD;_cat_Vi_ <apos>d;{will})
                                          (IP-INF-CAT (VB;_Ln_ make;{make})
                                                      (NP-PRD (ADJP (ADJ;_such_ such;{such}))
                                                              (D a;{a})
                                                              (ADJP (ADJ beautiful;{beautiful}))
                                                              (N corpse;{corpse}))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 132_a_joyce_1914))

arc(r_0132_0001__No__quant,r_0132_0002__one,restriction).
arc(r_0132_0001__No__quant,r_0132_0003__would,scope).
arc(r_0132_0003__would,r_0132_0004__think,scope).
arc(r_0132_0004__think,r_0132_0002__one,arg0).
arc(r_0132_0004__think,r_0132_0006___apos_d,arg1).
arc(r_0132_0006___apos_d,r_0132_0007__make,scope).
arc(r_0132_0007__make,r_0132_0005__he,arg0).
arc(r_0132_0007__make,r_0132_0009__a_r_0132_0011__corpse,prd).
arc(r_0132_0009__a_r_0132_0011__corpse,r_0132_0008__such,attrib).
arc(r_0132_0009__a_r_0132_0011__corpse,r_0132_0010__beautiful,attrib).

fof(formula,axiom,
    ! [R_0132_0002__ONE] :
      ( r_0132_0002__one(R_0132_0002__ONE)
     => ? [R_0132_0005__HE,R_0132_0008__SUCH,R_0132_0010__BEAUTIFUL,R_0132_0009__A_R_0132_0011__CORPSE,R_0132_0006___APOS_D_R_0132_0007__MAKE,R_0132_0003__WOULD_R_0132_0004__THINK] :
          ( r_0132_0005__he(R_0132_0005__HE)
          & r_0132_0008__such(R_0132_0008__SUCH)
          & r_0132_0010__beautiful(R_0132_0010__BEAUTIFUL)
          & r_0132_0003__would_r_0132_0004__think(R_0132_0003__WOULD_R_0132_0004__THINK)
          & has_arg1(R_0132_0003__WOULD_R_0132_0004__THINK,R_0132_0006___APOS_D_R_0132_0007__MAKE)
          & r_0132_0006___apos_d_r_0132_0007__make(R_0132_0006___APOS_D_R_0132_0007__MAKE)
          & has_prd(R_0132_0006___APOS_D_R_0132_0007__MAKE,R_0132_0009__A_R_0132_0011__CORPSE)
          & r_0132_0009__a_r_0132_0011__corpse(R_0132_0009__A_R_0132_0011__CORPSE)
          & has_attrib(R_0132_0009__A_R_0132_0011__CORPSE,R_0132_0010__BEAUTIFUL)
          & has_attrib(R_0132_0009__A_R_0132_0011__CORPSE,R_0132_0008__SUCH)
          & has_arg0(R_0132_0006___APOS_D_R_0132_0007__MAKE,R_0132_0005__HE)
          & has_arg0(R_0132_0003__WOULD_R_0132_0004__THINK,R_0132_0002__ONE) ) ) ).