Context                Previous, Next                Top


90_a_lob_a02
in London a welcome.

%3 z_000_90_a_lob_a02_1 r_0090_0002__London London z_000_90_a_lob_a02_1->r_0090_0002__London in [nim] r_0090_0003__a_r_0090_0004__welcome a welcome z_000_90_a_lob_a02_1->r_0090_0003__a_r_0090_0004__welcome [nim] 
arc(z_000_90_a_lob_a02_1, r_0090_0002__London, r_0090_0001__in_nim5).
arc(z_000_90_a_lob_a02_1, r_0090_0003__a_r_0090_0004__welcome, nim8).


%3 z_000_90_a_lob_a02_1 r_0090_0002__London London z_000_90_a_lob_a02_1->r_0090_0002__London in [nim] r_0090_0003__a_r_0090_0004__welcome a welcome z_000_90_a_lob_a02_1->r_0090_0003__a_r_0090_0004__welcome [nim] 
fof(formula,axiom,
    ? [Z_90_A_LOB_A02_1,R_90_3_A_WELCOME,R_90_2_LONDON] :
      ( a_welcome(R_90_3_A_WELCOME)
      & london(R_90_2_LONDON)
      & z_90_a_lob_a02_1(Z_90_A_LOB_A02_1)
      & nim8(Z_90_A_LOB_A02_1,R_90_3_A_WELCOME)
      & in_nim5(Z_90_A_LOB_A02_1,R_90_2_LONDON) ) ).


n90_a_lob_a02 n90_a_lob_a02_4 in n90_a_lob_a02_7 London n90_a_lob_a02_10 a n90_a_lob_a02_12 welcome n90_a_lob_a02_14 . n90_a_lob_a02_1 FRAG n90_a_lob_a02_2 PP-NIM n90_a_lob_a02_1->n90_a_lob_a02_2 n90_a_lob_a02_8 NP n90_a_lob_a02_1->n90_a_lob_a02_8 n90_a_lob_a02_13 PUNC n90_a_lob_a02_1->n90_a_lob_a02_13 n90_a_lob_a02_3 P-ROLE n90_a_lob_a02_2->n90_a_lob_a02_3 n90_a_lob_a02_5 NP n90_a_lob_a02_2->n90_a_lob_a02_5 n90_a_lob_a02_3->n90_a_lob_a02_4 n90_a_lob_a02_6 NPR n90_a_lob_a02_5->n90_a_lob_a02_6 n90_a_lob_a02_6->n90_a_lob_a02_7 n90_a_lob_a02_9 D n90_a_lob_a02_8->n90_a_lob_a02_9 n90_a_lob_a02_11 N n90_a_lob_a02_8->n90_a_lob_a02_11 n90_a_lob_a02_9->n90_a_lob_a02_10 n90_a_lob_a02_11->n90_a_lob_a02_12 n90_a_lob_a02_13->n90_a_lob_a02_14 
( (FRAG (PP-NIM (P-ROLE in;{in})
                (NP (NPR London;{London})))
        (NP (D a;{a})
            (N welcome;{welcome}))
        (PUNC .))
  (ID 90_a_lob_a02))