arc(r_0006_0002__would, r_0006_0004__be, scope).
arc(r_0006_0003__not, r_0006_0002__would, keep_scope).
arc(r_0006_0004__be, r_0006_0001__Google, arg0).
arc(r_0006_0004__be, r_0006_0006__specific, prd).
arc(r_0006_0006__specific, r_0006_0005__more, qual13).
arc(r_0006_0006__specific, r_0006_0011__would, r_0006_0007__about).
arc(r_0006_0009__many, r_0006_0008__how, qual25).
arc(r_0006_0010__firms, r_0006_0009__many, attrib24).
arc(r_0006_0011__would, r_0006_0012__be, scope).
arc(r_0006_0012__be, r_0006_0013__involved, scope).
arc(r_0006_0013__involved, r_0006_0010__firms, arg1).
arc(r_0006_0013__involved, z_000_6_a_duplex_38, arg0).

fof(formula,axiom,
    ~ ? [R_0006_0001__GOOGLE,R_0006_0005__MORE,R_0006_0008__HOW,R_0006_0009__MANY,R_0006_0010__FIRMS,Z_000_6_A_DUPLEX_38,R_0006_0011__WOULD_R_0006_0012__BE_R_0006_0013__INVOLVED,R_0006_0006__SPECIFIC,R_0006_0002__WOULD_R_0006_0004__BE] :
        ( r_0006_0001__Google(R_0006_0001__GOOGLE)
        & r_0006_0005__more(R_0006_0005__MORE)
        & r_0006_0008__how(R_0006_0008__HOW)
        & z_000_6_a_duplex_38(Z_000_6_A_DUPLEX_38)
        & r_0006_0002__would_r_0006_0004__be(R_0006_0002__WOULD_R_0006_0004__BE)
        & has_prd(R_0006_0002__WOULD_R_0006_0004__BE,R_0006_0006__SPECIFIC)
        & r_0006_0006__specific(R_0006_0006__SPECIFIC)
        & has_r_0006_0007__about(R_0006_0006__SPECIFIC,R_0006_0011__WOULD_R_0006_0012__BE_R_0006_0013__INVOLVED)
        & r_0006_0011__would_r_0006_0012__be_r_0006_0013__involved(R_0006_0011__WOULD_R_0006_0012__BE_R_0006_0013__INVOLVED)
        & has_arg0(R_0006_0011__WOULD_R_0006_0012__BE_R_0006_0013__INVOLVED,Z_000_6_A_DUPLEX_38)
        & has_arg1(R_0006_0011__WOULD_R_0006_0012__BE_R_0006_0013__INVOLVED,R_0006_0010__FIRMS)
        & r_0006_0010__firms(R_0006_0010__FIRMS)
        & has_attrib24(R_0006_0010__FIRMS,R_0006_0009__MANY)
        & r_0006_0009__many(R_0006_0009__MANY)
        & has_qual25(R_0006_0009__MANY,R_0006_0008__HOW)
        & has_qual13(R_0006_0006__SPECIFIC,R_0006_0005__MORE)
        & has_arg0(R_0006_0002__WOULD_R_0006_0004__BE,R_0006_0001__GOOGLE) ) ).

( (IP-MAT (NP-SBJ;{GOOGLE} (NPR Google;{Google}))
          (MD;_cat_Vi_ would;{will})
          (NEG not;{not})
          (IP-INF-CAT (BE;_La_ be;{be})
                      (ADJP-PRD (ADVP (ADVR more;{more}))
                                (ADJ specific;{specific})
                                (PP (P-ROLE about;{about})
                                    (CP-QUE (IP-SUB (NP-SBJ (ADJP (ADVP (WADV how;{how}))
                                                                  (ADJ many;{many}))
                                                            (NS firms;{firm}))
                                                    (MD;_cat_Vi_ would;{will})
                                                    (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                                (IP-PPL-CAT (NP-LGS *)
                                                                            (VVN;_Tn_ involved;{involve}))))))))
          (PUNC .))
  (ID 6_a_duplex))