Context                Previous, Next                Top


100_a_lob_a01
Mr Brown went on:

%3 r_0100_0003__went_r_0100_0004__on went on r_0100_0001__Mr_r_0100_0002__Brown Mr Brown r_0100_0003__went_r_0100_0004__on->r_0100_0001__Mr_r_0100_0002__Brown [arg0] 
arc(r_0100_0003__went_r_0100_0004__on, r_0100_0001__Mr_r_0100_0002__Brown, arg0).


%3 r_0100_0003__went_r_0100_0004__on went on r_0100_0001__Mr_r_0100_0002__Brown Mr Brown r_0100_0003__went_r_0100_0004__on->r_0100_0001__Mr_r_0100_0002__Brown [arg0] 
fof(formula,axiom,
    ? [R_0100_0001__MR_R_0100_0002__BROWN,R_0100_0003__WENT_R_0100_0004__ON] :
      ( r_0100_0001__Mr_r_0100_0002__Brown(R_0100_0001__MR_R_0100_0002__BROWN)
      & r_0100_0003__went_r_0100_0004__on(R_0100_0003__WENT_R_0100_0004__ON)
      & has_arg0(R_0100_0003__WENT_R_0100_0004__ON,R_0100_0001__MR_R_0100_0002__BROWN) ) ).


n100_a_lob_a01 n100_a_lob_a01__1_1_1_1 Mr n100_a_lob_a01__1_1_2_1 Brown n100_a_lob_a01__1_2_1 went n100_a_lob_a01__1_3_1 on n100_a_lob_a01__1_4_1 : n100_a_lob_a01__1 IP-MAT n100_a_lob_a01__1_1 NP-SBJ n100_a_lob_a01__1->n100_a_lob_a01__1_1 n100_a_lob_a01__1_2 VBD;__ n100_a_lob_a01__1->n100_a_lob_a01__1_2 n100_a_lob_a01__1_3 RP n100_a_lob_a01__1->n100_a_lob_a01__1_3 n100_a_lob_a01__1_4 PUNC n100_a_lob_a01__1->n100_a_lob_a01__1_4 n100_a_lob_a01__1_1_1 N n100_a_lob_a01__1_1->n100_a_lob_a01__1_1_1 n100_a_lob_a01__1_1_2 NPR n100_a_lob_a01__1_1->n100_a_lob_a01__1_1_2 n100_a_lob_a01__1_1_1->n100_a_lob_a01__1_1_1_1 n100_a_lob_a01__1_1_2->n100_a_lob_a01__1_1_2_1 n100_a_lob_a01__1_2->n100_a_lob_a01__1_2_1 n100_a_lob_a01__1_3->n100_a_lob_a01__1_3_1 n100_a_lob_a01__1_4->n100_a_lob_a01__1_4_1 
( (IP-MAT (NP-SBJ (N Mr;{mr})
                  (NPR Brown;{Brown}))
          (VBD;__ went;{go})
          (RP on;{on})
          (PUNC :))
  (ID 100_a_lob_a01))