Context                Previous, Next                Top


23_a_lob_a02
From William Forrest Accra, Monday.

%3 z_000_23_a_lob_a02_1 r_0023_0002__William_r_0023_0003__Forrest_r_0023_0004__Accra William Forrest Accra z_000_23_a_lob_a02_1->r_0023_0002__William_r_0023_0003__Forrest_r_0023_0004__Accra From [nim] r_0023_0006__Monday Monday z_000_23_a_lob_a02_1->r_0023_0006__Monday [nim] 
arc(z_000_23_a_lob_a02_1, r_0023_0002__William_r_0023_0003__Forrest_r_0023_0004__Accra, r_0023_0001__From_nim5).
arc(z_000_23_a_lob_a02_1, r_0023_0006__Monday, nim14).


%3 z_000_23_a_lob_a02_1 r_0023_0006__Monday Monday z_000_23_a_lob_a02_1->r_0023_0006__Monday [nim] r_0023_0002__William_r_0023_0003__Forrest_r_0023_0004__Accra William Forrest Accra z_000_23_a_lob_a02_1->r_0023_0002__William_r_0023_0003__Forrest_r_0023_0004__Accra From [nim] 
fof(formula,axiom,
    ? [R_0023_0002__WILLIAM_R_0023_0003__FORREST_R_0023_0004__ACCRA,R_0023_0006__MONDAY,Z_000_23_A_LOB_A02_1] :
      ( r_0023_0002__William_r_0023_0003__Forrest_r_0023_0004__Accra(R_0023_0002__WILLIAM_R_0023_0003__FORREST_R_0023_0004__ACCRA)
      & r_0023_0006__Monday(R_0023_0006__MONDAY)
      & z_000_23_a_lob_a02_1(Z_000_23_A_LOB_A02_1)
      & has_nim14(Z_000_23_A_LOB_A02_1,R_0023_0006__MONDAY)
      & has_r_0023_0001__From_nim5(Z_000_23_A_LOB_A02_1,R_0023_0002__WILLIAM_R_0023_0003__FORREST_R_0023_0004__ACCRA) ) ).


n23_a_lob_a02 n23_a_lob_a02__1_1_1_1 From n23_a_lob_a02__1_1_2_1_1 William n23_a_lob_a02__1_1_2_2_1 Forrest n23_a_lob_a02__1_1_2_3_1 Accra n23_a_lob_a02__1_2_1 , n23_a_lob_a02__1_3_1_1 Monday n23_a_lob_a02__1_4_1 . n23_a_lob_a02__1 FRAG n23_a_lob_a02__1_1 PP n23_a_lob_a02__1->n23_a_lob_a02__1_1 n23_a_lob_a02__1_2 PUNC n23_a_lob_a02__1->n23_a_lob_a02__1_2 n23_a_lob_a02__1_3 NP-NIM n23_a_lob_a02__1->n23_a_lob_a02__1_3 n23_a_lob_a02__1_4 PUNC n23_a_lob_a02__1->n23_a_lob_a02__1_4 n23_a_lob_a02__1_1_1 P-ROLE n23_a_lob_a02__1_1->n23_a_lob_a02__1_1_1 n23_a_lob_a02__1_1_2 NP n23_a_lob_a02__1_1->n23_a_lob_a02__1_1_2 n23_a_lob_a02__1_1_1->n23_a_lob_a02__1_1_1_1 n23_a_lob_a02__1_1_2_1 NPR n23_a_lob_a02__1_1_2->n23_a_lob_a02__1_1_2_1 n23_a_lob_a02__1_1_2_2 NPR n23_a_lob_a02__1_1_2->n23_a_lob_a02__1_1_2_2 n23_a_lob_a02__1_1_2_3 NPR n23_a_lob_a02__1_1_2->n23_a_lob_a02__1_1_2_3 n23_a_lob_a02__1_1_2_1->n23_a_lob_a02__1_1_2_1_1 n23_a_lob_a02__1_1_2_2->n23_a_lob_a02__1_1_2_2_1 n23_a_lob_a02__1_1_2_3->n23_a_lob_a02__1_1_2_3_1 n23_a_lob_a02__1_2->n23_a_lob_a02__1_2_1 n23_a_lob_a02__1_3_1 NPR n23_a_lob_a02__1_3->n23_a_lob_a02__1_3_1 n23_a_lob_a02__1_3_1->n23_a_lob_a02__1_3_1_1 n23_a_lob_a02__1_4->n23_a_lob_a02__1_4_1 
( (FRAG (PP (P-ROLE From;{from})
            (NP (NPR William;{William})
                (NPR Forrest;{Forrest})
                (NPR Accra;{Accra})))
        (PUNC ,)
        (NP-NIM (NPR Monday;{Monday}))
        (PUNC .))
  (ID 23_a_lob_a02))