( (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))

arc(r_0010_0001__No__quant,r_0010_0002__idea,restriction).
arc(r_0010_0001__No__quant,z_0010_5010,scope).
arc(r_0010_0002__idea,r_0010_0005__may,emb).
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,nim).
arc(r_0010_0006__play_r_0010_0007__out,r_0010_0004__this,arg0).
arc(z_0010_5010,r_0010_0002__idea,z_0010_5002).

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_emb(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_nim(R_0010_0005__MAY_R_0010_0006__PLAY_R_0010_0007__OUT,R_0010_0003__HOW) )
     => ? [Z_0010_5010] :
          ( z_0010_5010(Z_0010_5010)
          & has_z_0010_5002(Z_0010_5010,R_0010_0002__IDEA) ) ) ).