TSPC 197_a_ted_talk

197_a_ted_talk_11
Because you are, aren't you?

( (FRAG (PP-SCON (P-CONN Because;{because})
                 (IP-ADV (NP-SBJ (PRO you;{you}))
                         (BEP;_La_ are;{be})))
        (PUNC ,)
        (CP-QUE-TAG (IP-SUB (BEP;_La_ are;{be})
                            (NEG;_clitic_ n<apos>t;{not})
                            (NP-SBJ (PRO you;{you}))))
        (PUNC ?))
  (ID 197_a_ted_talk_11))

arc(r_0197_0001__Because,r_0197_0003__are,restriction).
arc(r_0197_0001__Because,z_0197_5007,scope).
arc(r_0197_0003__are,r_0197_0002__you,arg0).
arc(r_0197_0005__are,r_0197_0007__you,arg0).
arc(r_0197_0006__n_apos_t,r_0197_0005__are,keep_scope).
arc(z_0197_5007,r_0197_0006__n_apos_t,tag).

fof(formula,axiom,
    ? [R_0197_0002__YOU,R_0197_0003__ARE,Z_0197_5007,R_0197_0001__BECAUSE] :
      ( r_0197_0002__you(R_0197_0002__YOU)
      & r_0197_0001__Because(R_0197_0001__BECAUSE)
      & has_conj2(R_0197_0001__BECAUSE,Z_0197_5007)
      & z_0197_5007(Z_0197_5007)
      & has_tag(Z_0197_5007,R_0197_0006__N_APOS_T)
      & ~ ? [R_0197_0007__YOU,R_0197_0005__ARE] :
            ( r_0197_0007__you(R_0197_0007__YOU)
            & r_0197_0005__are(R_0197_0005__ARE)
            & has_arg0(R_0197_0005__ARE,R_0197_0007__YOU) )
      & has_conj1(R_0197_0001__BECAUSE,R_0197_0003__ARE)
      & r_0197_0003__are(R_0197_0003__ARE)
      & has_arg0(R_0197_0003__ARE,R_0197_0002__YOU) ) ).