Context                Previous, Next                Top


180_a_joyce_1914
Eliza nodded.

%3 r_0180_0002__nodded nodded r_0180_0001__Eliza Eliza r_0180_0002__nodded->r_0180_0001__Eliza [arg0] 
arc(r_0180_0002__nodded, r_0180_0001__Eliza, arg0).


%3 r_0180_0002__nodded nodded r_0180_0001__Eliza Eliza r_0180_0002__nodded->r_0180_0001__Eliza [arg0] 
fof(formula,axiom,
    ? [R_180_2_NODDED,R_180_1_ELIZA] :
      ( eliza(R_180_1_ELIZA)
      & nodded(R_180_2_NODDED,R_180_1_ELIZA) ) ).


n180_a_joyce_1914 n180_a_joyce_1914_4 Eliza n180_a_joyce_1914_6 nodded n180_a_joyce_1914_8 . n180_a_joyce_1914_1 IP-MAT n180_a_joyce_1914_2 NP-SBJ n180_a_joyce_1914_1->n180_a_joyce_1914_2 n180_a_joyce_1914_5 VBD;_I_ n180_a_joyce_1914_1->n180_a_joyce_1914_5 n180_a_joyce_1914_7 PUNC n180_a_joyce_1914_1->n180_a_joyce_1914_7 n180_a_joyce_1914_3 NPR n180_a_joyce_1914_2->n180_a_joyce_1914_3 n180_a_joyce_1914_3->n180_a_joyce_1914_4 n180_a_joyce_1914_5->n180_a_joyce_1914_6 n180_a_joyce_1914_7->n180_a_joyce_1914_8 
( (IP-MAT (NP-SBJ;{ELIZA} (NPR Eliza;{Eliza}))
          (VBD;_I_ nodded;{nod})
          (PUNC .))
  (ID 180_a_joyce_1914))