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_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 
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__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))