Context                Previous, Next                Top


4_a_paulfellows
Who were we?

%3 r_0004_0002__were were r_0004_0001__Who Who r_0004_0002__were->r_0004_0001__Who [arg0] r_0004_0003__we we r_0004_0002__were->r_0004_0003__we [prd] 
arc(r_0004_0002__were, r_0004_0001__Who, arg0).
arc(r_0004_0002__were, r_0004_0003__we, prd).


%3 r_0004_0002__were were r_0004_0001__Who Who r_0004_0002__were->r_0004_0001__Who [arg0] r_0004_0003__we we r_0004_0002__were->r_0004_0003__we [prd] 
fof(formula,axiom,
    ? [R_4_2_WERE,R_4_1_WHO,R_4_3_WE] :
      ( who(R_4_1_WHO)
      & we(R_4_3_WE)
      & were(R_4_2_WERE,R_4_1_WHO,R_4_3_WE) ) ).


n4_a_paulfellows n4_a_paulfellows_5 Who n4_a_paulfellows_7 were n4_a_paulfellows_10 we n4_a_paulfellows_12 ? n4_a_paulfellows_1 CP-QUE-MAT n4_a_paulfellows_2 IP-SUB n4_a_paulfellows_1->n4_a_paulfellows_2 n4_a_paulfellows_11 PUNC n4_a_paulfellows_1->n4_a_paulfellows_11 n4_a_paulfellows_3 NP-SBJ n4_a_paulfellows_2->n4_a_paulfellows_3 n4_a_paulfellows_6 BED;_Ln_ n4_a_paulfellows_2->n4_a_paulfellows_6 n4_a_paulfellows_8 NP-PRD n4_a_paulfellows_2->n4_a_paulfellows_8 n4_a_paulfellows_4 WPRO n4_a_paulfellows_3->n4_a_paulfellows_4 n4_a_paulfellows_4->n4_a_paulfellows_5 n4_a_paulfellows_6->n4_a_paulfellows_7 n4_a_paulfellows_9 PRO n4_a_paulfellows_8->n4_a_paulfellows_9 n4_a_paulfellows_9->n4_a_paulfellows_10 n4_a_paulfellows_11->n4_a_paulfellows_12 
( (CP-QUE-MAT (IP-SUB (NP-SBJ (WPRO Who;{who}))
                      (BED;_Ln_ were;{be})
                      (NP-PRD (PRO we;{we})))
              (PUNC ?))
  (ID 4_a_paulfellows))