Context                Previous, Next                Top


69_a_lob_a02
From Harvey Ward Salisbury, Monday.

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))


%3 z_0069_5001 r_0069_0006__Monday Monday z_0069_5001->r_0069_0006__Monday [nim] r_0069_0002__Harvey_r_0069_0003__Ward_r_0069_0004__Salisbury Harvey Ward Salisbury z_0069_5001->r_0069_0002__Harvey_r_0069_0003__Ward_r_0069_0004__Salisbury From 
arc(z_0069_5001,r_0069_0002__Harvey_r_0069_0003__Ward_r_0069_0004__Salisbury,r_0069_0001__From).
arc(z_0069_5001,r_0069_0006__Monday,nim).


%3 z_0069_5001 r_0069_0002__Harvey_r_0069_0003__Ward_r_0069_0004__Salisbury Harvey Ward Salisbury z_0069_5001->r_0069_0002__Harvey_r_0069_0003__Ward_r_0069_0004__Salisbury From r_0069_0006__Monday Monday z_0069_5001->r_0069_0006__Monday [nim] 
fof(formula,axiom,
    ? [R_0069_0002__HARVEY_R_0069_0003__WARD_R_0069_0004__SALISBURY,R_0069_0006__MONDAY,Z_0069_5001] :
      ( r_0069_0002__Harvey_r_0069_0003__Ward_r_0069_0004__Salisbury(R_0069_0002__HARVEY_R_0069_0003__WARD_R_0069_0004__SALISBURY)
      & r_0069_0006__Monday(R_0069_0006__MONDAY)
      & z_0069_5001(Z_0069_5001)
      & has_nim(Z_0069_5001,R_0069_0006__MONDAY)
      & has_r_0069_0001__From(Z_0069_5001,R_0069_0002__HARVEY_R_0069_0003__WARD_R_0069_0004__SALISBURY) ) ).