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_37_3_WAS,R_37_1_A_DANCING_HYPHEN_PARTY,R_37_4_THE_ALTERNATIVE] :
      ( a_dancing_hyphen_party(R_37_1_A_DANCING_HYPHEN_PARTY)
      & the_alternative(R_37_4_THE_ALTERNATIVE)
      & was(R_37_3_WAS,R_37_1_A_DANCING_HYPHEN_PARTY,R_37_4_THE_ALTERNATIVE) ) ).


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