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_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]
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_3 <ldquo> n173_a_joyce_1914_6 He n173_a_joyce_1914_8 was n173_a_joyce_1914_11 a n173_a_joyce_1914_14 * n173_a_joyce_1914_16 disappointed n173_a_joyce_1914_18 man n173_a_joyce_1914_20 . n173_a_joyce_1914_1 IP-MAT n173_a_joyce_1914_2 PULQ n173_a_joyce_1914_1->n173_a_joyce_1914_2 n173_a_joyce_1914_4 NP-SBJ n173_a_joyce_1914_1->n173_a_joyce_1914_4 n173_a_joyce_1914_7 BED;_Ln_ n173_a_joyce_1914_1->n173_a_joyce_1914_7 n173_a_joyce_1914_9 NP-PRD n173_a_joyce_1914_1->n173_a_joyce_1914_9 n173_a_joyce_1914_19 PUNC n173_a_joyce_1914_1->n173_a_joyce_1914_19 n173_a_joyce_1914_2->n173_a_joyce_1914_3 n173_a_joyce_1914_5 PRO n173_a_joyce_1914_4->n173_a_joyce_1914_5 n173_a_joyce_1914_5->n173_a_joyce_1914_6 n173_a_joyce_1914_7->n173_a_joyce_1914_8 n173_a_joyce_1914_10 D n173_a_joyce_1914_9->n173_a_joyce_1914_10 n173_a_joyce_1914_12 IP-PPL n173_a_joyce_1914_9->n173_a_joyce_1914_12 n173_a_joyce_1914_17 N n173_a_joyce_1914_9->n173_a_joyce_1914_17 n173_a_joyce_1914_10->n173_a_joyce_1914_11 n173_a_joyce_1914_13 NP-LGS n173_a_joyce_1914_12->n173_a_joyce_1914_13 n173_a_joyce_1914_15 VVN;_Tn_ n173_a_joyce_1914_12->n173_a_joyce_1914_15 n173_a_joyce_1914_13->n173_a_joyce_1914_14 n173_a_joyce_1914_15->n173_a_joyce_1914_16 n173_a_joyce_1914_17->n173_a_joyce_1914_18 n173_a_joyce_1914_19->n173_a_joyce_1914_20
( (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))