Context                Previous, Next                Top


103_a_joyce_1914
He had been coffined.

%3 r_0103_0002__had had r_0103_0003__been been r_0103_0002__had->r_0103_0003__been [scope] r_0103_0004__coffined coffined r_0103_0003__been->r_0103_0004__coffined [scope] r_0103_0001__He He r_0103_0004__coffined->r_0103_0001__He [arg1] z_000_103_a_joyce_1914_11 r_0103_0004__coffined->z_000_103_a_joyce_1914_11 [arg0] 
arc(r_0103_0002__had, r_0103_0003__been, scope).
arc(r_0103_0003__been, r_0103_0004__coffined, scope).
arc(r_0103_0004__coffined, r_0103_0001__He, arg1).
arc(r_0103_0004__coffined, z_000_103_a_joyce_1914_11, arg0).


%3 r_0103_0002__had_r_0103_0003__been_r_0103_0004__coffined had been coffined r_0103_0001__He He r_0103_0002__had_r_0103_0003__been_r_0103_0004__coffined->r_0103_0001__He [arg1] z_000_103_a_joyce_1914_11 r_0103_0002__had_r_0103_0003__been_r_0103_0004__coffined->z_000_103_a_joyce_1914_11 [arg0] 
fof(formula,axiom,
    ? [R_103_2_HAD_BEEN_COFFINED,Z_103_A_JOYCE_1914_11,R_103_1_HE] :
      ( he(R_103_1_HE)
      & had_been_coffined(R_103_2_HAD_BEEN_COFFINED,Z_103_A_JOYCE_1914_11,R_103_1_HE) ) ).


n103_a_joyce_1914 n103_a_joyce_1914_4 He n103_a_joyce_1914_6 had n103_a_joyce_1914_9 been n103_a_joyce_1914_12 * n103_a_joyce_1914_14 coffined n103_a_joyce_1914_16 . n103_a_joyce_1914_1 IP-MAT n103_a_joyce_1914_2 NP-SBJ n103_a_joyce_1914_1->n103_a_joyce_1914_2 n103_a_joyce_1914_5 HVD;_cat_Ve_ n103_a_joyce_1914_1->n103_a_joyce_1914_5 n103_a_joyce_1914_7 IP-PPL-CAT n103_a_joyce_1914_1->n103_a_joyce_1914_7 n103_a_joyce_1914_15 PUNC n103_a_joyce_1914_1->n103_a_joyce_1914_15 n103_a_joyce_1914_3 PRO n103_a_joyce_1914_2->n103_a_joyce_1914_3 n103_a_joyce_1914_3->n103_a_joyce_1914_4 n103_a_joyce_1914_5->n103_a_joyce_1914_6 n103_a_joyce_1914_8 BEN;_cat_VePASS_ n103_a_joyce_1914_7->n103_a_joyce_1914_8 n103_a_joyce_1914_10 IP-PPL-CAT n103_a_joyce_1914_7->n103_a_joyce_1914_10 n103_a_joyce_1914_8->n103_a_joyce_1914_9 n103_a_joyce_1914_11 NP-LGS n103_a_joyce_1914_10->n103_a_joyce_1914_11 n103_a_joyce_1914_13 VVN;_Tn_ n103_a_joyce_1914_10->n103_a_joyce_1914_13 n103_a_joyce_1914_11->n103_a_joyce_1914_12 n103_a_joyce_1914_13->n103_a_joyce_1914_14 n103_a_joyce_1914_15->n103_a_joyce_1914_16 
( (IP-MAT (NP-SBJ;{PRIEST} (PRO He;{he}))
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ coffined;{coffin})))
          (PUNC .))
  (ID 103_a_joyce_1914))