Context                Previous, Next                Top


49_a_lob_a02
Phone taps.

n49_a_lob_a02 n49_a_lob_a02__1_1_1_1 Phone n49_a_lob_a02__1_1_2_1 taps n49_a_lob_a02__1_2_1 . n49_a_lob_a02__1 FRAG n49_a_lob_a02__1_1 NP n49_a_lob_a02__1->n49_a_lob_a02__1_1 n49_a_lob_a02__1_2 PUNC n49_a_lob_a02__1->n49_a_lob_a02__1_2 n49_a_lob_a02__1_1_1 N n49_a_lob_a02__1_1->n49_a_lob_a02__1_1_1 n49_a_lob_a02__1_1_2 NS n49_a_lob_a02__1_1->n49_a_lob_a02__1_1_2 n49_a_lob_a02__1_1_1->n49_a_lob_a02__1_1_1_1 n49_a_lob_a02__1_1_2->n49_a_lob_a02__1_1_2_1 n49_a_lob_a02__1_2->n49_a_lob_a02__1_2_1 
( (FRAG (NP (N Phone;{phone})
            (NS taps;{tap}))
        (PUNC .))
  (ID 49_a_lob_a02))


%3 z_0049_5004 r_0049_0001__Phone_r_0049_0002__taps Phone taps z_0049_5004->r_0049_0001__Phone_r_0049_0002__taps 
arc(z_0049_5004,r_0049_0001__Phone_r_0049_0002__taps,z_0049_5002).


%3 z_0049_5004 r_0049_0001__Phone_r_0049_0002__taps Phone taps z_0049_5004->r_0049_0001__Phone_r_0049_0002__taps 
fof(formula,axiom,
    ? [R_0049_0001__PHONE_R_0049_0002__TAPS,Z_0049_5004] :
      ( r_0049_0001__Phone_r_0049_0002__taps(R_0049_0001__PHONE_R_0049_0002__TAPS)
      & z_0049_5004(Z_0049_5004)
      & has_z_0049_5002(Z_0049_5004,R_0049_0001__PHONE_R_0049_0002__TAPS) ) ).