( (IP-MAT (NP-SBJ;{GOOGLE} (D The;{the})
                           (N company;{company}))
          (VBP;_phr_Vp.f_ points;{point[out]})
          (RP out;{out})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NEG;_high_ not;{not})
                              (NP-SBJ (Q;_nphd_ everyone;{everyone}))
                              (MD;_cat_Vi_ can;{can})
                              (IP-INF-CAT (VB;_Tn_ make;{make})
                                          (NP-OB1 (N phone;{phone})
                                                  (NS calls;{call}))
                                          (PUNC ,)
                                          (PP-NIM (P-ROLE for;{for})
                                                  (NP (N accessibility;{accessibility})
                                                      (NS reasons;{reason}))))))
          (PUNC .))
  (ID 46_a_duplex))

arc(r_0046_0003__points_r_0046_0004__out,r_0046_0001__The_r_0046_0002__company,arg0).
arc(r_0046_0003__points_r_0046_0004__out,r_0046_0006__not,arg1).
arc(r_0046_0006__not,r_0046_0007__everyone__quant,keep_scope).
arc(r_0046_0007__everyone__quant,r_0046_0008__can,scope).
arc(r_0046_0007__everyone__quant,z_0046_5006,restriction).
arc(r_0046_0008__can,r_0046_0009__make,scope).
arc(r_0046_0009__make,r_0046_0010__phone_r_0046_0011__calls,arg1).
arc(r_0046_0009__make,r_0046_0014__accessibility_r_0046_0015__reasons,r_0046_0013__for__nim).
arc(r_0046_0009__make,z_0046_5006,arg0).

fof(formula,axiom,
    ? [R_0046_0001__THE_R_0046_0002__COMPANY,R_0046_0003__POINTS_R_0046_0004__OUT] :
      ( r_0046_0001__The_r_0046_0002__company(R_0046_0001__THE_R_0046_0002__COMPANY)
      & r_0046_0003__points_r_0046_0004__out(R_0046_0003__POINTS_R_0046_0004__OUT)
      & has_arg1(R_0046_0003__POINTS_R_0046_0004__OUT,R_0046_0006__NOT)
      & ~ ! [Z_0046_5006] :
            ( z_0046_5006(Z_0046_5006)
           => ? [R_0046_0010__PHONE_R_0046_0011__CALLS,R_0046_0014__ACCESSIBILITY_R_0046_0015__REASONS,R_0046_0008__CAN_R_0046_0009__MAKE] :
                ( r_0046_0010__phone_r_0046_0011__calls(R_0046_0010__PHONE_R_0046_0011__CALLS)
                & r_0046_0014__accessibility_r_0046_0015__reasons(R_0046_0014__ACCESSIBILITY_R_0046_0015__REASONS)
                & r_0046_0008__can_r_0046_0009__make(R_0046_0008__CAN_R_0046_0009__MAKE)
                & has_arg0(R_0046_0008__CAN_R_0046_0009__MAKE,Z_0046_5006)
                & has_r_0046_0013__for__nim(R_0046_0008__CAN_R_0046_0009__MAKE,R_0046_0014__ACCESSIBILITY_R_0046_0015__REASONS)
                & has_arg1(R_0046_0008__CAN_R_0046_0009__MAKE,R_0046_0010__PHONE_R_0046_0011__CALLS) ) )
      & has_arg0(R_0046_0003__POINTS_R_0046_0004__OUT,R_0046_0001__THE_R_0046_0002__COMPANY) ) ).