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_0055_0004__PROGRAMMABLE,R_0055_0005__INFRA__HYPHEN__RED,R_0055_0003__A_R_0055_0006__SENSOR,R_0055_0009__MAGNETICS_R_0055_0010__ONES,R_0055_0012__KEY__HYPHEN__FOB,R_0055_0011__AND,R_0055_0014__SO,R_0055_0015__FORTH,Z_000_55_A_PAULFELLOWS_42,R_0055_0013__AND_R_0055_0007__AND,R_0055_0001__THERE_R_0055_0002___APOS_S,R_0055_0017__YOU,R_0055_0021__REALLY,R_0055_0022__WELL,R_0055_0018__CAN_R_0055_0019__DO,R_0055_0016__AND] :
( r_0055_0004__programmable(R_0055_0004__PROGRAMMABLE)
& r_0055_0005__infra__hyphen__red(R_0055_0005__INFRA__HYPHEN__RED)
& r_0055_0009__magnetics_r_0055_0010__ones(R_0055_0009__MAGNETICS_R_0055_0010__ONES)
& r_0055_0012__key__hyphen__fob(R_0055_0012__KEY__HYPHEN__FOB)
& r_0055_0014__so(R_0055_0014__SO)
& r_0055_0017__you(R_0055_0017__YOU)
& r_0055_0021__really(R_0055_0021__REALLY)
& r_0055_0016__and(R_0055_0016__AND)
& has_conj2(R_0055_0016__AND,R_0055_0018__CAN_R_0055_0019__DO)
& r_0055_0018__can_r_0055_0019__do(R_0055_0018__CAN_R_0055_0019__DO)
& has_nim64(R_0055_0018__CAN_R_0055_0019__DO,R_0055_0022__WELL)
& r_0055_0022__well(R_0055_0022__WELL)
& has_qual65(R_0055_0022__WELL,R_0055_0021__REALLY)
& has_arg0(R_0055_0018__CAN_R_0055_0019__DO,R_0055_0017__YOU)
& has_arg1(R_0055_0018__CAN_R_0055_0019__DO,R_0055_0012__KEY__HYPHEN__FOB)
& has_conj1(R_0055_0016__AND,R_0055_0001__THERE_R_0055_0002___APOS_S)
& r_0055_0001__There_r_0055_0002___apos_s(R_0055_0001__THERE_R_0055_0002___APOS_S)
& has_arg0(R_0055_0001__THERE_R_0055_0002___APOS_S,R_0055_0013__AND_R_0055_0007__AND)
& r_0055_0013__and_r_0055_0007__and(R_0055_0013__AND_R_0055_0007__AND)
& has_conj3(R_0055_0013__AND_R_0055_0007__AND,Z_000_55_A_PAULFELLOWS_42)
& z_000_55_a_paulfellows_42(Z_000_55_A_PAULFELLOWS_42)
& has_qual43(Z_000_55_A_PAULFELLOWS_42,R_0055_0015__FORTH)
& r_0055_0015__forth(R_0055_0015__FORTH)
& has_qual44(R_0055_0015__FORTH,R_0055_0014__SO)
& has_conj2(R_0055_0013__AND_R_0055_0007__AND,R_0055_0011__AND)
& r_0055_0011__and(R_0055_0011__AND)
& has_conj2(R_0055_0011__AND,R_0055_0012__KEY__HYPHEN__FOB)
& has_conj1(R_0055_0011__AND,R_0055_0009__MAGNETICS_R_0055_0010__ONES)
& has_conj1(R_0055_0013__AND_R_0055_0007__AND,R_0055_0003__A_R_0055_0006__SENSOR)
& r_0055_0003__a_r_0055_0006__sensor(R_0055_0003__A_R_0055_0006__SENSOR)
& has_attrib16(R_0055_0003__A_R_0055_0006__SENSOR,R_0055_0005__INFRA__HYPHEN__RED)
& has_attrib13(R_0055_0003__A_R_0055_0006__SENSOR,R_0055_0004__PROGRAMMABLE) ) ).
( (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))