Context                Previous, Next                Top


30_a_hardy_1883
Nineteen persons were gathered here.

n30_a_hardy_1883 n30_a_hardy_1883__1_1_1_1 Nineteen n30_a_hardy_1883__1_1_2_1 persons n30_a_hardy_1883__1_2_1 were n30_a_hardy_1883__1_3_1_1 * n30_a_hardy_1883__1_3_2_1 gathered n30_a_hardy_1883__1_3_3_1_1 here n30_a_hardy_1883__1_4_1 . n30_a_hardy_1883__1 IP-MAT n30_a_hardy_1883__1_1 NP-SBJ n30_a_hardy_1883__1->n30_a_hardy_1883__1_1 n30_a_hardy_1883__1_2 BED;_cat_VePASS_ n30_a_hardy_1883__1->n30_a_hardy_1883__1_2 n30_a_hardy_1883__1_3 IP-PPL-CAT n30_a_hardy_1883__1->n30_a_hardy_1883__1_3 n30_a_hardy_1883__1_4 PUNC n30_a_hardy_1883__1->n30_a_hardy_1883__1_4 n30_a_hardy_1883__1_1_1 NUM n30_a_hardy_1883__1_1->n30_a_hardy_1883__1_1_1 n30_a_hardy_1883__1_1_2 NS n30_a_hardy_1883__1_1->n30_a_hardy_1883__1_1_2 n30_a_hardy_1883__1_1_1->n30_a_hardy_1883__1_1_1_1 n30_a_hardy_1883__1_1_2->n30_a_hardy_1883__1_1_2_1 n30_a_hardy_1883__1_2->n30_a_hardy_1883__1_2_1 n30_a_hardy_1883__1_3_1 NP-LGS n30_a_hardy_1883__1_3->n30_a_hardy_1883__1_3_1 n30_a_hardy_1883__1_3_2 VVN;_Tn_ n30_a_hardy_1883__1_3->n30_a_hardy_1883__1_3_2 n30_a_hardy_1883__1_3_3 ADVP-NIM n30_a_hardy_1883__1_3->n30_a_hardy_1883__1_3_3 n30_a_hardy_1883__1_3_1->n30_a_hardy_1883__1_3_1_1 n30_a_hardy_1883__1_3_2->n30_a_hardy_1883__1_3_2_1 n30_a_hardy_1883__1_3_3_1 ADV n30_a_hardy_1883__1_3_3->n30_a_hardy_1883__1_3_3_1 n30_a_hardy_1883__1_3_3_1->n30_a_hardy_1883__1_3_3_1_1 n30_a_hardy_1883__1_4->n30_a_hardy_1883__1_4_1 
( (IP-MAT (NP-SBJ (NUM Nineteen;{nineteen})
                  (NS persons;{person}))
          (BED;_cat_VePASS_ were;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ gathered;{gather})
                      (ADVP-NIM (ADV here;{here})))
          (PUNC .))
  (ID 30_a_hardy_1883))


%3 r_0030_0004__gathered gathered z_0030_5004___star_ * r_0030_0004__gathered->z_0030_5004___star_ [arg0] r_0030_0005__here here r_0030_0004__gathered->r_0030_0005__here [nim] r_0030_0001__Nineteen_r_0030_0002__persons Nineteen persons r_0030_0004__gathered->r_0030_0001__Nineteen_r_0030_0002__persons [arg1] r_0030_0003__were were r_0030_0003__were->r_0030_0004__gathered [scope] 
arc(r_0030_0003__were,r_0030_0004__gathered,scope).
arc(r_0030_0004__gathered,r_0030_0001__Nineteen_r_0030_0002__persons,arg1).
arc(r_0030_0004__gathered,r_0030_0005__here,nim).
arc(r_0030_0004__gathered,z_0030_5004___star_,arg0).


%3 r_0030_0003__were_r_0030_0004__gathered were gathered r_0030_0001__Nineteen_r_0030_0002__persons Nineteen persons r_0030_0003__were_r_0030_0004__gathered->r_0030_0001__Nineteen_r_0030_0002__persons [arg1] r_0030_0005__here here r_0030_0003__were_r_0030_0004__gathered->r_0030_0005__here [nim] z_0030_5004___star_ * r_0030_0003__were_r_0030_0004__gathered->z_0030_5004___star_ [arg0] 
fof(formula,axiom,
    ? [R_0030_0001__NINETEEN_R_0030_0002__PERSONS,R_0030_0005__HERE,Z_0030_5004___STAR_,R_0030_0003__WERE_R_0030_0004__GATHERED] :
      ( r_0030_0001__Nineteen_r_0030_0002__persons(R_0030_0001__NINETEEN_R_0030_0002__PERSONS)
      & r_0030_0005__here(R_0030_0005__HERE)
      & z_0030_5004___star_(Z_0030_5004___STAR_)
      & r_0030_0003__were_r_0030_0004__gathered(R_0030_0003__WERE_R_0030_0004__GATHERED)
      & has_arg0(R_0030_0003__WERE_R_0030_0004__GATHERED,Z_0030_5004___STAR_)
      & has_nim(R_0030_0003__WERE_R_0030_0004__GATHERED,R_0030_0005__HERE)
      & has_arg1(R_0030_0003__WERE_R_0030_0004__GATHERED,R_0030_0001__NINETEEN_R_0030_0002__PERSONS) ) ).