arc(r_0037_0004__was, r_0037_0001__Instead, nim2).
arc(r_0037_0004__was, r_0037_0005__suggested, scope).
arc(r_0037_0005__suggested, z_000_37_a_duplex_13, arg0).
arc(r_0037_0005__suggested, z_000_37_a_duplex_35, arg1).
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_r_0037_0009___apos_s, gen).
arc(r_0037_0011__video, r_0037_0010__promotional, attrib30).
arc(r_0037_0012__to_r_0037_0013__show, r_0037_0006__we, arg0).
arc(r_0037_0012__to_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, attrib46).
arc(z_000_37_a_duplex_35, r_0037_0007__air, scope).
arc(z_000_37_a_duplex_35, r_0037_0012__to_r_0037_0013__show, restriction).

fof(formula,axiom,
    ? [R_0037_0001__INSTEAD,Z_000_37_A_DUPLEX_13,R_0037_0006__WE,R_0037_0008__GOOGLE_R_0037_0009___APOS_S,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_0012__TO_R_0037_0013__SHOW,Z_000_37_A_DUPLEX_35,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_0009___apos_s(R_0037_0008__GOOGLE_R_0037_0009___APOS_S)
      & r_0037_0010__promotional(R_0037_0010__PROMOTIONAL)
      & r_0037_0016__full(R_0037_0016__FULL)
      & z_000_37_a_duplex_13(Z_000_37_A_DUPLEX_13)
      & r_0037_0004__was_r_0037_0005__suggested(R_0037_0004__WAS_R_0037_0005__SUGGESTED)
      & has_arg1(R_0037_0004__WAS_R_0037_0005__SUGGESTED,Z_000_37_A_DUPLEX_35)
      & z_000_37_a_duplex_35(Z_000_37_A_DUPLEX_35)
      & has_conj1(Z_000_37_A_DUPLEX_35,R_0037_0012__TO_R_0037_0013__SHOW)
      & r_0037_0012__to_r_0037_0013__show(R_0037_0012__TO_R_0037_0013__SHOW)
      & has_arg1(R_0037_0012__TO_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_attrib46(R_0037_0014__THE_R_0037_0017__CONTEXT,R_0037_0016__FULL)
      & has_arg0(R_0037_0012__TO_R_0037_0013__SHOW,R_0037_0006__WE)
      & has_conj2(Z_000_37_A_DUPLEX_35,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_attrib30(R_0037_0011__VIDEO,R_0037_0010__PROMOTIONAL)
      & has_gen(R_0037_0011__VIDEO,R_0037_0008__GOOGLE_R_0037_0009___APOS_S)
      & has_arg0(R_0037_0007__AIR,R_0037_0006__WE)
      & has_arg0(R_0037_0004__WAS_R_0037_0005__SUGGESTED,Z_000_37_A_DUPLEX_13)
      & has_nim2(R_0037_0004__WAS_R_0037_0005__SUGGESTED,R_0037_0001__INSTEAD) ) ).

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