173_a_joyce_1914
“He was a disappointed man.

%3 r_0173_0003__was was r_0173_0002__He He r_0173_0003__was->r_0173_0002__He [arg0] r_0173_0004__a_r_0173_0006__man a man r_0173_0003__was->r_0173_0004__a_r_0173_0006__man [prd] r_0173_0005__disappointed disappointed r_0173_0005__disappointed->r_0173_0004__a_r_0173_0006__man [arg1] z_000_173_a_joyce_1914_13 r_0173_0005__disappointed->z_000_173_a_joyce_1914_13 [arg0]
arc(r_0173_0003__was, r_0173_0002__He, arg0).
arc(r_0173_0003__was, r_0173_0004__a_r_0173_0006__man, prd).
arc(r_0173_0005__disappointed, r_0173_0004__a_r_0173_0006__man, arg1).
arc(r_0173_0005__disappointed, z_000_173_a_joyce_1914_13, arg0).



%3 r_0173_0005__disappointed disappointed z_000_173_a_joyce_1914_13 r_0173_0005__disappointed->z_000_173_a_joyce_1914_13 [arg0] r_0173_0004__a_r_0173_0006__man a man r_0173_0005__disappointed->r_0173_0004__a_r_0173_0006__man [arg1] r_0173_0003__was was r_0173_0003__was->r_0173_0004__a_r_0173_0006__man [prd] r_0173_0002__He He r_0173_0003__was->r_0173_0002__He [arg0]
fof(formula,axiom,
    ? [R_173_3_WAS,R_173_2_HE,R_173_5_DISAPPOINTED,Z_173_A_JOYCE_1914_13,R_173_4_A_MAN] :
      ( he(R_173_2_HE)
      & a_man(R_173_4_A_MAN)
      & was(R_173_3_WAS,R_173_2_HE,R_173_4_A_MAN)
      & disappointed(R_173_5_DISAPPOINTED,Z_173_A_JOYCE_1914_13,R_173_4_A_MAN) ) ).



n173_a_joyce_1914 n173_a_joyce_1914__1_1_1 <ldquo> n173_a_joyce_1914__1_2_1_1 He n173_a_joyce_1914__1_3_1 was n173_a_joyce_1914__1_4_1_1 a n173_a_joyce_1914__1_4_2_1_1 * n173_a_joyce_1914__1_4_2_2_1 disappointed n173_a_joyce_1914__1_4_3_1 man n173_a_joyce_1914__1_5_1 . n173_a_joyce_1914__1 IP-MAT n173_a_joyce_1914__1_1 PULQ n173_a_joyce_1914__1->n173_a_joyce_1914__1_1 n173_a_joyce_1914__1_2 NP-SBJ n173_a_joyce_1914__1->n173_a_joyce_1914__1_2 n173_a_joyce_1914__1_3 BED;_Ln_ n173_a_joyce_1914__1->n173_a_joyce_1914__1_3 n173_a_joyce_1914__1_4 NP-PRD n173_a_joyce_1914__1->n173_a_joyce_1914__1_4 n173_a_joyce_1914__1_5 PUNC n173_a_joyce_1914__1->n173_a_joyce_1914__1_5 n173_a_joyce_1914__1_1->n173_a_joyce_1914__1_1_1 n173_a_joyce_1914__1_2_1 PRO n173_a_joyce_1914__1_2->n173_a_joyce_1914__1_2_1 n173_a_joyce_1914__1_2_1->n173_a_joyce_1914__1_2_1_1 n173_a_joyce_1914__1_3->n173_a_joyce_1914__1_3_1 n173_a_joyce_1914__1_4_1 D n173_a_joyce_1914__1_4->n173_a_joyce_1914__1_4_1 n173_a_joyce_1914__1_4_2 IP-PPL n173_a_joyce_1914__1_4->n173_a_joyce_1914__1_4_2 n173_a_joyce_1914__1_4_3 N n173_a_joyce_1914__1_4->n173_a_joyce_1914__1_4_3 n173_a_joyce_1914__1_4_1->n173_a_joyce_1914__1_4_1_1 n173_a_joyce_1914__1_4_2_1 NP-LGS n173_a_joyce_1914__1_4_2->n173_a_joyce_1914__1_4_2_1 n173_a_joyce_1914__1_4_2_2 VVN;_Tn_ n173_a_joyce_1914__1_4_2->n173_a_joyce_1914__1_4_2_2 n173_a_joyce_1914__1_4_2_1->n173_a_joyce_1914__1_4_2_1_1 n173_a_joyce_1914__1_4_2_2->n173_a_joyce_1914__1_4_2_2_1 n173_a_joyce_1914__1_4_3->n173_a_joyce_1914__1_4_3_1 n173_a_joyce_1914__1_5->n173_a_joyce_1914__1_5_1
( (IP-MAT;{DISAPPOINTED} (PULQ <ldquo>)
                         (NP-SBJ;{PRIEST} (PRO He;{he}))
                         (BED;_Ln_ was;{be})
                         (NP-PRD (D a;{a})
                                 (IP-PPL (NP-LGS *)
                                         (VVN;_Tn_ disappointed;{disappoint}))
                                 (N man;{man}))
                         (PUNC .))
  (ID 173_a_joyce_1914))