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.

%3 r_0055_0001__There_r_0055_0002___apos_s There 's r_0055_0013__and_r_0055_0007__and and and r_0055_0001__There_r_0055_0002___apos_s->r_0055_0013__and_r_0055_0007__and [arg0] r_0055_0003__a_r_0055_0006__sensor a sensor r_0055_0013__and_r_0055_0007__and->r_0055_0003__a_r_0055_0006__sensor [conj1] r_0055_0011__and and r_0055_0013__and_r_0055_0007__and->r_0055_0011__and [conj2] z_000_55_a_paulfellows_42 r_0055_0013__and_r_0055_0007__and->z_000_55_a_paulfellows_42 [conj3] r_0055_0004__programmable programmable r_0055_0003__a_r_0055_0006__sensor->r_0055_0004__programmable [attrib] r_0055_0005__infra__hyphen__red infra-red r_0055_0003__a_r_0055_0006__sensor->r_0055_0005__infra__hyphen__red [attrib] r_0055_0009__magnetics_r_0055_0010__ones magnetics ones r_0055_0011__and->r_0055_0009__magnetics_r_0055_0010__ones [conj1] r_0055_0012__key__hyphen__fob key-fob r_0055_0011__and->r_0055_0012__key__hyphen__fob [conj2] r_0055_0015__forth forth z_000_55_a_paulfellows_42->r_0055_0015__forth [qual] r_0055_0014__so so r_0055_0015__forth->r_0055_0014__so [qual] r_0055_0016__and and r_0055_0016__and->r_0055_0001__There_r_0055_0002___apos_s [conj1] r_0055_0018__can can r_0055_0016__and->r_0055_0018__can [conj2] r_0055_0019__do do r_0055_0018__can->r_0055_0019__do [scope] r_0055_0019__do->r_0055_0012__key__hyphen__fob [arg1] r_0055_0017__you you r_0055_0019__do->r_0055_0017__you [arg0] r_0055_0022__well well r_0055_0019__do->r_0055_0022__well [nim] r_0055_0021__really really r_0055_0022__well->r_0055_0021__really [qual]
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).



%3 r_0055_0001__There_r_0055_0002___apos_s There 's r_0055_0013__and_r_0055_0007__and and and r_0055_0001__There_r_0055_0002___apos_s->r_0055_0013__and_r_0055_0007__and [arg0] r_0055_0003__a_r_0055_0006__sensor a sensor r_0055_0013__and_r_0055_0007__and->r_0055_0003__a_r_0055_0006__sensor [conj1] r_0055_0011__and and r_0055_0013__and_r_0055_0007__and->r_0055_0011__and [conj2] z_000_55_a_paulfellows_42 r_0055_0013__and_r_0055_0007__and->z_000_55_a_paulfellows_42 [conj3] r_0055_0004__programmable programmable r_0055_0003__a_r_0055_0006__sensor->r_0055_0004__programmable [attrib] r_0055_0005__infra__hyphen__red infra-red r_0055_0003__a_r_0055_0006__sensor->r_0055_0005__infra__hyphen__red [attrib] r_0055_0009__magnetics_r_0055_0010__ones magnetics ones r_0055_0011__and->r_0055_0009__magnetics_r_0055_0010__ones [conj1] r_0055_0012__key__hyphen__fob key-fob r_0055_0011__and->r_0055_0012__key__hyphen__fob [conj2] r_0055_0015__forth forth z_000_55_a_paulfellows_42->r_0055_0015__forth [qual] r_0055_0014__so so r_0055_0015__forth->r_0055_0014__so [qual] r_0055_0016__and and r_0055_0016__and->r_0055_0001__There_r_0055_0002___apos_s [conj1] r_0055_0018__can_r_0055_0019__do can do r_0055_0016__and->r_0055_0018__can_r_0055_0019__do [conj2] r_0055_0018__can_r_0055_0019__do->r_0055_0012__key__hyphen__fob [arg1] r_0055_0017__you you r_0055_0018__can_r_0055_0019__do->r_0055_0017__you [arg0] r_0055_0022__well well r_0055_0018__can_r_0055_0019__do->r_0055_0022__well [nim] r_0055_0021__really really r_0055_0022__well->r_0055_0021__really [qual]
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) ) ).



