8_a_freedoom
All source ports allow you to rebind these keys to a setup that you find more comfortable.
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))