arc(r_0008_0001__All_quant, r_0008_0002__source_r_0008_0003__ports, restriction).
arc(r_0008_0001__All_quant, r_0008_0004__allow, scope).
arc(r_0008_0004__allow, r_0008_0002__source_r_0008_0003__ports, arg0).
arc(r_0008_0004__allow, r_0008_0006__to_r_0008_0007__rebind, arg1).
arc(r_0008_0006__to_r_0008_0007__rebind, r_0008_0005__you, arg0).
arc(r_0008_0006__to_r_0008_0007__rebind, r_0008_0008__these_r_0008_0009__keys, arg1).
arc(r_0008_0006__to_r_0008_0007__rebind, r_0008_0011__a_r_0008_0012__setup, r_0008_0010__to_nim27).
arc(r_0008_0013__that_r_0008_0015__find, r_0008_0005__you, arg0).
arc(r_0008_0013__that_r_0008_0015__find, r_0008_0011__a_r_0008_0012__setup, arg1).
arc(r_0008_0013__that_r_0008_0015__find, r_0008_0017__comfortable, prd).
arc(r_0008_0017__comfortable, r_0008_0016__more, qual43).

fof(formula,axiom,
    ? [R_8_13_THAT_FIND,R_8_5_YOU,R_8_11_A_SETUP,R_8_17_COMFORTABLE,R_8_16_MORE] :
      ( you(R_8_5_YOU)
      & a_setup(R_8_11_A_SETUP)
      & more(R_8_16_MORE)
      & ! [R_8_2_SOURCE_PORTS] :
          ( source_ports(R_8_2_SOURCE_PORTS)
         => ? [R_8_4_ALLOW,R_8_6_TO_REBIND,R_8_8_THESE_KEYS] :
              ( these_keys(R_8_8_THESE_KEYS)
              & allow(R_8_4_ALLOW,R_8_2_SOURCE_PORTS,R_8_6_TO_REBIND)
              & to_rebind(R_8_6_TO_REBIND,R_8_5_YOU,R_8_8_THESE_KEYS)
              & to_nim27(R_8_6_TO_REBIND,R_8_11_A_SETUP) ) )
      & that_find(R_8_13_THAT_FIND,R_8_5_YOU,R_8_11_A_SETUP,R_8_17_COMFORTABLE)
      & comfortable(R_8_17_COMFORTABLE)
      & qual43(R_8_17_COMFORTABLE,R_8_16_MORE) ) ).

( (IP-MAT (NP-SBJ (Q All;{all})
                  (N source;{source})
                  (NS ports;{port}))
          (VBP;_Tnt_ allow;{allow})
          (NP-DOB1 (PRO you;{you}))
          (IP-INF-OB1 (TO to;{to})
                      (VB;_Tn_ rebind;{rebind})
                      (NP-OB1;{KEYS} (D these;{these})
                                     (NS keys;{key}))
                      (PP-NIM (P-ROLE to;{to})
                              (NP (D a;{a})
                                  (N setup;{setup})
                                  (IP-REL (C that;{that})
                                          (NP-OB1 *T*)
                                          (NP-SBJ (PRO you;{you}))
                                          (VBP;_La_ find;{find})
                                          (ADJP-PRD (ADVP (ADVR more;{more}))
                                                    (ADJ comfortable;{comfortable}))))))
          (PUNC .))
  (ID 8_a_freedoom))