387_a_dick_1952
“I must have put my finger over the lens.

%3 r_0387_0003__must must r_0387_0004__have have r_0387_0003__must->r_0387_0004__have [scope] r_0387_0005__put put r_0387_0004__have->r_0387_0005__put [scope] r_0387_0002__I I r_0387_0005__put->r_0387_0002__I [arg0] r_0387_0007__finger finger r_0387_0005__put->r_0387_0007__finger [arg1] r_0387_0009__the_r_0387_0010__lens the lens r_0387_0005__put->r_0387_0009__the_r_0387_0010__lens over [clr] r_0387_0007__finger->r_0387_0002__I [gen]
arc(r_0387_0003__must, r_0387_0004__have, scope).
arc(r_0387_0004__have, r_0387_0005__put, scope).
arc(r_0387_0005__put, r_0387_0002__I, arg0).
arc(r_0387_0005__put, r_0387_0007__finger, arg1).
arc(r_0387_0005__put, r_0387_0009__the_r_0387_0010__lens, r_0387_0008__over_clr24).
arc(r_0387_0007__finger, r_0387_0002__I, gen).



%3 r_0387_0003__must_r_0387_0004__have_r_0387_0005__put must have put r_0387_0002__I I r_0387_0003__must_r_0387_0004__have_r_0387_0005__put->r_0387_0002__I [arg0] r_0387_0007__finger finger r_0387_0003__must_r_0387_0004__have_r_0387_0005__put->r_0387_0007__finger [arg1] r_0387_0009__the_r_0387_0010__lens the lens r_0387_0003__must_r_0387_0004__have_r_0387_0005__put->r_0387_0009__the_r_0387_0010__lens over [clr] r_0387_0007__finger->r_0387_0002__I [gen]
fof(formula,axiom,
    ? [R_387_3_MUST_HAVE_PUT,R_387_7_FINGER,R_387_2_I,R_387_9_THE_LENS] :
      ( i(R_387_2_I)
      & the_lens(R_387_9_THE_LENS)
      & must_have_put(R_387_3_MUST_HAVE_PUT,R_387_2_I,R_387_7_FINGER)
      & finger(R_387_7_FINGER)
      & gen(R_387_7_FINGER,R_387_2_I)
      & over_clr24(R_387_3_MUST_HAVE_PUT,R_387_9_THE_LENS) ) ).



n387_a_dick_1952 n387_a_dick_1952_3 <ldquo> n387_a_dick_1952_6 I n387_a_dick_1952_8 must n387_a_dick_1952_11 have n387_a_dick_1952_14 put n387_a_dick_1952_18 my n387_a_dick_1952_20 finger n387_a_dick_1952_23 over n387_a_dick_1952_26 the n387_a_dick_1952_28 lens n387_a_dick_1952_30 . n387_a_dick_1952_1 IP-MAT n387_a_dick_1952_2 PULQ n387_a_dick_1952_1->n387_a_dick_1952_2 n387_a_dick_1952_4 NP-SBJ n387_a_dick_1952_1->n387_a_dick_1952_4 n387_a_dick_1952_7 MD;_cat_Vi_ n387_a_dick_1952_1->n387_a_dick_1952_7 n387_a_dick_1952_9 IP-INF-CAT n387_a_dick_1952_1->n387_a_dick_1952_9 n387_a_dick_1952_29 PUNC n387_a_dick_1952_1->n387_a_dick_1952_29 n387_a_dick_1952_2->n387_a_dick_1952_3 n387_a_dick_1952_5 PRO n387_a_dick_1952_4->n387_a_dick_1952_5 n387_a_dick_1952_5->n387_a_dick_1952_6 n387_a_dick_1952_7->n387_a_dick_1952_8 n387_a_dick_1952_10 HV;_cat_Ve_ n387_a_dick_1952_9->n387_a_dick_1952_10 n387_a_dick_1952_12 IP-PPL-CAT n387_a_dick_1952_9->n387_a_dick_1952_12 n387_a_dick_1952_10->n387_a_dick_1952_11 n387_a_dick_1952_13 VVN;_Tn.pr_ n387_a_dick_1952_12->n387_a_dick_1952_13 n387_a_dick_1952_15 NP-OB1 n387_a_dick_1952_12->n387_a_dick_1952_15 n387_a_dick_1952_21 PP-CLR n387_a_dick_1952_12->n387_a_dick_1952_21 n387_a_dick_1952_13->n387_a_dick_1952_14 n387_a_dick_1952_16 NP-GEN n387_a_dick_1952_15->n387_a_dick_1952_16 n387_a_dick_1952_19 N n387_a_dick_1952_15->n387_a_dick_1952_19 n387_a_dick_1952_17 PRO;_genm_ n387_a_dick_1952_16->n387_a_dick_1952_17 n387_a_dick_1952_17->n387_a_dick_1952_18 n387_a_dick_1952_19->n387_a_dick_1952_20 n387_a_dick_1952_22 P-ROLE n387_a_dick_1952_21->n387_a_dick_1952_22 n387_a_dick_1952_24 NP n387_a_dick_1952_21->n387_a_dick_1952_24 n387_a_dick_1952_22->n387_a_dick_1952_23 n387_a_dick_1952_25 D n387_a_dick_1952_24->n387_a_dick_1952_25 n387_a_dick_1952_27 N n387_a_dick_1952_24->n387_a_dick_1952_27 n387_a_dick_1952_25->n387_a_dick_1952_26 n387_a_dick_1952_27->n387_a_dick_1952_28 n387_a_dick_1952_29->n387_a_dick_1952_30
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{TANCE} (PRO I;{I}))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (VVN;_Tn.pr_ put;{put})
                                  (NP-OB1 (NP-GEN;{TANCE} (PRO;_genm_ my;{my}))
                                          (N finger;{finger}))
                                  (PP-CLR (P-ROLE over;{over})
                                          (NP (D the;{the})
                                              (N lens;{lens})))))
          (PUNC .))
  (ID 387_a_dick_1952))