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__1_1_1_1 In n9_a_lob_a02__1_1_2_1_1 touch n9_a_lob_a02__1_2_1 . n9_a_lob_a02__1 FRAG n9_a_lob_a02__1_1 PP n9_a_lob_a02__1->n9_a_lob_a02__1_1 n9_a_lob_a02__1_2 PUNC n9_a_lob_a02__1->n9_a_lob_a02__1_2 n9_a_lob_a02__1_1_1 P-ROLE n9_a_lob_a02__1_1->n9_a_lob_a02__1_1_1 n9_a_lob_a02__1_1_2 NP n9_a_lob_a02__1_1->n9_a_lob_a02__1_1_2 n9_a_lob_a02__1_1_1->n9_a_lob_a02__1_1_1_1 n9_a_lob_a02__1_1_2_1 N n9_a_lob_a02__1_1_2->n9_a_lob_a02__1_1_2_1 n9_a_lob_a02__1_1_2_1->n9_a_lob_a02__1_1_2_1_1 n9_a_lob_a02__1_2->n9_a_lob_a02__1_2_1 
( (FRAG (PP (P-ROLE In;{in})
            (NP (N touch;{touch})))
        (PUNC .))
  (ID 9_a_lob_a02))