Context                Previous, Next                Top


4_a_paulfellows
Who were 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))


%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] 
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_0004_0001__WHO,R_0004_0003__WE,R_0004_0002__WERE] :
      ( r_0004_0001__Who(R_0004_0001__WHO)
      & r_0004_0003__we(R_0004_0003__WE)
      & r_0004_0002__were(R_0004_0002__WERE)
      & has_prd(R_0004_0002__WERE,R_0004_0003__WE)
      & has_arg0(R_0004_0002__WERE,R_0004_0001__WHO) ) ).