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_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]
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_4 From n69_a_lob_a02_7 Harvey n69_a_lob_a02_9 Ward n69_a_lob_a02_11 Salisbury n69_a_lob_a02_13 , n69_a_lob_a02_16 Monday n69_a_lob_a02_18 . n69_a_lob_a02_1 FRAG n69_a_lob_a02_2 PP n69_a_lob_a02_1->n69_a_lob_a02_2 n69_a_lob_a02_12 PUNC n69_a_lob_a02_1->n69_a_lob_a02_12 n69_a_lob_a02_14 NP-NIM n69_a_lob_a02_1->n69_a_lob_a02_14 n69_a_lob_a02_17 PUNC n69_a_lob_a02_1->n69_a_lob_a02_17 n69_a_lob_a02_3 P-ROLE n69_a_lob_a02_2->n69_a_lob_a02_3 n69_a_lob_a02_5 NP n69_a_lob_a02_2->n69_a_lob_a02_5 n69_a_lob_a02_3->n69_a_lob_a02_4 n69_a_lob_a02_6 NPR n69_a_lob_a02_5->n69_a_lob_a02_6 n69_a_lob_a02_8 NPR n69_a_lob_a02_5->n69_a_lob_a02_8 n69_a_lob_a02_10 NPR n69_a_lob_a02_5->n69_a_lob_a02_10 n69_a_lob_a02_6->n69_a_lob_a02_7 n69_a_lob_a02_8->n69_a_lob_a02_9 n69_a_lob_a02_10->n69_a_lob_a02_11 n69_a_lob_a02_12->n69_a_lob_a02_13 n69_a_lob_a02_15 NPR n69_a_lob_a02_14->n69_a_lob_a02_15 n69_a_lob_a02_15->n69_a_lob_a02_16 n69_a_lob_a02_17->n69_a_lob_a02_18
( (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))