n55_a_paulfellows n55_a_paulfellows_5 There n55_a_paulfellows_7 's n55_a_paulfellows_12 a n55_a_paulfellows_15 programmable n55_a_paulfellows_18 infra-red n55_a_paulfellows_20 sensor n55_a_paulfellows_23 and n55_a_paulfellows_26 some n55_a_paulfellows_30 magnetics n55_a_paulfellows_32 ones n55_a_paulfellows_35 and n55_a_paulfellows_38 key-fob n55_a_paulfellows_41 and n55_a_paulfellows_46 so n55_a_paulfellows_48 forth n55_a_paulfellows_51 and n55_a_paulfellows_55 you n55_a_paulfellows_57 can n55_a_paulfellows_60 do n55_a_paulfellows_63 it n55_a_paulfellows_67 really n55_a_paulfellows_69 well n55_a_paulfellows_71 . n55_a_paulfellows_1 IP-MAT n55_a_paulfellows_2 ILYR n55_a_paulfellows_1->n55_a_paulfellows_2 n55_a_paulfellows_70 PUNC n55_a_paulfellows_1->n55_a_paulfellows_70 n55_a_paulfellows_3 ILYR n55_a_paulfellows_2->n55_a_paulfellows_3 n55_a_paulfellows_49 CONJP n55_a_paulfellows_2->n55_a_paulfellows_49 n55_a_paulfellows_4 EX n55_a_paulfellows_3->n55_a_paulfellows_4 n55_a_paulfellows_6 BEP;_ex_V_ n55_a_paulfellows_3->n55_a_paulfellows_6 n55_a_paulfellows_8 NP-ESBJ n55_a_paulfellows_3->n55_a_paulfellows_8 n55_a_paulfellows_4->n55_a_paulfellows_5 n55_a_paulfellows_6->n55_a_paulfellows_7 n55_a_paulfellows_9 NLYR n55_a_paulfellows_8->n55_a_paulfellows_9 n55_a_paulfellows_10 NLYR n55_a_paulfellows_9->n55_a_paulfellows_10 n55_a_paulfellows_21 CONJP n55_a_paulfellows_9->n55_a_paulfellows_21 n55_a_paulfellows_39 CONJP n55_a_paulfellows_9->n55_a_paulfellows_39 n55_a_paulfellows_11 D n55_a_paulfellows_10->n55_a_paulfellows_11 n55_a_paulfellows_13 ADJP n55_a_paulfellows_10->n55_a_paulfellows_13 n55_a_paulfellows_16 ADJP n55_a_paulfellows_10->n55_a_paulfellows_16 n55_a_paulfellows_19 N n55_a_paulfellows_10->n55_a_paulfellows_19 n55_a_paulfellows_11->n55_a_paulfellows_12 n55_a_paulfellows_14 ADJ n55_a_paulfellows_13->n55_a_paulfellows_14 n55_a_paulfellows_14->n55_a_paulfellows_15 n55_a_paulfellows_17 ADJ n55_a_paulfellows_16->n55_a_paulfellows_17 n55_a_paulfellows_17->n55_a_paulfellows_18 n55_a_paulfellows_19->n55_a_paulfellows_20 n55_a_paulfellows_22 CONJ n55_a_paulfellows_21->n55_a_paulfellows_22 n55_a_paulfellows_24 NLYR n55_a_paulfellows_21->n55_a_paulfellows_24 n55_a_paulfellows_22->n55_a_paulfellows_23 n55_a_paulfellows_25 D n55_a_paulfellows_24->n55_a_paulfellows_25 n55_a_paulfellows_27 NLYR n55_a_paulfellows_24->n55_a_paulfellows_27 n55_a_paulfellows_25->n55_a_paulfellows_26 n55_a_paulfellows_28 NLYR n55_a_paulfellows_27->n55_a_paulfellows_28 n55_a_paulfellows_33 CONJP n55_a_paulfellows_27->n55_a_paulfellows_33 n55_a_paulfellows_29 NS n55_a_paulfellows_28->n55_a_paulfellows_29 n55_a_paulfellows_31 NS n55_a_paulfellows_28->n55_a_paulfellows_31 n55_a_paulfellows_29->n55_a_paulfellows_30 n55_a_paulfellows_31->n55_a_paulfellows_32 n55_a_paulfellows_34 CONJ n55_a_paulfellows_33->n55_a_paulfellows_34 n55_a_paulfellows_36 NLYR n55_a_paulfellows_33->n55_a_paulfellows_36 n55_a_paulfellows_34->n55_a_paulfellows_35 n55_a_paulfellows_37 NS n55_a_paulfellows_36->n55_a_paulfellows_37 n55_a_paulfellows_37->n55_a_paulfellows_38 n55_a_paulfellows_40 CONJ n55_a_paulfellows_39->n55_a_paulfellows_40 n55_a_paulfellows_42 NLYR n55_a_paulfellows_39->n55_a_paulfellows_42 n55_a_paulfellows_40->n55_a_paulfellows_41 n55_a_paulfellows_43 ADVP n55_a_paulfellows_42->n55_a_paulfellows_43 n55_a_paulfellows_44 ADVP n55_a_paulfellows_43->n55_a_paulfellows_44 n55_a_paulfellows_47 ADV n55_a_paulfellows_43->n55_a_paulfellows_47 n55_a_paulfellows_45 ADV n55_a_paulfellows_44->n55_a_paulfellows_45 n55_a_paulfellows_45->n55_a_paulfellows_46 n55_a_paulfellows_47->n55_a_paulfellows_48 n55_a_paulfellows_50 CONJ n55_a_paulfellows_49->n55_a_paulfellows_50 n55_a_paulfellows_52 ILYR n55_a_paulfellows_49->n55_a_paulfellows_52 n55_a_paulfellows_50->n55_a_paulfellows_51 n55_a_paulfellows_53 NP-SBJ n55_a_paulfellows_52->n55_a_paulfellows_53 n55_a_paulfellows_56 MD;_cat_Vi_ n55_a_paulfellows_52->n55_a_paulfellows_56 n55_a_paulfellows_58 IP-INF-CAT n55_a_paulfellows_52->n55_a_paulfellows_58 n55_a_paulfellows_54 PRO n55_a_paulfellows_53->n55_a_paulfellows_54 n55_a_paulfellows_54->n55_a_paulfellows_55 n55_a_paulfellows_56->n55_a_paulfellows_57 n55_a_paulfellows_59 DO;_Tn_ n55_a_paulfellows_58->n55_a_paulfellows_59 n55_a_paulfellows_61 NP-OB1 n55_a_paulfellows_58->n55_a_paulfellows_61 n55_a_paulfellows_64 ADVP-NIM n55_a_paulfellows_58->n55_a_paulfellows_64 n55_a_paulfellows_59->n55_a_paulfellows_60 n55_a_paulfellows_62 PRO n55_a_paulfellows_61->n55_a_paulfellows_62 n55_a_paulfellows_62->n55_a_paulfellows_63 n55_a_paulfellows_65 ADVP n55_a_paulfellows_64->n55_a_paulfellows_65 n55_a_paulfellows_68 ADV n55_a_paulfellows_64->n55_a_paulfellows_68 n55_a_paulfellows_66 ADV n55_a_paulfellows_65->n55_a_paulfellows_66 n55_a_paulfellows_66->n55_a_paulfellows_67 n55_a_paulfellows_68->n55_a_paulfellows_69 n55_a_paulfellows_70->n55_a_paulfellows_71
( (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))