Context                Previous, Next                Top


64_a_lockdown
Three out of those times were birthdays.

%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] 
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_64_5_WERE,R_64_1_THREE,R_64_3_THOSE_TIMES,R_64_6_BIRTHDAYS] :
      ( those_times(R_64_3_THOSE_TIMES)
      & birthdays(R_64_6_BIRTHDAYS)
      & were(R_64_5_WERE,R_64_1_THREE,R_64_6_BIRTHDAYS)
      & three(R_64_1_THREE)
      & out_of(R_64_1_THREE,R_64_3_THOSE_TIMES) ) ).


n64_a_lockdown n64_a_lockdown_4 Three n64_a_lockdown_7 out_of n64_a_lockdown_10 those n64_a_lockdown_12 times n64_a_lockdown_14 were n64_a_lockdown_17 birthdays n64_a_lockdown_19 . n64_a_lockdown_1 IP-MAT n64_a_lockdown_2 NP-SBJ n64_a_lockdown_1->n64_a_lockdown_2 n64_a_lockdown_13 BED;_Ln_ n64_a_lockdown_1->n64_a_lockdown_13 n64_a_lockdown_15 NP-PRD n64_a_lockdown_1->n64_a_lockdown_15 n64_a_lockdown_18 PUNC n64_a_lockdown_1->n64_a_lockdown_18 n64_a_lockdown_3 NUM n64_a_lockdown_2->n64_a_lockdown_3 n64_a_lockdown_5 PP n64_a_lockdown_2->n64_a_lockdown_5 n64_a_lockdown_3->n64_a_lockdown_4 n64_a_lockdown_6 P-ROLE n64_a_lockdown_5->n64_a_lockdown_6 n64_a_lockdown_8 NP n64_a_lockdown_5->n64_a_lockdown_8 n64_a_lockdown_6->n64_a_lockdown_7 n64_a_lockdown_9 D n64_a_lockdown_8->n64_a_lockdown_9 n64_a_lockdown_11 NS n64_a_lockdown_8->n64_a_lockdown_11 n64_a_lockdown_9->n64_a_lockdown_10 n64_a_lockdown_11->n64_a_lockdown_12 n64_a_lockdown_13->n64_a_lockdown_14 n64_a_lockdown_16 NS n64_a_lockdown_15->n64_a_lockdown_16 n64_a_lockdown_16->n64_a_lockdown_17 n64_a_lockdown_18->n64_a_lockdown_19 
( (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))