Context                Previous, Next                Top


77_a_lob_a01
Joyce Egginton cables:

n77_a_lob_a01 n77_a_lob_a01__1_1_1_1 Joyce n77_a_lob_a01__1_1_2_1 Egginton n77_a_lob_a01__1_2_1 cables n77_a_lob_a01__1_3_1 : n77_a_lob_a01__1 IP-MAT n77_a_lob_a01__1_1 NP-SBJ n77_a_lob_a01__1->n77_a_lob_a01__1_1 n77_a_lob_a01__1_2 VBP;_I_ n77_a_lob_a01__1->n77_a_lob_a01__1_2 n77_a_lob_a01__1_3 PUNC n77_a_lob_a01__1->n77_a_lob_a01__1_3 n77_a_lob_a01__1_1_1 NPR n77_a_lob_a01__1_1->n77_a_lob_a01__1_1_1 n77_a_lob_a01__1_1_2 NPR n77_a_lob_a01__1_1->n77_a_lob_a01__1_1_2 n77_a_lob_a01__1_1_1->n77_a_lob_a01__1_1_1_1 n77_a_lob_a01__1_1_2->n77_a_lob_a01__1_1_2_1 n77_a_lob_a01__1_2->n77_a_lob_a01__1_2_1 n77_a_lob_a01__1_3->n77_a_lob_a01__1_3_1 
( (IP-MAT (NP-SBJ (NPR Joyce;{Joyce})
                  (NPR Egginton;{Egginton}))
          (VBP;_I_ cables;{cable})
          (PUNC :))
  (ID 77_a_lob_a01))


%3 r_0077_0003__cables cables r_0077_0001__Joyce_r_0077_0002__Egginton Joyce Egginton r_0077_0003__cables->r_0077_0001__Joyce_r_0077_0002__Egginton [arg0] 
arc(r_0077_0003__cables,r_0077_0001__Joyce_r_0077_0002__Egginton,arg0).


%3 r_0077_0003__cables cables r_0077_0001__Joyce_r_0077_0002__Egginton Joyce Egginton r_0077_0003__cables->r_0077_0001__Joyce_r_0077_0002__Egginton [arg0] 
fof(formula,axiom,
    ? [R_0077_0001__JOYCE_R_0077_0002__EGGINTON,R_0077_0003__CABLES] :
      ( r_0077_0001__Joyce_r_0077_0002__Egginton(R_0077_0001__JOYCE_R_0077_0002__EGGINTON)
      & r_0077_0003__cables(R_0077_0003__CABLES)
      & has_arg0(R_0077_0003__CABLES,R_0077_0001__JOYCE_R_0077_0002__EGGINTON) ) ).