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_0003__a_r_0090_0004__welcome a welcome z_000_90_a_lob_a02_1->r_0090_0003__a_r_0090_0004__welcome [nim] r_0090_0002__London London z_000_90_a_lob_a02_1->r_0090_0002__London in [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__1_1_1_1 in n90_a_lob_a02__1_1_2_1_1 London n90_a_lob_a02__1_2_1_1 a n90_a_lob_a02__1_2_2_1 welcome n90_a_lob_a02__1_3_1 . n90_a_lob_a02__1 FRAG n90_a_lob_a02__1_1 PP-NIM n90_a_lob_a02__1->n90_a_lob_a02__1_1 n90_a_lob_a02__1_2 NP n90_a_lob_a02__1->n90_a_lob_a02__1_2 n90_a_lob_a02__1_3 PUNC n90_a_lob_a02__1->n90_a_lob_a02__1_3 n90_a_lob_a02__1_1_1 P-ROLE n90_a_lob_a02__1_1->n90_a_lob_a02__1_1_1 n90_a_lob_a02__1_1_2 NP n90_a_lob_a02__1_1->n90_a_lob_a02__1_1_2 n90_a_lob_a02__1_1_1->n90_a_lob_a02__1_1_1_1 n90_a_lob_a02__1_1_2_1 NPR n90_a_lob_a02__1_1_2->n90_a_lob_a02__1_1_2_1 n90_a_lob_a02__1_1_2_1->n90_a_lob_a02__1_1_2_1_1 n90_a_lob_a02__1_2_1 D n90_a_lob_a02__1_2->n90_a_lob_a02__1_2_1 n90_a_lob_a02__1_2_2 N n90_a_lob_a02__1_2->n90_a_lob_a02__1_2_2 n90_a_lob_a02__1_2_1->n90_a_lob_a02__1_2_1_1 n90_a_lob_a02__1_2_2->n90_a_lob_a02__1_2_2_1 n90_a_lob_a02__1_3->n90_a_lob_a02__1_3_1 
( (FRAG (PP-NIM (P-ROLE in;{in})
                (NP (NPR London;{London})))
        (NP (D a;{a})
            (N welcome;{welcome}))
        (PUNC .))
  (ID 90_a_lob_a02))