Context                Previous, Next                Top


179_a_joyce_1914
Eliza nodded.

n179_a_joyce_1914 n179_a_joyce_1914__1_1_1_1 Eliza n179_a_joyce_1914__1_2_1 nodded n179_a_joyce_1914__1_3_1 . n179_a_joyce_1914__1 IP-MAT n179_a_joyce_1914__1_1 NP-SBJ n179_a_joyce_1914__1->n179_a_joyce_1914__1_1 n179_a_joyce_1914__1_2 VBD;_I_ n179_a_joyce_1914__1->n179_a_joyce_1914__1_2 n179_a_joyce_1914__1_3 PUNC n179_a_joyce_1914__1->n179_a_joyce_1914__1_3 n179_a_joyce_1914__1_1_1 NPR n179_a_joyce_1914__1_1->n179_a_joyce_1914__1_1_1 n179_a_joyce_1914__1_1_1->n179_a_joyce_1914__1_1_1_1 n179_a_joyce_1914__1_2->n179_a_joyce_1914__1_2_1 n179_a_joyce_1914__1_3->n179_a_joyce_1914__1_3_1 
( (IP-MAT (NP-SBJ;{ELIZA} (NPR Eliza;{Eliza}))
          (VBD;_I_ nodded;{nod})
          (PUNC .))
  (ID 179_a_joyce_1914))


%3 r_0179_0002__nodded nodded r_0179_0001__Eliza Eliza r_0179_0002__nodded->r_0179_0001__Eliza [arg0] 
arc(r_0179_0002__nodded,r_0179_0001__Eliza,arg0).


%3 r_0179_0002__nodded nodded r_0179_0001__Eliza Eliza r_0179_0002__nodded->r_0179_0001__Eliza [arg0] 
fof(formula,axiom,
    ? [R_0179_0001__ELIZA,R_0179_0002__NODDED] :
      ( r_0179_0001__Eliza(R_0179_0001__ELIZA)
      & r_0179_0002__nodded(R_0179_0002__NODDED)
      & has_arg0(R_0179_0002__NODDED,R_0179_0001__ELIZA) ) ).