26_a_joyce_1914
He was passing by the house.”

n26_a_joyce_1914 n26_a_joyce_1914__1_1_1_1 He n26_a_joyce_1914__1_2_1 was n26_a_joyce_1914__1_3_1_1 passing n26_a_joyce_1914__1_3_2_1_1 by n26_a_joyce_1914__1_3_2_2_1_1 the n26_a_joyce_1914__1_3_2_2_2_1 house n26_a_joyce_1914__1_4_1 . n26_a_joyce_1914__1_5_1 <rdquo> n26_a_joyce_1914__1 IP-MAT n26_a_joyce_1914__1_1 NP-SBJ n26_a_joyce_1914__1->n26_a_joyce_1914__1_1 n26_a_joyce_1914__1_2 BED;_cat_Vg_ n26_a_joyce_1914__1->n26_a_joyce_1914__1_2 n26_a_joyce_1914__1_3 IP-PPL-CAT n26_a_joyce_1914__1->n26_a_joyce_1914__1_3 n26_a_joyce_1914__1_4 PUNC n26_a_joyce_1914__1->n26_a_joyce_1914__1_4 n26_a_joyce_1914__1_5 PURQ n26_a_joyce_1914__1->n26_a_joyce_1914__1_5 n26_a_joyce_1914__1_1_1 PRO n26_a_joyce_1914__1_1->n26_a_joyce_1914__1_1_1 n26_a_joyce_1914__1_1_1->n26_a_joyce_1914__1_1_1_1 n26_a_joyce_1914__1_2->n26_a_joyce_1914__1_2_1 n26_a_joyce_1914__1_3_1 VAG;_Ipr_ n26_a_joyce_1914__1_3->n26_a_joyce_1914__1_3_1 n26_a_joyce_1914__1_3_2 PP-CLR n26_a_joyce_1914__1_3->n26_a_joyce_1914__1_3_2 n26_a_joyce_1914__1_3_1->n26_a_joyce_1914__1_3_1_1 n26_a_joyce_1914__1_3_2_1 P-ROLE n26_a_joyce_1914__1_3_2->n26_a_joyce_1914__1_3_2_1 n26_a_joyce_1914__1_3_2_2 NP n26_a_joyce_1914__1_3_2->n26_a_joyce_1914__1_3_2_2 n26_a_joyce_1914__1_3_2_1->n26_a_joyce_1914__1_3_2_1_1 n26_a_joyce_1914__1_3_2_2_1 D n26_a_joyce_1914__1_3_2_2->n26_a_joyce_1914__1_3_2_2_1 n26_a_joyce_1914__1_3_2_2_2 N n26_a_joyce_1914__1_3_2_2->n26_a_joyce_1914__1_3_2_2_2 n26_a_joyce_1914__1_3_2_2_1->n26_a_joyce_1914__1_3_2_2_1_1 n26_a_joyce_1914__1_3_2_2_2->n26_a_joyce_1914__1_3_2_2_2_1 n26_a_joyce_1914__1_4->n26_a_joyce_1914__1_4_1 n26_a_joyce_1914__1_5->n26_a_joyce_1914__1_5_1
( (IP-MAT (NP-SBJ;{COTTER} (PRO He;{he}))
          (BED;_cat_Vg_ was;{be})
          (IP-PPL-CAT (VAG;_Ipr_ passing;{pass[by]})
                      (PP-CLR (P-ROLE by;{by})
                              (NP (D the;{the})
                                  (N house;{house}))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 26_a_joyce_1914))



%3 r_0026_0003__passing_r_0026_0004__by passing by r_0026_0005__the_r_0026_0006__house the house r_0026_0003__passing_r_0026_0004__by->r_0026_0005__the_r_0026_0006__house [arg1] r_0026_0001__He He r_0026_0003__passing_r_0026_0004__by->r_0026_0001__He [arg0] r_0026_0002__was was r_0026_0002__was->r_0026_0003__passing_r_0026_0004__by [scope]
arc(r_0026_0002__was,r_0026_0003__passing_r_0026_0004__by,scope).
arc(r_0026_0003__passing_r_0026_0004__by,r_0026_0001__He,arg0).
arc(r_0026_0003__passing_r_0026_0004__by,r_0026_0005__the_r_0026_0006__house,arg1).



%3 r_0026_0002__was_r_0026_0003__passing_r_0026_0004__by was passing by r_0026_0001__He He r_0026_0002__was_r_0026_0003__passing_r_0026_0004__by->r_0026_0001__He [arg0] r_0026_0005__the_r_0026_0006__house the house r_0026_0002__was_r_0026_0003__passing_r_0026_0004__by->r_0026_0005__the_r_0026_0006__house [arg1]
fof(formula,axiom,
    ? [R_0026_0001__HE,R_0026_0005__THE_R_0026_0006__HOUSE,R_0026_0002__WAS_R_0026_0003__PASSING_R_0026_0004__BY] :
      ( r_0026_0001__He(R_0026_0001__HE)
      & r_0026_0005__the_r_0026_0006__house(R_0026_0005__THE_R_0026_0006__HOUSE)
      & r_0026_0002__was_r_0026_0003__passing_r_0026_0004__by(R_0026_0002__WAS_R_0026_0003__PASSING_R_0026_0004__BY)
      & has_arg1(R_0026_0002__WAS_R_0026_0003__PASSING_R_0026_0004__BY,R_0026_0005__THE_R_0026_0006__HOUSE)
      & has_arg0(R_0026_0002__WAS_R_0026_0003__PASSING_R_0026_0004__BY,R_0026_0001__HE) ) ).