Context                Previous, Next                Top


49_a_lob_a02
Phone taps.

%3 z_000_49_a_lob_a02_1 r_0049_0001__Phone_r_0049_0002__taps Phone taps z_000_49_a_lob_a02_1->r_0049_0001__Phone_r_0049_0002__taps [nim] 
arc(z_000_49_a_lob_a02_1, r_0049_0001__Phone_r_0049_0002__taps, nim2).


%3 z_000_49_a_lob_a02_1 r_0049_0001__Phone_r_0049_0002__taps Phone taps z_000_49_a_lob_a02_1->r_0049_0001__Phone_r_0049_0002__taps [nim] 
fof(formula,axiom,
    ? [Z_49_A_LOB_A02_1,R_49_1_PHONE_TAPS] :
      ( phone_taps(R_49_1_PHONE_TAPS)
      & z_49_a_lob_a02_1(Z_49_A_LOB_A02_1)
      & nim2(Z_49_A_LOB_A02_1,R_49_1_PHONE_TAPS) ) ).


n49_a_lob_a02 n49_a_lob_a02_4 Phone n49_a_lob_a02_6 taps n49_a_lob_a02_8 . n49_a_lob_a02_1 FRAG n49_a_lob_a02_2 NP n49_a_lob_a02_1->n49_a_lob_a02_2 n49_a_lob_a02_7 PUNC n49_a_lob_a02_1->n49_a_lob_a02_7 n49_a_lob_a02_3 N n49_a_lob_a02_2->n49_a_lob_a02_3 n49_a_lob_a02_5 NS n49_a_lob_a02_2->n49_a_lob_a02_5 n49_a_lob_a02_3->n49_a_lob_a02_4 n49_a_lob_a02_5->n49_a_lob_a02_6 n49_a_lob_a02_7->n49_a_lob_a02_8 
( (FRAG (NP (N Phone;{phone})
            (NS taps;{tap}))
        (PUNC .))
  (ID 49_a_lob_a02))