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

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_0007__rebind,arg1).
arc(r_0008_0007__rebind,r_0008_0005__you,arg0).
arc(r_0008_0007__rebind,r_0008_0008__these_r_0008_0009__keys,arg1).
arc(r_0008_0007__rebind,r_0008_0011__a_r_0008_0012__setup,r_0008_0010__to__nim).
arc(r_0008_0015__find,r_0008_0005__you,arg0).
arc(r_0008_0015__find,r_0008_0011__a_r_0008_0012__setup,inv_arg1).
arc(r_0008_0015__find,r_0008_0017__comfortable,prd).
arc(r_0008_0017__comfortable,r_0008_0016__more,qual).

fof(formula,axiom,
    ! [R_0008_0002__SOURCE_R_0008_0003__PORTS] :
      ( r_0008_0002__source_r_0008_0003__ports(R_0008_0002__SOURCE_R_0008_0003__PORTS)
     => ? [R_0008_0005__YOU,R_0008_0008__THESE_R_0008_0009__KEYS,R_0008_0016__MORE,R_0008_0017__COMFORTABLE,R_0008_0015__FIND,R_0008_0011__A_R_0008_0012__SETUP,R_0008_0007__REBIND,R_0008_0004__ALLOW] :
          ( r_0008_0005__you(R_0008_0005__YOU)
          & r_0008_0008__these_r_0008_0009__keys(R_0008_0008__THESE_R_0008_0009__KEYS)
          & r_0008_0016__more(R_0008_0016__MORE)
          & r_0008_0004__allow(R_0008_0004__ALLOW)
          & has_arg1(R_0008_0004__ALLOW,R_0008_0007__REBIND)
          & r_0008_0007__rebind(R_0008_0007__REBIND)
          & has_r_0008_0010__to__nim(R_0008_0007__REBIND,R_0008_0011__A_R_0008_0012__SETUP)
          & r_0008_0011__a_r_0008_0012__setup(R_0008_0011__A_R_0008_0012__SETUP)
          & has_inv_arg1(R_0008_0011__A_R_0008_0012__SETUP,R_0008_0015__FIND)
          & r_0008_0015__find(R_0008_0015__FIND)
          & has_prd(R_0008_0015__FIND,R_0008_0017__COMFORTABLE)
          & r_0008_0017__comfortable(R_0008_0017__COMFORTABLE)
          & has_qual(R_0008_0017__COMFORTABLE,R_0008_0016__MORE)
          & has_arg0(R_0008_0015__FIND,R_0008_0005__YOU)
          & has_arg1(R_0008_0007__REBIND,R_0008_0008__THESE_R_0008_0009__KEYS)
          & has_arg0(R_0008_0007__REBIND,R_0008_0005__YOU)
          & has_arg0(R_0008_0004__ALLOW,R_0008_0002__SOURCE_R_0008_0003__PORTS) ) ) ).