( (IP-MAT (NP-SBJ (NS Children;{child}))
          (VBP;_I_ dance;{dance})
          (NP-NIM (Q;_nphd_ all;{all})
                  (NLYR (D the;{the})
                        (N time;{time})))
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-SBJ (PRO they;{they}))
                           (BEP;_cat_VePASS_ <apos>re;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tnt_ allowed;{allow})
                                       (IP-INF-OB1 (TO to;{to})))))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (PRO we;{we}))
                       (ADVP-NIM (ADV all;{all}))
                       (DOP do;{do})))
          (PUNC .))
  (ID 134_a_ted_talk_11))

arc(r_0134_0002__dance,r_0134_0001__Children,arg0).
arc(r_0134_0002__dance,r_0134_0014__do,prn).
arc(r_0134_0002__dance,z_0134_5016,nim).
arc(r_0134_0003__all__quant,r_0134_0002__dance,scope).
arc(r_0134_0003__all__quant,z_0134_5016,restriction).
arc(r_0134_0006__if,r_0134_0003__all__quant,scope).
arc(r_0134_0006__if,r_0134_0008___apos_re,restriction).
arc(r_0134_0008___apos_re,r_0134_0009__allowed,scope).
arc(r_0134_0009__allowed,z_0134_5008,arg1).
arc(r_0134_0009__allowed,z_0134_5010___star_,arg0).
arc(r_0134_0014__do,r_0134_0012__we,arg0).
arc(r_0134_0014__do,r_0134_0013__all,nim).
arc(z_0134_5008,r_0134_0007__they,arg0).
arc(z_0134_5016,r_0134_0004__the_r_0134_0005__time,nim).

fof(formula,axiom,
    ! [R_0134_0008___APOS_RE_R_0134_0009__ALLOWED,R_0134_0007__THEY,Z_0134_5008,Z_0134_5010___STAR_] :
      ( ( r_0134_0007__they(R_0134_0007__THEY)
        & z_0134_5010___star_(Z_0134_5010___STAR_)
        & r_0134_0008___apos_re_r_0134_0009__allowed(R_0134_0008___APOS_RE_R_0134_0009__ALLOWED)
        & has_arg0(R_0134_0008___APOS_RE_R_0134_0009__ALLOWED,Z_0134_5010___STAR_)
        & has_arg1(R_0134_0008___APOS_RE_R_0134_0009__ALLOWED,Z_0134_5008)
        & z_0134_5008(Z_0134_5008)
        & has_arg0(Z_0134_5008,R_0134_0007__THEY) )
     => ! [Z_0134_5016,R_0134_0004__THE_R_0134_0005__TIME] :
          ( ( r_0134_0004__the_r_0134_0005__time(R_0134_0004__THE_R_0134_0005__TIME)
            & z_0134_5016(Z_0134_5016)
            & has_nim(Z_0134_5016,R_0134_0004__THE_R_0134_0005__TIME) )
         => ? [R_0134_0001__CHILDREN,R_0134_0012__WE,R_0134_0013__ALL,R_0134_0014__DO,R_0134_0002__DANCE] :
              ( r_0134_0001__Children(R_0134_0001__CHILDREN)
              & r_0134_0012__we(R_0134_0012__WE)
              & r_0134_0013__all(R_0134_0013__ALL)
              & r_0134_0002__dance(R_0134_0002__DANCE)
              & has_nim(R_0134_0002__DANCE,Z_0134_5016)
              & has_prn(R_0134_0002__DANCE,R_0134_0014__DO)
              & r_0134_0014__do(R_0134_0014__DO)
              & has_nim(R_0134_0014__DO,R_0134_0013__ALL)
              & has_arg0(R_0134_0014__DO,R_0134_0012__WE)
              & has_arg0(R_0134_0002__DANCE,R_0134_0001__CHILDREN) ) ) ) ).