Context                Previous, Next                Top


64_a_lockdown
Three out of those times were birthdays.

n64_a_lockdown n64_a_lockdown__1_1_1_1 Three n64_a_lockdown__1_1_2_1_1 out_of n64_a_lockdown__1_1_2_2_1_1 those n64_a_lockdown__1_1_2_2_2_1 times n64_a_lockdown__1_2_1 were n64_a_lockdown__1_3_1_1 birthdays n64_a_lockdown__1_4_1 . n64_a_lockdown__1 IP-MAT n64_a_lockdown__1_1 NP-SBJ n64_a_lockdown__1->n64_a_lockdown__1_1 n64_a_lockdown__1_2 BED;_Ln_ n64_a_lockdown__1->n64_a_lockdown__1_2 n64_a_lockdown__1_3 NP-PRD n64_a_lockdown__1->n64_a_lockdown__1_3 n64_a_lockdown__1_4 PUNC n64_a_lockdown__1->n64_a_lockdown__1_4 n64_a_lockdown__1_1_1 NUM n64_a_lockdown__1_1->n64_a_lockdown__1_1_1 n64_a_lockdown__1_1_2 PP n64_a_lockdown__1_1->n64_a_lockdown__1_1_2 n64_a_lockdown__1_1_1->n64_a_lockdown__1_1_1_1 n64_a_lockdown__1_1_2_1 P-ROLE n64_a_lockdown__1_1_2->n64_a_lockdown__1_1_2_1 n64_a_lockdown__1_1_2_2 NP n64_a_lockdown__1_1_2->n64_a_lockdown__1_1_2_2 n64_a_lockdown__1_1_2_1->n64_a_lockdown__1_1_2_1_1 n64_a_lockdown__1_1_2_2_1 D n64_a_lockdown__1_1_2_2->n64_a_lockdown__1_1_2_2_1 n64_a_lockdown__1_1_2_2_2 NS n64_a_lockdown__1_1_2_2->n64_a_lockdown__1_1_2_2_2 n64_a_lockdown__1_1_2_2_1->n64_a_lockdown__1_1_2_2_1_1 n64_a_lockdown__1_1_2_2_2->n64_a_lockdown__1_1_2_2_2_1 n64_a_lockdown__1_2->n64_a_lockdown__1_2_1 n64_a_lockdown__1_3_1 NS n64_a_lockdown__1_3->n64_a_lockdown__1_3_1 n64_a_lockdown__1_3_1->n64_a_lockdown__1_3_1_1 n64_a_lockdown__1_4->n64_a_lockdown__1_4_1 
( (IP-MAT (NP-SBJ (NUM Three;{three})
                  (PP (P-ROLE out_of;{out_of})
                      (NP (D those;{those})
                          (NS times;{time}))))
          (BED;_Ln_ were;{be})
          (NP-PRD (NS birthdays;{birthday}))
          (PUNC .))
  (ID 64_a_lockdown;speaker=f))


%3 r_0064_0005__were were r_0064_0006__birthdays birthdays r_0064_0005__were->r_0064_0006__birthdays [prd] r_0064_0001__Three Three r_0064_0005__were->r_0064_0001__Three [arg0] r_0064_0003__those_r_0064_0004__times those times r_0064_0001__Three->r_0064_0003__those_r_0064_0004__times out_of 
arc(r_0064_0001__Three,r_0064_0003__those_r_0064_0004__times,r_0064_0002__out_of).
arc(r_0064_0005__were,r_0064_0001__Three,arg0).
arc(r_0064_0005__were,r_0064_0006__birthdays,prd).


%3 r_0064_0001__Three Three r_0064_0003__those_r_0064_0004__times those times r_0064_0001__Three->r_0064_0003__those_r_0064_0004__times out_of r_0064_0005__were were r_0064_0005__were->r_0064_0001__Three [arg0] r_0064_0006__birthdays birthdays r_0064_0005__were->r_0064_0006__birthdays [prd] 
fof(formula,axiom,
    ? [R_0064_0003__THOSE_R_0064_0004__TIMES,R_0064_0001__THREE,R_0064_0006__BIRTHDAYS,R_0064_0005__WERE] :
      ( r_0064_0003__those_r_0064_0004__times(R_0064_0003__THOSE_R_0064_0004__TIMES)
      & r_0064_0006__birthdays(R_0064_0006__BIRTHDAYS)
      & r_0064_0005__were(R_0064_0005__WERE)
      & has_prd(R_0064_0005__WERE,R_0064_0006__BIRTHDAYS)
      & has_arg0(R_0064_0005__WERE,R_0064_0001__THREE)
      & r_0064_0001__Three(R_0064_0001__THREE)
      & has_r_0064_0002__out_of(R_0064_0001__THREE,R_0064_0003__THOSE_R_0064_0004__TIMES) ) ).