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_0007__everyone_quant, arg1).
arc(r_0046_0005__that_r_0046_0008__can, r_0046_0009__make, scope).
arc(r_0046_0006__not, r_0046_0005__that_r_0046_0008__can, keep_scope).
arc(r_0046_0007__everyone_quant, r_0046_0006__not, scope).
arc(r_0046_0007__everyone_quant, z_000_46_a_duplex_17, restriction).
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_nim35).
arc(r_0046_0009__make, z_000_46_a_duplex_17, arg0).

fof(formula,axiom,
    ? [R_46_3_POINTS_OUT,R_46_1_THE_COMPANY] :
      ( the_company(R_46_1_THE_COMPANY)
      & ! [Z_46_A_DUPLEX_17] :
          ( true
         => ~ ? [R_46_5_THAT_CAN_MAKE,R_46_10_PHONE_CALLS,R_46_14_ACCESSIBILITY_REASONS] :
                ( phone_calls(R_46_10_PHONE_CALLS)
                & accessibility_reasons(R_46_14_ACCESSIBILITY_REASONS)
                & that_can_make(R_46_5_THAT_CAN_MAKE,Z_46_A_DUPLEX_17,R_46_10_PHONE_CALLS)
                & for_nim35(R_46_5_THAT_CAN_MAKE,R_46_14_ACCESSIBILITY_REASONS) ) )
      & arg1(ARG1)
      & points_out(R_46_3_POINTS_OUT,R_46_1_THE_COMPANY) ) ).

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