Context                Previous, Next                Top


10_a_ted_talk_11
No idea how this may play out.

%3 r_0010_0001__No_quant No [quant] r_0010_0002__idea idea r_0010_0001__No_quant->r_0010_0002__idea [restriction] z_000_10_a_ted_talk_11_1 r_0010_0001__No_quant->z_000_10_a_ted_talk_11_1 [scope] r_0010_0005__may may r_0010_0002__idea->r_0010_0005__may [emb] z_000_10_a_ted_talk_11_1->r_0010_0002__idea [nim] r_0010_0006__play_r_0010_0007__out play out r_0010_0005__may->r_0010_0006__play_r_0010_0007__out [scope] r_0010_0003__how how r_0010_0006__play_r_0010_0007__out->r_0010_0003__how [nim] r_0010_0004__this this r_0010_0006__play_r_0010_0007__out->r_0010_0004__this [arg0] 
arc(r_0010_0001__No_quant, r_0010_0002__idea, restriction).
arc(r_0010_0001__No_quant, z_000_10_a_ted_talk_11_1, scope).
arc(r_0010_0002__idea, r_0010_0005__may, emb8).
arc(r_0010_0005__may, r_0010_0006__play_r_0010_0007__out, scope).
arc(r_0010_0006__play_r_0010_0007__out, r_0010_0003__how, nim18).
arc(r_0010_0006__play_r_0010_0007__out, r_0010_0004__this, arg0).
arc(z_000_10_a_ted_talk_11_1, r_0010_0002__idea, nim2).


%3 r_0010_0001__No_quant No [quant] r_0010_0002__idea idea r_0010_0001__No_quant->r_0010_0002__idea [restriction] z_000_10_a_ted_talk_11_1 r_0010_0001__No_quant->z_000_10_a_ted_talk_11_1 [scope] r_0010_0005__may_r_0010_0006__play_r_0010_0007__out may play out r_0010_0002__idea->r_0010_0005__may_r_0010_0006__play_r_0010_0007__out [emb] z_000_10_a_ted_talk_11_1->r_0010_0002__idea [nim] r_0010_0003__how how r_0010_0005__may_r_0010_0006__play_r_0010_0007__out->r_0010_0003__how [nim] r_0010_0004__this this r_0010_0005__may_r_0010_0006__play_r_0010_0007__out->r_0010_0004__this [arg0] 
fof(formula,axiom,
    ! [R_10_2_IDEA,R_10_5_MAY_PLAY_OUT,R_10_4_THIS,R_10_3_HOW] :
      ( ( this(R_10_4_THIS)
        & how(R_10_3_HOW)
        & idea(R_10_2_IDEA)
        & emb8(R_10_2_IDEA,R_10_5_MAY_PLAY_OUT)
        & may_play_out(R_10_5_MAY_PLAY_OUT,R_10_4_THIS)
        & nim18(R_10_5_MAY_PLAY_OUT,R_10_3_HOW) )
     => ? [Z_10_A_TED_TALK_11_1] :
          ( z_10_a_ted_talk_11_1(Z_10_A_TED_TALK_11_1)
          & nim2(Z_10_A_TED_TALK_11_1,R_10_2_IDEA) ) ) ).


n10_a_ted_talk_11 n10_a_ted_talk_11_4 No n10_a_ted_talk_11_6 idea n10_a_ted_talk_11_11 how n10_a_ted_talk_11_14 this n10_a_ted_talk_11_16 may n10_a_ted_talk_11_19 *ICH*-168 n10_a_ted_talk_11_21 play n10_a_ted_talk_11_23 out n10_a_ted_talk_11_25 . n10_a_ted_talk_11_1 FRAG n10_a_ted_talk_11_2 NP n10_a_ted_talk_11_1->n10_a_ted_talk_11_2 n10_a_ted_talk_11_24 PUNC n10_a_ted_talk_11_1->n10_a_ted_talk_11_24 n10_a_ted_talk_11_3 Q n10_a_ted_talk_11_2->n10_a_ted_talk_11_3 n10_a_ted_talk_11_5 N n10_a_ted_talk_11_2->n10_a_ted_talk_11_5 n10_a_ted_talk_11_7 CP-QUE n10_a_ted_talk_11_2->n10_a_ted_talk_11_7 n10_a_ted_talk_11_3->n10_a_ted_talk_11_4 n10_a_ted_talk_11_5->n10_a_ted_talk_11_6 n10_a_ted_talk_11_8 IP-SUB n10_a_ted_talk_11_7->n10_a_ted_talk_11_8 n10_a_ted_talk_11_9 ADVP-168 n10_a_ted_talk_11_8->n10_a_ted_talk_11_9 n10_a_ted_talk_11_12 NP-SBJ n10_a_ted_talk_11_8->n10_a_ted_talk_11_12 n10_a_ted_talk_11_15 MD;_cat_Vi_ n10_a_ted_talk_11_8->n10_a_ted_talk_11_15 n10_a_ted_talk_11_17 IP-INF-CAT n10_a_ted_talk_11_8->n10_a_ted_talk_11_17 n10_a_ted_talk_11_10 WADV n10_a_ted_talk_11_9->n10_a_ted_talk_11_10 n10_a_ted_talk_11_10->n10_a_ted_talk_11_11 n10_a_ted_talk_11_13 D;_nphd_ n10_a_ted_talk_11_12->n10_a_ted_talk_11_13 n10_a_ted_talk_11_13->n10_a_ted_talk_11_14 n10_a_ted_talk_11_15->n10_a_ted_talk_11_16 n10_a_ted_talk_11_18 ADVP-NIM n10_a_ted_talk_11_17->n10_a_ted_talk_11_18 n10_a_ted_talk_11_20 VB;_phr_Vp_ n10_a_ted_talk_11_17->n10_a_ted_talk_11_20 n10_a_ted_talk_11_22 RP n10_a_ted_talk_11_17->n10_a_ted_talk_11_22 n10_a_ted_talk_11_18->n10_a_ted_talk_11_19 n10_a_ted_talk_11_20->n10_a_ted_talk_11_21 n10_a_ted_talk_11_22->n10_a_ted_talk_11_23 n10_a_ted_talk_11_24->n10_a_ted_talk_11_25 
( (FRAG (NP (Q No;{no})
            (N idea;{idea})
            (CP-QUE (IP-SUB (ADVP-168 (WADV how;{how}))
                            (NP-SBJ;{FUTURE} (D;_nphd_ this;{this}))
                            (MD;_cat_Vi_ may;{may})
                            (IP-INF-CAT (ADVP-NIM *ICH*-168)
                                        (VB;_phr_Vp_ play;{play[out]})
                                        (RP out;{out})))))
        (PUNC .))
  (ID 10_a_ted_talk_11))