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 z_000_10_a_ted_talk_11_1 r_0010_0002__idea idea z_000_10_a_ted_talk_11_1->r_0010_0002__idea [nim] 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] r_0010_0004__this this r_0010_0005__may_r_0010_0006__play_r_0010_0007__out->r_0010_0004__this [arg0] r_0010_0003__how how r_0010_0005__may_r_0010_0006__play_r_0010_0007__out->r_0010_0003__how [nim] r_0010_0001__No_quant No [quant] r_0010_0001__No_quant->z_000_10_a_ted_talk_11_1 [scope] r_0010_0001__No_quant->r_0010_0002__idea [restriction] 
fof(formula,axiom,
    ! [R_0010_0002__IDEA,R_0010_0003__HOW,R_0010_0004__THIS,R_0010_0005__MAY_R_0010_0006__PLAY_R_0010_0007__OUT] :
      ( ( r_0010_0003__how(R_0010_0003__HOW)
        & r_0010_0004__this(R_0010_0004__THIS)
        & r_0010_0002__idea(R_0010_0002__IDEA)
        & has_emb8(R_0010_0002__IDEA,R_0010_0005__MAY_R_0010_0006__PLAY_R_0010_0007__OUT)
        & r_0010_0005__may_r_0010_0006__play_r_0010_0007__out(R_0010_0005__MAY_R_0010_0006__PLAY_R_0010_0007__OUT)
        & has_arg0(R_0010_0005__MAY_R_0010_0006__PLAY_R_0010_0007__OUT,R_0010_0004__THIS)
        & has_nim18(R_0010_0005__MAY_R_0010_0006__PLAY_R_0010_0007__OUT,R_0010_0003__HOW) )
     => ? [Z_000_10_A_TED_TALK_11_1] :
          ( z_000_10_a_ted_talk_11_1(Z_000_10_A_TED_TALK_11_1)
          & has_nim2(Z_000_10_A_TED_TALK_11_1,R_0010_0002__IDEA) ) ) ).


n10_a_ted_talk_11 n10_a_ted_talk_11__1_1_1_1 No n10_a_ted_talk_11__1_1_2_1 idea n10_a_ted_talk_11__1_1_3_1_1_1_1 how n10_a_ted_talk_11__1_1_3_1_2_1_1 this n10_a_ted_talk_11__1_1_3_1_3_1 may n10_a_ted_talk_11__1_1_3_1_4_1_1 *ICH*-168 n10_a_ted_talk_11__1_1_3_1_4_2_1 play n10_a_ted_talk_11__1_1_3_1_4_3_1 out n10_a_ted_talk_11__1_2_1 . n10_a_ted_talk_11__1 FRAG n10_a_ted_talk_11__1_1 NP n10_a_ted_talk_11__1->n10_a_ted_talk_11__1_1 n10_a_ted_talk_11__1_2 PUNC n10_a_ted_talk_11__1->n10_a_ted_talk_11__1_2 n10_a_ted_talk_11__1_1_1 Q n10_a_ted_talk_11__1_1->n10_a_ted_talk_11__1_1_1 n10_a_ted_talk_11__1_1_2 N n10_a_ted_talk_11__1_1->n10_a_ted_talk_11__1_1_2 n10_a_ted_talk_11__1_1_3 CP-QUE n10_a_ted_talk_11__1_1->n10_a_ted_talk_11__1_1_3 n10_a_ted_talk_11__1_1_1->n10_a_ted_talk_11__1_1_1_1 n10_a_ted_talk_11__1_1_2->n10_a_ted_talk_11__1_1_2_1 n10_a_ted_talk_11__1_1_3_1 IP-SUB n10_a_ted_talk_11__1_1_3->n10_a_ted_talk_11__1_1_3_1 n10_a_ted_talk_11__1_1_3_1_1 ADVP-168 n10_a_ted_talk_11__1_1_3_1->n10_a_ted_talk_11__1_1_3_1_1 n10_a_ted_talk_11__1_1_3_1_2 NP-SBJ n10_a_ted_talk_11__1_1_3_1->n10_a_ted_talk_11__1_1_3_1_2 n10_a_ted_talk_11__1_1_3_1_3 MD;_cat_Vi_ n10_a_ted_talk_11__1_1_3_1->n10_a_ted_talk_11__1_1_3_1_3 n10_a_ted_talk_11__1_1_3_1_4 IP-INF-CAT n10_a_ted_talk_11__1_1_3_1->n10_a_ted_talk_11__1_1_3_1_4 n10_a_ted_talk_11__1_1_3_1_1_1 WADV n10_a_ted_talk_11__1_1_3_1_1->n10_a_ted_talk_11__1_1_3_1_1_1 n10_a_ted_talk_11__1_1_3_1_1_1->n10_a_ted_talk_11__1_1_3_1_1_1_1 n10_a_ted_talk_11__1_1_3_1_2_1 D;_nphd_ n10_a_ted_talk_11__1_1_3_1_2->n10_a_ted_talk_11__1_1_3_1_2_1 n10_a_ted_talk_11__1_1_3_1_2_1->n10_a_ted_talk_11__1_1_3_1_2_1_1 n10_a_ted_talk_11__1_1_3_1_3->n10_a_ted_talk_11__1_1_3_1_3_1 n10_a_ted_talk_11__1_1_3_1_4_1 ADVP-NIM n10_a_ted_talk_11__1_1_3_1_4->n10_a_ted_talk_11__1_1_3_1_4_1 n10_a_ted_talk_11__1_1_3_1_4_2 VB;_phr_Vp_ n10_a_ted_talk_11__1_1_3_1_4->n10_a_ted_talk_11__1_1_3_1_4_2 n10_a_ted_talk_11__1_1_3_1_4_3 RP n10_a_ted_talk_11__1_1_3_1_4->n10_a_ted_talk_11__1_1_3_1_4_3 n10_a_ted_talk_11__1_1_3_1_4_1->n10_a_ted_talk_11__1_1_3_1_4_1_1 n10_a_ted_talk_11__1_1_3_1_4_2->n10_a_ted_talk_11__1_1_3_1_4_2_1 n10_a_ted_talk_11__1_1_3_1_4_3->n10_a_ted_talk_11__1_1_3_1_4_3_1 n10_a_ted_talk_11__1_2->n10_a_ted_talk_11__1_2_1 
( (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))