Context                Previous, Next                Top


9_a_lob_a02
In touch.

%3 z_000_9_a_lob_a02_1 r_0009_0002__touch touch z_000_9_a_lob_a02_1->r_0009_0002__touch In [nim] 
arc(z_000_9_a_lob_a02_1, r_0009_0002__touch, r_0009_0001__In_nim5).


%3 z_000_9_a_lob_a02_1 r_0009_0002__touch touch z_000_9_a_lob_a02_1->r_0009_0002__touch In [nim] 
fof(formula,axiom,
    ? [Z_9_A_LOB_A02_1,R_9_2_TOUCH] :
      ( touch(R_9_2_TOUCH)
      & z_9_a_lob_a02_1(Z_9_A_LOB_A02_1)
      & in_nim5(Z_9_A_LOB_A02_1,R_9_2_TOUCH) ) ).


n9_a_lob_a02 n9_a_lob_a02_4 In n9_a_lob_a02_7 touch n9_a_lob_a02_9 . n9_a_lob_a02_1 FRAG n9_a_lob_a02_2 PP n9_a_lob_a02_1->n9_a_lob_a02_2 n9_a_lob_a02_8 PUNC n9_a_lob_a02_1->n9_a_lob_a02_8 n9_a_lob_a02_3 P-ROLE n9_a_lob_a02_2->n9_a_lob_a02_3 n9_a_lob_a02_5 NP n9_a_lob_a02_2->n9_a_lob_a02_5 n9_a_lob_a02_3->n9_a_lob_a02_4 n9_a_lob_a02_6 N n9_a_lob_a02_5->n9_a_lob_a02_6 n9_a_lob_a02_6->n9_a_lob_a02_7 n9_a_lob_a02_8->n9_a_lob_a02_9 
( (FRAG (PP (P-ROLE In;{in})
            (NP (N touch;{touch})))
        (PUNC .))
  (ID 9_a_lob_a02))