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 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] r_0103_0001__He He r_0103_0002__had_r_0103_0003__been_r_0103_0004__coffined->r_0103_0001__He [arg1] 
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__1_1_1_1 He n103_a_joyce_1914__1_2_1 had n103_a_joyce_1914__1_3_1_1 been n103_a_joyce_1914__1_3_2_1_1 * n103_a_joyce_1914__1_3_2_2_1 coffined n103_a_joyce_1914__1_4_1 . n103_a_joyce_1914__1 IP-MAT n103_a_joyce_1914__1_1 NP-SBJ n103_a_joyce_1914__1->n103_a_joyce_1914__1_1 n103_a_joyce_1914__1_2 HVD;_cat_Ve_ n103_a_joyce_1914__1->n103_a_joyce_1914__1_2 n103_a_joyce_1914__1_3 IP-PPL-CAT n103_a_joyce_1914__1->n103_a_joyce_1914__1_3 n103_a_joyce_1914__1_4 PUNC n103_a_joyce_1914__1->n103_a_joyce_1914__1_4 n103_a_joyce_1914__1_1_1 PRO n103_a_joyce_1914__1_1->n103_a_joyce_1914__1_1_1 n103_a_joyce_1914__1_1_1->n103_a_joyce_1914__1_1_1_1 n103_a_joyce_1914__1_2->n103_a_joyce_1914__1_2_1 n103_a_joyce_1914__1_3_1 BEN;_cat_VePASS_ n103_a_joyce_1914__1_3->n103_a_joyce_1914__1_3_1 n103_a_joyce_1914__1_3_2 IP-PPL-CAT n103_a_joyce_1914__1_3->n103_a_joyce_1914__1_3_2 n103_a_joyce_1914__1_3_1->n103_a_joyce_1914__1_3_1_1 n103_a_joyce_1914__1_3_2_1 NP-LGS n103_a_joyce_1914__1_3_2->n103_a_joyce_1914__1_3_2_1 n103_a_joyce_1914__1_3_2_2 VVN;_Tn_ n103_a_joyce_1914__1_3_2->n103_a_joyce_1914__1_3_2_2 n103_a_joyce_1914__1_3_2_1->n103_a_joyce_1914__1_3_2_1_1 n103_a_joyce_1914__1_3_2_2->n103_a_joyce_1914__1_3_2_2_1 n103_a_joyce_1914__1_4->n103_a_joyce_1914__1_4_1 
( (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))