Context                Previous, Next                Top


37_a_hardy_1883
A dancing-party was the alternative;

%3 r_0037_0003__was was r_0037_0001__A_r_0037_0002__dancing__hyphen__party A dancing-party r_0037_0003__was->r_0037_0001__A_r_0037_0002__dancing__hyphen__party [arg0] r_0037_0004__the_r_0037_0005__alternative the alternative r_0037_0003__was->r_0037_0004__the_r_0037_0005__alternative [prd] 
arc(r_0037_0003__was, r_0037_0001__A_r_0037_0002__dancing__hyphen__party, arg0).
arc(r_0037_0003__was, r_0037_0004__the_r_0037_0005__alternative, prd).


%3 r_0037_0003__was was r_0037_0004__the_r_0037_0005__alternative the alternative r_0037_0003__was->r_0037_0004__the_r_0037_0005__alternative [prd] r_0037_0001__A_r_0037_0002__dancing__hyphen__party A dancing-party r_0037_0003__was->r_0037_0001__A_r_0037_0002__dancing__hyphen__party [arg0] 
fof(formula,axiom,
    ? [R_0037_0001__A_R_0037_0002__DANCING__HYPHEN__PARTY,R_0037_0004__THE_R_0037_0005__ALTERNATIVE,R_0037_0003__WAS] :
      ( r_0037_0001__A_r_0037_0002__dancing__hyphen__party(R_0037_0001__A_R_0037_0002__DANCING__HYPHEN__PARTY)
      & r_0037_0004__the_r_0037_0005__alternative(R_0037_0004__THE_R_0037_0005__ALTERNATIVE)
      & r_0037_0003__was(R_0037_0003__WAS)
      & has_prd(R_0037_0003__WAS,R_0037_0004__THE_R_0037_0005__ALTERNATIVE)
      & has_arg0(R_0037_0003__WAS,R_0037_0001__A_R_0037_0002__DANCING__HYPHEN__PARTY) ) ).


n37_a_hardy_1883 n37_a_hardy_1883__1_1_1_1 A n37_a_hardy_1883__1_1_2_1 dancing-party n37_a_hardy_1883__1_2_1 was n37_a_hardy_1883__1_3_1_1 the n37_a_hardy_1883__1_3_2_1 alternative n37_a_hardy_1883__1_4_1 ; n37_a_hardy_1883__1 IP-MAT n37_a_hardy_1883__1_1 NP-SBJ n37_a_hardy_1883__1->n37_a_hardy_1883__1_1 n37_a_hardy_1883__1_2 BED;_Ln_ n37_a_hardy_1883__1->n37_a_hardy_1883__1_2 n37_a_hardy_1883__1_3 NP-PRD n37_a_hardy_1883__1->n37_a_hardy_1883__1_3 n37_a_hardy_1883__1_4 PUNC n37_a_hardy_1883__1->n37_a_hardy_1883__1_4 n37_a_hardy_1883__1_1_1 D n37_a_hardy_1883__1_1->n37_a_hardy_1883__1_1_1 n37_a_hardy_1883__1_1_2 N n37_a_hardy_1883__1_1->n37_a_hardy_1883__1_1_2 n37_a_hardy_1883__1_1_1->n37_a_hardy_1883__1_1_1_1 n37_a_hardy_1883__1_1_2->n37_a_hardy_1883__1_1_2_1 n37_a_hardy_1883__1_2->n37_a_hardy_1883__1_2_1 n37_a_hardy_1883__1_3_1 D n37_a_hardy_1883__1_3->n37_a_hardy_1883__1_3_1 n37_a_hardy_1883__1_3_2 N n37_a_hardy_1883__1_3->n37_a_hardy_1883__1_3_2 n37_a_hardy_1883__1_3_1->n37_a_hardy_1883__1_3_1_1 n37_a_hardy_1883__1_3_2->n37_a_hardy_1883__1_3_2_1 n37_a_hardy_1883__1_4->n37_a_hardy_1883__1_4_1 
( (IP-MAT (NP-SBJ (D A;{a})
                  (N dancing_<hyphen>_party;{dancing_party}))
          (BED;_Ln_ was;{be})
          (NP-PRD (D the;{the})
                  (N alternative;{alternative}))
          (PUNC ;))
  (ID 37_a_hardy_1883))