Context                Previous, Next                Top


9_a_lob_a02
In 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))


%3 z_0009_5002 r_0009_0002__touch touch z_0009_5002->r_0009_0002__touch In 
arc(z_0009_5002,r_0009_0002__touch,r_0009_0001__In).


%3 z_0009_5002 r_0009_0002__touch touch z_0009_5002->r_0009_0002__touch In 
fof(formula,axiom,
    ? [R_0009_0002__TOUCH,Z_0009_5002] :
      ( r_0009_0002__touch(R_0009_0002__TOUCH)
      & z_0009_5002(Z_0009_5002)
      & has_r_0009_0001__In(Z_0009_5002,R_0009_0002__TOUCH) ) ).