Context                Previous, Next                Top


137_a_ted_talk_11
Did I miss a meeting?

%3 r_0137_0001__Did_r_0137_0003__miss Did miss r_0137_0002__I I r_0137_0001__Did_r_0137_0003__miss->r_0137_0002__I [arg0] r_0137_0004__a_r_0137_0005__meeting a meeting r_0137_0001__Did_r_0137_0003__miss->r_0137_0004__a_r_0137_0005__meeting [arg1] 
arc(r_0137_0001__Did_r_0137_0003__miss, r_0137_0002__I, arg0).
arc(r_0137_0001__Did_r_0137_0003__miss, r_0137_0004__a_r_0137_0005__meeting, arg1).


%3 r_0137_0001__Did_r_0137_0003__miss Did miss r_0137_0002__I I r_0137_0001__Did_r_0137_0003__miss->r_0137_0002__I [arg0] r_0137_0004__a_r_0137_0005__meeting a meeting r_0137_0001__Did_r_0137_0003__miss->r_0137_0004__a_r_0137_0005__meeting [arg1] 
fof(formula,axiom,
    ? [R_137_1_DID_MISS,R_137_2_I,R_137_4_A_MEETING] :
      ( i(R_137_2_I)
      & a_meeting(R_137_4_A_MEETING)
      & did_miss(R_137_1_DID_MISS,R_137_2_I,R_137_4_A_MEETING) ) ).


n137_a_ted_talk_11 n137_a_ted_talk_11_4 Did n137_a_ted_talk_11_7 I n137_a_ted_talk_11_9 miss n137_a_ted_talk_11_12 a n137_a_ted_talk_11_14 meeting n137_a_ted_talk_11_16 ? n137_a_ted_talk_11_1 CP-QUE-MAT n137_a_ted_talk_11_2 IP-SUB n137_a_ted_talk_11_1->n137_a_ted_talk_11_2 n137_a_ted_talk_11_15 PUNC n137_a_ted_talk_11_1->n137_a_ted_talk_11_15 n137_a_ted_talk_11_3 DOD n137_a_ted_talk_11_2->n137_a_ted_talk_11_3 n137_a_ted_talk_11_5 NP-SBJ n137_a_ted_talk_11_2->n137_a_ted_talk_11_5 n137_a_ted_talk_11_8 VB;_Tn_ n137_a_ted_talk_11_2->n137_a_ted_talk_11_8 n137_a_ted_talk_11_10 NP-OB1 n137_a_ted_talk_11_2->n137_a_ted_talk_11_10 n137_a_ted_talk_11_3->n137_a_ted_talk_11_4 n137_a_ted_talk_11_6 PRO n137_a_ted_talk_11_5->n137_a_ted_talk_11_6 n137_a_ted_talk_11_6->n137_a_ted_talk_11_7 n137_a_ted_talk_11_8->n137_a_ted_talk_11_9 n137_a_ted_talk_11_11 D n137_a_ted_talk_11_10->n137_a_ted_talk_11_11 n137_a_ted_talk_11_13 N n137_a_ted_talk_11_10->n137_a_ted_talk_11_13 n137_a_ted_talk_11_11->n137_a_ted_talk_11_12 n137_a_ted_talk_11_13->n137_a_ted_talk_11_14 n137_a_ted_talk_11_15->n137_a_ted_talk_11_16 
( (CP-QUE-MAT (IP-SUB (DOD Did;{do})
                      (NP-SBJ (PRO I;{I}))
                      (VB;_Tn_ miss;{miss})
                      (NP-OB1 (D a;{a})
                              (N meeting;{meeting})))
              (PUNC ?))
  (ID 137_a_ted_talk_11))