55_a_paulfellows
There's a programmable infra-red sensor and some magnetics ones and key-fob and so forth and you can do it really well.
arc(r_0055_0001__There_r_0055_0002___apos_s, r_0055_0013__and_r_0055_0007__and, arg0).
arc(r_0055_0003__a_r_0055_0006__sensor, r_0055_0004__programmable, attrib13).
arc(r_0055_0003__a_r_0055_0006__sensor, r_0055_0005__infra__hyphen__red, attrib16).
arc(r_0055_0011__and, r_0055_0009__magnetics_r_0055_0010__ones, conj1).
arc(r_0055_0011__and, r_0055_0012__key__hyphen__fob, conj2).
arc(r_0055_0013__and_r_0055_0007__and, r_0055_0003__a_r_0055_0006__sensor, conj1).
arc(r_0055_0013__and_r_0055_0007__and, r_0055_0011__and, conj2).
arc(r_0055_0013__and_r_0055_0007__and, z_000_55_a_paulfellows_42, conj3).
arc(r_0055_0015__forth, r_0055_0014__so, qual44).
arc(r_0055_0016__and, r_0055_0001__There_r_0055_0002___apos_s, conj1).
arc(r_0055_0016__and, r_0055_0018__can, conj2).
arc(r_0055_0018__can, r_0055_0019__do, scope).
arc(r_0055_0019__do, r_0055_0012__key__hyphen__fob, arg1).
arc(r_0055_0019__do, r_0055_0017__you, arg0).
arc(r_0055_0019__do, r_0055_0022__well, nim64).
arc(r_0055_0022__well, r_0055_0021__really, qual65).
arc(z_000_55_a_paulfellows_42, r_0055_0015__forth, qual43).
fof(formula,axiom,
? [R_55_16_AND,R_55_1_THERE_APOS_S,R_55_13_AND_AND,R_55_3_A_SENSOR,R_55_4_PROGRAMMABLE,R_55_5_INFRA_HYPHEN_RED,R_55_11_AND,R_55_9_MAGNETICS_ONES,Z_55_A_PAULFELLOWS_42,R_55_15_FORTH,R_55_14_SO,R_55_18_CAN_DO,R_55_17_YOU,R_55_12_KEY_HYPHEN_FOB,R_55_22_WELL,R_55_21_REALLY] :
( programmable(R_55_4_PROGRAMMABLE)
& infra_hyphen_red(R_55_5_INFRA_HYPHEN_RED)
& magnetics_ones(R_55_9_MAGNETICS_ONES)
& so(R_55_14_SO)
& you(R_55_17_YOU)
& key_hyphen_fob(R_55_12_KEY_HYPHEN_FOB)
& really(R_55_21_REALLY)
& and(R_55_16_AND)
& conj1(R_55_16_AND,R_55_1_THERE_APOS_S)
& there_apos_s(R_55_1_THERE_APOS_S,R_55_13_AND_AND)
& and_and(R_55_13_AND_AND)
& conj1(R_55_13_AND_AND,R_55_3_A_SENSOR)
& a_sensor(R_55_3_A_SENSOR)
& attrib13(R_55_3_A_SENSOR,R_55_4_PROGRAMMABLE)
& attrib16(R_55_3_A_SENSOR,R_55_5_INFRA_HYPHEN_RED)
& conj2(R_55_13_AND_AND,R_55_11_AND)
& and(R_55_11_AND)
& conj1(R_55_11_AND,R_55_9_MAGNETICS_ONES)
& conj2(R_55_11_AND,R_55_12_KEY_HYPHEN_FOB)
& conj3(R_55_13_AND_AND,Z_55_A_PAULFELLOWS_42)
& z_55_a_paulfellows_42(Z_55_A_PAULFELLOWS_42)
& qual43(Z_55_A_PAULFELLOWS_42,R_55_15_FORTH)
& forth(R_55_15_FORTH)
& qual44(R_55_15_FORTH,R_55_14_SO)
& conj2(R_55_16_AND,R_55_18_CAN_DO)
& can_do(R_55_18_CAN_DO,R_55_17_YOU,R_55_12_KEY_HYPHEN_FOB)
& nim64(R_55_18_CAN_DO,R_55_22_WELL)
& well(R_55_22_WELL)
& qual65(R_55_22_WELL,R_55_21_REALLY) ) ).
( (IP-MAT (ILYR (ILYR (EX There;{there})
(BEP;_ex_V_ <apos>s;{be})
(NP-ESBJ (NLYR (NLYR (D a;{a})
(ADJP (ADJ programmable;{programmable}))
(ADJP (ADJ infra_<hyphen>_red;{infra_red}))
(N sensor;{sensor}))
(CONJP (CONJ and;{and})
(NLYR (D some;{some})
(NLYR (NLYR (NS magnetics;{magnetics})
(NS ones;{one}))
(CONJP (CONJ and;{and})
(NLYR (NS key_<hyphen>_fob;{key_fob}))))))
(CONJP (CONJ and;{and})
(NLYR (ADVP (ADVP (ADV so;{so}))
(ADV forth;{forth})))))))
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (PRO you;{you}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (DO;_Tn_ do;{do})
(NP-OB1 (PRO it;{it}))
(ADVP-NIM (ADVP (ADV really;{really}))
(ADV well;{well}))))))
(PUNC .))
(ID 55_a_paulfellows))