Context                Previous, Next                Top


102_a_joyce_1914
He had been coffined.

n102_a_joyce_1914 n102_a_joyce_1914__1_1_1_1 He n102_a_joyce_1914__1_2_1 had n102_a_joyce_1914__1_3_1_1 been n102_a_joyce_1914__1_3_2_1_1 * n102_a_joyce_1914__1_3_2_2_1 coffined n102_a_joyce_1914__1_4_1 . n102_a_joyce_1914__1 IP-MAT n102_a_joyce_1914__1_1 NP-SBJ n102_a_joyce_1914__1->n102_a_joyce_1914__1_1 n102_a_joyce_1914__1_2 HVD;_cat_Ve_ n102_a_joyce_1914__1->n102_a_joyce_1914__1_2 n102_a_joyce_1914__1_3 IP-PPL-CAT n102_a_joyce_1914__1->n102_a_joyce_1914__1_3 n102_a_joyce_1914__1_4 PUNC n102_a_joyce_1914__1->n102_a_joyce_1914__1_4 n102_a_joyce_1914__1_1_1 PRO n102_a_joyce_1914__1_1->n102_a_joyce_1914__1_1_1 n102_a_joyce_1914__1_1_1->n102_a_joyce_1914__1_1_1_1 n102_a_joyce_1914__1_2->n102_a_joyce_1914__1_2_1 n102_a_joyce_1914__1_3_1 BEN;_cat_VePASS_ n102_a_joyce_1914__1_3->n102_a_joyce_1914__1_3_1 n102_a_joyce_1914__1_3_2 IP-PPL-CAT n102_a_joyce_1914__1_3->n102_a_joyce_1914__1_3_2 n102_a_joyce_1914__1_3_1->n102_a_joyce_1914__1_3_1_1 n102_a_joyce_1914__1_3_2_1 NP-LGS n102_a_joyce_1914__1_3_2->n102_a_joyce_1914__1_3_2_1 n102_a_joyce_1914__1_3_2_2 VVN;_Tn_ n102_a_joyce_1914__1_3_2->n102_a_joyce_1914__1_3_2_2 n102_a_joyce_1914__1_3_2_1->n102_a_joyce_1914__1_3_2_1_1 n102_a_joyce_1914__1_3_2_2->n102_a_joyce_1914__1_3_2_2_1 n102_a_joyce_1914__1_4->n102_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 102_a_joyce_1914))


%3 r_0102_0004__coffined coffined z_0102_5003___star_ * r_0102_0004__coffined->z_0102_5003___star_ [arg0] r_0102_0001__He He r_0102_0004__coffined->r_0102_0001__He [arg1] r_0102_0003__been been r_0102_0003__been->r_0102_0004__coffined [scope] r_0102_0002__had had r_0102_0002__had->r_0102_0003__been [scope] 
arc(r_0102_0002__had,r_0102_0003__been,scope).
arc(r_0102_0003__been,r_0102_0004__coffined,scope).
arc(r_0102_0004__coffined,r_0102_0001__He,arg1).
arc(r_0102_0004__coffined,z_0102_5003___star_,arg0).


%3 r_0102_0002__had_r_0102_0003__been_r_0102_0004__coffined had been coffined r_0102_0001__He He r_0102_0002__had_r_0102_0003__been_r_0102_0004__coffined->r_0102_0001__He [arg1] z_0102_5003___star_ * r_0102_0002__had_r_0102_0003__been_r_0102_0004__coffined->z_0102_5003___star_ [arg0] 
fof(formula,axiom,
    ? [R_0102_0001__HE,Z_0102_5003___STAR_,R_0102_0002__HAD_R_0102_0003__BEEN_R_0102_0004__COFFINED] :
      ( r_0102_0001__He(R_0102_0001__HE)
      & z_0102_5003___star_(Z_0102_5003___STAR_)
      & r_0102_0002__had_r_0102_0003__been_r_0102_0004__coffined(R_0102_0002__HAD_R_0102_0003__BEEN_R_0102_0004__COFFINED)
      & has_arg0(R_0102_0002__HAD_R_0102_0003__BEEN_R_0102_0004__COFFINED,Z_0102_5003___STAR_)
      & has_arg1(R_0102_0002__HAD_R_0102_0003__BEEN_R_0102_0004__COFFINED,R_0102_0001__HE) ) ).