Context                Previous, Next                Top


69_a_lob_a02
From Harvey Ward Salisbury, Monday.

%3 z_000_69_a_lob_a02_1 r_0069_0002__Harvey_r_0069_0003__Ward_r_0069_0004__Salisbury Harvey Ward Salisbury z_000_69_a_lob_a02_1->r_0069_0002__Harvey_r_0069_0003__Ward_r_0069_0004__Salisbury From [nim] r_0069_0006__Monday Monday z_000_69_a_lob_a02_1->r_0069_0006__Monday [nim] 
arc(z_000_69_a_lob_a02_1, r_0069_0002__Harvey_r_0069_0003__Ward_r_0069_0004__Salisbury, r_0069_0001__From_nim5).
arc(z_000_69_a_lob_a02_1, r_0069_0006__Monday, nim14).


%3 z_000_69_a_lob_a02_1 r_0069_0006__Monday Monday z_000_69_a_lob_a02_1->r_0069_0006__Monday [nim] r_0069_0002__Harvey_r_0069_0003__Ward_r_0069_0004__Salisbury Harvey Ward Salisbury z_000_69_a_lob_a02_1->r_0069_0002__Harvey_r_0069_0003__Ward_r_0069_0004__Salisbury From [nim] 
fof(formula,axiom,
    ? [Z_69_A_LOB_A02_1,R_69_6_MONDAY,R_69_2_HARVEY_WARD_SALISBURY] :
      ( monday(R_69_6_MONDAY)
      & harvey_Ward_Salisbury(R_69_2_HARVEY_WARD_SALISBURY)
      & z_69_a_lob_a02_1(Z_69_A_LOB_A02_1)
      & nim14(Z_69_A_LOB_A02_1,R_69_6_MONDAY)
      & from_nim5(Z_69_A_LOB_A02_1,R_69_2_HARVEY_WARD_SALISBURY) ) ).


n69_a_lob_a02 n69_a_lob_a02__1_1_1_1 From n69_a_lob_a02__1_1_2_1_1 Harvey n69_a_lob_a02__1_1_2_2_1 Ward n69_a_lob_a02__1_1_2_3_1 Salisbury n69_a_lob_a02__1_2_1 , n69_a_lob_a02__1_3_1_1 Monday n69_a_lob_a02__1_4_1 . n69_a_lob_a02__1 FRAG n69_a_lob_a02__1_1 PP n69_a_lob_a02__1->n69_a_lob_a02__1_1 n69_a_lob_a02__1_2 PUNC n69_a_lob_a02__1->n69_a_lob_a02__1_2 n69_a_lob_a02__1_3 NP-NIM n69_a_lob_a02__1->n69_a_lob_a02__1_3 n69_a_lob_a02__1_4 PUNC n69_a_lob_a02__1->n69_a_lob_a02__1_4 n69_a_lob_a02__1_1_1 P-ROLE n69_a_lob_a02__1_1->n69_a_lob_a02__1_1_1 n69_a_lob_a02__1_1_2 NP n69_a_lob_a02__1_1->n69_a_lob_a02__1_1_2 n69_a_lob_a02__1_1_1->n69_a_lob_a02__1_1_1_1 n69_a_lob_a02__1_1_2_1 NPR n69_a_lob_a02__1_1_2->n69_a_lob_a02__1_1_2_1 n69_a_lob_a02__1_1_2_2 NPR n69_a_lob_a02__1_1_2->n69_a_lob_a02__1_1_2_2 n69_a_lob_a02__1_1_2_3 NPR n69_a_lob_a02__1_1_2->n69_a_lob_a02__1_1_2_3 n69_a_lob_a02__1_1_2_1->n69_a_lob_a02__1_1_2_1_1 n69_a_lob_a02__1_1_2_2->n69_a_lob_a02__1_1_2_2_1 n69_a_lob_a02__1_1_2_3->n69_a_lob_a02__1_1_2_3_1 n69_a_lob_a02__1_2->n69_a_lob_a02__1_2_1 n69_a_lob_a02__1_3_1 NPR n69_a_lob_a02__1_3->n69_a_lob_a02__1_3_1 n69_a_lob_a02__1_3_1->n69_a_lob_a02__1_3_1_1 n69_a_lob_a02__1_4->n69_a_lob_a02__1_4_1 
( (FRAG (PP (P-ROLE From;{from})
            (NP (NPR Harvey;{Harvey})
                (NPR Ward;{Ward})
                (NPR Salisbury;{Salisbury})))
        (PUNC ,)
        (NP-NIM (NPR Monday;{Monday}))
        (PUNC .))
  (ID 69_a_lob_a02))