Context                Previous, Next                Top


96_a_dick_1952
“What a place to be stuck in.”

%3 r_0096_0005__to_r_0096_0006__be to be r_0096_0007__stuck stuck r_0096_0005__to_r_0096_0006__be->r_0096_0007__stuck [scope] r_0096_0002__What_r_0096_0003__a_r_0096_0004__place What a place r_0096_0007__stuck->r_0096_0002__What_r_0096_0003__a_r_0096_0004__place in [clr] z_000_96_a_dick_1952_11 r_0096_0007__stuck->z_000_96_a_dick_1952_11 [arg1] z_000_96_a_dick_1952_17 r_0096_0007__stuck->z_000_96_a_dick_1952_17 [arg0] z_000_96_a_dick_1952_1 z_000_96_a_dick_1952_1->r_0096_0002__What_r_0096_0003__a_r_0096_0004__place [nim] 
arc(r_0096_0005__to_r_0096_0006__be, r_0096_0007__stuck, scope).
arc(r_0096_0007__stuck, r_0096_0002__What_r_0096_0003__a_r_0096_0004__place, r_0096_0008__in_clr24).
arc(r_0096_0007__stuck, z_000_96_a_dick_1952_11, arg1).
arc(r_0096_0007__stuck, z_000_96_a_dick_1952_17, arg0).
arc(z_000_96_a_dick_1952_1, r_0096_0002__What_r_0096_0003__a_r_0096_0004__place, nim4).


%3 r_0096_0005__to_r_0096_0006__be_r_0096_0007__stuck to be stuck r_0096_0002__What_r_0096_0003__a_r_0096_0004__place What a place r_0096_0005__to_r_0096_0006__be_r_0096_0007__stuck->r_0096_0002__What_r_0096_0003__a_r_0096_0004__place in [clr] z_000_96_a_dick_1952_11 r_0096_0005__to_r_0096_0006__be_r_0096_0007__stuck->z_000_96_a_dick_1952_11 [arg1] z_000_96_a_dick_1952_17 r_0096_0005__to_r_0096_0006__be_r_0096_0007__stuck->z_000_96_a_dick_1952_17 [arg0] z_000_96_a_dick_1952_1 z_000_96_a_dick_1952_1->r_0096_0002__What_r_0096_0003__a_r_0096_0004__place [nim] 
fof(formula,axiom,
    ? [R_96_5_TO_BE_STUCK,Z_96_A_DICK_1952_17,Z_96_A_DICK_1952_11,Z_96_A_DICK_1952_1,R_96_2_WHAT_A_PLACE] :
      ( what_a_place(R_96_2_WHAT_A_PLACE)
      & to_be_stuck(R_96_5_TO_BE_STUCK,Z_96_A_DICK_1952_17,Z_96_A_DICK_1952_11)
      & in_clr24(R_96_5_TO_BE_STUCK,R_96_2_WHAT_A_PLACE)
      & z_96_a_dick_1952_1(Z_96_A_DICK_1952_1)
      & nim4(Z_96_A_DICK_1952_1,R_96_2_WHAT_A_PLACE) ) ).


n96_a_dick_1952 n96_a_dick_1952_3 <ldquo> n96_a_dick_1952_6 What n96_a_dick_1952_8 a n96_a_dick_1952_10 place n96_a_dick_1952_13 to n96_a_dick_1952_15 be n96_a_dick_1952_18 * n96_a_dick_1952_20 stuck n96_a_dick_1952_23 in n96_a_dick_1952_25 *T* n96_a_dick_1952_27 . n96_a_dick_1952_29 <rdquo> n96_a_dick_1952_1 FRAG n96_a_dick_1952_2 PULQ n96_a_dick_1952_1->n96_a_dick_1952_2 n96_a_dick_1952_4 NP n96_a_dick_1952_1->n96_a_dick_1952_4 n96_a_dick_1952_26 PUNC n96_a_dick_1952_1->n96_a_dick_1952_26 n96_a_dick_1952_28 PURQ n96_a_dick_1952_1->n96_a_dick_1952_28 n96_a_dick_1952_2->n96_a_dick_1952_3 n96_a_dick_1952_5 WD n96_a_dick_1952_4->n96_a_dick_1952_5 n96_a_dick_1952_7 D n96_a_dick_1952_4->n96_a_dick_1952_7 n96_a_dick_1952_9 N n96_a_dick_1952_4->n96_a_dick_1952_9 n96_a_dick_1952_11 IP-INF-REL n96_a_dick_1952_4->n96_a_dick_1952_11 n96_a_dick_1952_5->n96_a_dick_1952_6 n96_a_dick_1952_7->n96_a_dick_1952_8 n96_a_dick_1952_9->n96_a_dick_1952_10 n96_a_dick_1952_12 TO n96_a_dick_1952_11->n96_a_dick_1952_12 n96_a_dick_1952_14 BE;_cat_VePASS_ n96_a_dick_1952_11->n96_a_dick_1952_14 n96_a_dick_1952_16 IP-PPL-CAT n96_a_dick_1952_11->n96_a_dick_1952_16 n96_a_dick_1952_12->n96_a_dick_1952_13 n96_a_dick_1952_14->n96_a_dick_1952_15 n96_a_dick_1952_17 NP-LGS n96_a_dick_1952_16->n96_a_dick_1952_17 n96_a_dick_1952_19 VVN;_Tn.pr_ n96_a_dick_1952_16->n96_a_dick_1952_19 n96_a_dick_1952_21 PP-CLR n96_a_dick_1952_16->n96_a_dick_1952_21 n96_a_dick_1952_17->n96_a_dick_1952_18 n96_a_dick_1952_19->n96_a_dick_1952_20 n96_a_dick_1952_22 P-ROLE n96_a_dick_1952_21->n96_a_dick_1952_22 n96_a_dick_1952_24 NP n96_a_dick_1952_21->n96_a_dick_1952_24 n96_a_dick_1952_22->n96_a_dick_1952_23 n96_a_dick_1952_24->n96_a_dick_1952_25 n96_a_dick_1952_26->n96_a_dick_1952_27 n96_a_dick_1952_28->n96_a_dick_1952_29 
( (FRAG (PULQ <ldquo>)
        (NP (WD What;{what})
            (D a;{a})
            (N place;{place})
            (IP-INF-REL (TO to;{to})
                        (BE;_cat_VePASS_ be;{be})
                        (IP-PPL-CAT (NP-LGS *)
                                    (VVN;_Tn.pr_ stuck;{stick[in]})
                                    (PP-CLR (P-ROLE in;{in})
                                            (NP *T*)))))
        (PUNC .)
        (PURQ <rdquo>))
  (ID 96_a_dick_1952))