( (IP-MAT (ADVP-NIM (ADV Instead;{instead}))
          (PUNC ,)
          (NP-SBJ (PRO;_provisional_ it;{it}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ suggested;{suggest})
                      (CP-THT-NSBJ (IP-SUB (NP-SBJ;{BBC} (PRO we;{we}))
                                           (VBP;_Tn_ air;{air})
                                           (NP-OB1 (NP-GEN;{GOOGLE} (NPR Google;{Google})
                                                                    (GENM <apos>s))
                                                   (ADJP (ADJ promotional;{promotional}))
                                                   (N video;{video}))
                                           (PP-SCON (IP-INF2 (TO to;{to})
                                                             (VB;_Tn_ show;{show})
                                                             (NP-OB1 (D the;{the})
                                                                     (PULQ <ldquo>)
                                                                     (ADJP (ADJ full;{full}))
                                                                     (N context;{context})
                                                                     (PURQ <rdquo>)))))))
          (PUNC .))
  (ID 37_a_duplex))

arc(r_0037_0004__was,r_0037_0001__Instead,nim).
arc(r_0037_0004__was,r_0037_0005__suggested,scope).
arc(r_0037_0005__suggested,z_0037_5007,arg1).
arc(r_0037_0005__suggested,z_0037_5013___star_,arg0).
arc(r_0037_0007__air,r_0037_0006__we,arg0).
arc(r_0037_0007__air,r_0037_0011__video,arg1).
arc(r_0037_0011__video,r_0037_0008__Google,gen).
arc(r_0037_0011__video,r_0037_0010__promotional,attrib).
arc(r_0037_0013__show,r_0037_0006__we,arg0).
arc(r_0037_0013__show,r_0037_0014__the_r_0037_0017__context,arg1).
arc(r_0037_0014__the_r_0037_0017__context,r_0037_0016__full,attrib).
arc(z_0037_5007,r_0037_0007__air,scope).
arc(z_0037_5007,r_0037_0013__show,restriction).

fof(formula,axiom,
    ? [R_0037_0001__INSTEAD,R_0037_0006__WE,R_0037_0008__GOOGLE,R_0037_0010__PROMOTIONAL,R_0037_0011__VIDEO,R_0037_0007__AIR,R_0037_0016__FULL,R_0037_0014__THE_R_0037_0017__CONTEXT,R_0037_0013__SHOW,Z_0037_5007,Z_0037_5013___STAR_,R_0037_0004__WAS_R_0037_0005__SUGGESTED] :
      ( r_0037_0001__Instead(R_0037_0001__INSTEAD)
      & r_0037_0006__we(R_0037_0006__WE)
      & r_0037_0008__Google(R_0037_0008__GOOGLE)
      & r_0037_0010__promotional(R_0037_0010__PROMOTIONAL)
      & r_0037_0016__full(R_0037_0016__FULL)
      & z_0037_5013___star_(Z_0037_5013___STAR_)
      & r_0037_0004__was_r_0037_0005__suggested(R_0037_0004__WAS_R_0037_0005__SUGGESTED)
      & has_arg0(R_0037_0004__WAS_R_0037_0005__SUGGESTED,Z_0037_5013___STAR_)
      & has_arg1(R_0037_0004__WAS_R_0037_0005__SUGGESTED,Z_0037_5007)
      & z_0037_5007(Z_0037_5007)
      & has_conj1(Z_0037_5007,R_0037_0013__SHOW)
      & r_0037_0013__show(R_0037_0013__SHOW)
      & has_arg1(R_0037_0013__SHOW,R_0037_0014__THE_R_0037_0017__CONTEXT)
      & r_0037_0014__the_r_0037_0017__context(R_0037_0014__THE_R_0037_0017__CONTEXT)
      & has_attrib(R_0037_0014__THE_R_0037_0017__CONTEXT,R_0037_0016__FULL)
      & has_arg0(R_0037_0013__SHOW,R_0037_0006__WE)
      & has_conj2(Z_0037_5007,R_0037_0007__AIR)
      & r_0037_0007__air(R_0037_0007__AIR)
      & has_arg1(R_0037_0007__AIR,R_0037_0011__VIDEO)
      & r_0037_0011__video(R_0037_0011__VIDEO)
      & has_attrib(R_0037_0011__VIDEO,R_0037_0010__PROMOTIONAL)
      & has_gen(R_0037_0011__VIDEO,R_0037_0008__GOOGLE)
      & has_arg0(R_0037_0007__AIR,R_0037_0006__WE)
      & has_nim(R_0037_0004__WAS_R_0037_0005__SUGGESTED,R_0037_0001__INSTEAD) ) ).