44_a_ted_talk_11
So, 15 minutes left.

%3 z_000_44_a_ted_talk_11_1 r_0044_0001__So So z_000_44_a_ted_talk_11_1->r_0044_0001__So [nim] r_0044_0003__15_r_0044_0004__minutes 15 minutes z_000_44_a_ted_talk_11_1->r_0044_0003__15_r_0044_0004__minutes [arg0] r_0044_0005__left left z_000_44_a_ted_talk_11_1->r_0044_0005__left [prd]
arc(z_000_44_a_ted_talk_11_1, r_0044_0001__So, nim2).
arc(z_000_44_a_ted_talk_11_1, r_0044_0003__15_r_0044_0004__minutes, arg0).
arc(z_000_44_a_ted_talk_11_1, r_0044_0005__left, prd).



%3 z_000_44_a_ted_talk_11_1 r_0044_0001__So So z_000_44_a_ted_talk_11_1->r_0044_0001__So [nim] r_0044_0003__15_r_0044_0004__minutes 15 minutes z_000_44_a_ted_talk_11_1->r_0044_0003__15_r_0044_0004__minutes [arg0] r_0044_0005__left left z_000_44_a_ted_talk_11_1->r_0044_0005__left [prd]
fof(formula,axiom,
    ? [Z_44_A_TED_TALK_11_1,R_44_3_15_MINUTES,R_44_1_SO,R_44_5_LEFT] :
      ( 15_minutes(R_44_3_15_MINUTES)
      & so(R_44_1_SO)
      & left(R_44_5_LEFT)
      & z_44_a_ted_talk_11_1(Z_44_A_TED_TALK_11_1,R_44_3_15_MINUTES,R_44_5_LEFT)
      & nim2(Z_44_A_TED_TALK_11_1,R_44_1_SO) ) ).



n44_a_ted_talk_11 n44_a_ted_talk_11_4 So n44_a_ted_talk_11_6 , n44_a_ted_talk_11_9 15 n44_a_ted_talk_11_11 minutes n44_a_ted_talk_11_14 left n44_a_ted_talk_11_16 . n44_a_ted_talk_11_1 IP-MAT n44_a_ted_talk_11_2 ADVP-NIM n44_a_ted_talk_11_1->n44_a_ted_talk_11_2 n44_a_ted_talk_11_5 PUNC n44_a_ted_talk_11_1->n44_a_ted_talk_11_5 n44_a_ted_talk_11_7 NP-SBJ n44_a_ted_talk_11_1->n44_a_ted_talk_11_7 n44_a_ted_talk_11_12 ADJP-PRD n44_a_ted_talk_11_1->n44_a_ted_talk_11_12 n44_a_ted_talk_11_15 PUNC n44_a_ted_talk_11_1->n44_a_ted_talk_11_15 n44_a_ted_talk_11_3 ADV n44_a_ted_talk_11_2->n44_a_ted_talk_11_3 n44_a_ted_talk_11_3->n44_a_ted_talk_11_4 n44_a_ted_talk_11_5->n44_a_ted_talk_11_6 n44_a_ted_talk_11_8 NUM n44_a_ted_talk_11_7->n44_a_ted_talk_11_8 n44_a_ted_talk_11_10 NS n44_a_ted_talk_11_7->n44_a_ted_talk_11_10 n44_a_ted_talk_11_8->n44_a_ted_talk_11_9 n44_a_ted_talk_11_10->n44_a_ted_talk_11_11 n44_a_ted_talk_11_13 ADJ n44_a_ted_talk_11_12->n44_a_ted_talk_11_13 n44_a_ted_talk_11_13->n44_a_ted_talk_11_14 n44_a_ted_talk_11_15->n44_a_ted_talk_11_16
( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (PUNC ,)
          (NP-SBJ (NUM 15)
                  (NS minutes;{minute}))
          (ADJP-PRD (ADJ left;{left}))
          (PUNC .))
  (ID 44_a_ted_talk_11))