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_0003__we we r_0004_0002__were->r_0004_0003__we [prd] r_0004_0001__Who Who r_0004_0002__were->r_0004_0001__Who [arg0] 
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__1_1_1_1_1 Who n4_a_paulfellows__1_1_2_1 were n4_a_paulfellows__1_1_3_1_1 we n4_a_paulfellows__1_2_1 ? n4_a_paulfellows__1 CP-QUE-MAT n4_a_paulfellows__1_1 IP-SUB n4_a_paulfellows__1->n4_a_paulfellows__1_1 n4_a_paulfellows__1_2 PUNC n4_a_paulfellows__1->n4_a_paulfellows__1_2 n4_a_paulfellows__1_1_1 NP-SBJ n4_a_paulfellows__1_1->n4_a_paulfellows__1_1_1 n4_a_paulfellows__1_1_2 BED;_Ln_ n4_a_paulfellows__1_1->n4_a_paulfellows__1_1_2 n4_a_paulfellows__1_1_3 NP-PRD n4_a_paulfellows__1_1->n4_a_paulfellows__1_1_3 n4_a_paulfellows__1_1_1_1 WPRO n4_a_paulfellows__1_1_1->n4_a_paulfellows__1_1_1_1 n4_a_paulfellows__1_1_1_1->n4_a_paulfellows__1_1_1_1_1 n4_a_paulfellows__1_1_2->n4_a_paulfellows__1_1_2_1 n4_a_paulfellows__1_1_3_1 PRO n4_a_paulfellows__1_1_3->n4_a_paulfellows__1_1_3_1 n4_a_paulfellows__1_1_3_1->n4_a_paulfellows__1_1_3_1_1 n4_a_paulfellows__1_2->n4_a_paulfellows__1_2_1 
( (CP-QUE-MAT (IP-SUB (NP-SBJ (WPRO Who;{who}))
                      (BED;_Ln_ were;{be})
                      (NP-PRD (PRO we;{we})))
              (PUNC ?))
  (ID 4_a_paulfellows))