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 z_000_96_a_dick_1952_1 r_0096_0002__What_r_0096_0003__a_r_0096_0004__place What a place z_000_96_a_dick_1952_1->r_0096_0002__What_r_0096_0003__a_r_0096_0004__place [nim] r_0096_0005__to_r_0096_0006__be_r_0096_0007__stuck to be stuck 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_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_11 r_0096_0005__to_r_0096_0006__be_r_0096_0007__stuck->z_000_96_a_dick_1952_11 [arg1] 
fof(formula,axiom,
    ? [R_0096_0002__WHAT_R_0096_0003__A_R_0096_0004__PLACE,Z_000_96_A_DICK_1952_11,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_1] :
      ( r_0096_0002__What_r_0096_0003__a_r_0096_0004__place(R_0096_0002__WHAT_R_0096_0003__A_R_0096_0004__PLACE)
      & z_000_96_a_dick_1952_11(Z_000_96_A_DICK_1952_11)
      & z_000_96_a_dick_1952_17(Z_000_96_A_DICK_1952_17)
      & z_000_96_a_dick_1952_1(Z_000_96_A_DICK_1952_1)
      & has_nim4(Z_000_96_A_DICK_1952_1,R_0096_0002__WHAT_R_0096_0003__A_R_0096_0004__PLACE)
      & r_0096_0005__to_r_0096_0006__be_r_0096_0007__stuck(R_0096_0005__TO_R_0096_0006__BE_R_0096_0007__STUCK)
      & has_arg0(R_0096_0005__TO_R_0096_0006__BE_R_0096_0007__STUCK,Z_000_96_A_DICK_1952_17)
      & has_arg1(R_0096_0005__TO_R_0096_0006__BE_R_0096_0007__STUCK,Z_000_96_A_DICK_1952_11)
      & has_r_0096_0008__in_clr24(R_0096_0005__TO_R_0096_0006__BE_R_0096_0007__STUCK,R_0096_0002__WHAT_R_0096_0003__A_R_0096_0004__PLACE) ) ).


n96_a_dick_1952 n96_a_dick_1952__1_1_1 <ldquo> n96_a_dick_1952__1_2_1_1 What n96_a_dick_1952__1_2_2_1 a n96_a_dick_1952__1_2_3_1 place n96_a_dick_1952__1_2_4_1_1 to n96_a_dick_1952__1_2_4_2_1 be n96_a_dick_1952__1_2_4_3_1_1 * n96_a_dick_1952__1_2_4_3_2_1 stuck n96_a_dick_1952__1_2_4_3_3_1_1 in n96_a_dick_1952__1_2_4_3_3_2_1 *T* n96_a_dick_1952__1_3_1 . n96_a_dick_1952__1_4_1 <rdquo> n96_a_dick_1952__1 FRAG n96_a_dick_1952__1_1 PULQ n96_a_dick_1952__1->n96_a_dick_1952__1_1 n96_a_dick_1952__1_2 NP n96_a_dick_1952__1->n96_a_dick_1952__1_2 n96_a_dick_1952__1_3 PUNC n96_a_dick_1952__1->n96_a_dick_1952__1_3 n96_a_dick_1952__1_4 PURQ n96_a_dick_1952__1->n96_a_dick_1952__1_4 n96_a_dick_1952__1_1->n96_a_dick_1952__1_1_1 n96_a_dick_1952__1_2_1 WD n96_a_dick_1952__1_2->n96_a_dick_1952__1_2_1 n96_a_dick_1952__1_2_2 D n96_a_dick_1952__1_2->n96_a_dick_1952__1_2_2 n96_a_dick_1952__1_2_3 N n96_a_dick_1952__1_2->n96_a_dick_1952__1_2_3 n96_a_dick_1952__1_2_4 IP-INF-REL n96_a_dick_1952__1_2->n96_a_dick_1952__1_2_4 n96_a_dick_1952__1_2_1->n96_a_dick_1952__1_2_1_1 n96_a_dick_1952__1_2_2->n96_a_dick_1952__1_2_2_1 n96_a_dick_1952__1_2_3->n96_a_dick_1952__1_2_3_1 n96_a_dick_1952__1_2_4_1 TO n96_a_dick_1952__1_2_4->n96_a_dick_1952__1_2_4_1 n96_a_dick_1952__1_2_4_2 BE;_cat_VePASS_ n96_a_dick_1952__1_2_4->n96_a_dick_1952__1_2_4_2 n96_a_dick_1952__1_2_4_3 IP-PPL-CAT n96_a_dick_1952__1_2_4->n96_a_dick_1952__1_2_4_3 n96_a_dick_1952__1_2_4_1->n96_a_dick_1952__1_2_4_1_1 n96_a_dick_1952__1_2_4_2->n96_a_dick_1952__1_2_4_2_1 n96_a_dick_1952__1_2_4_3_1 NP-LGS n96_a_dick_1952__1_2_4_3->n96_a_dick_1952__1_2_4_3_1 n96_a_dick_1952__1_2_4_3_2 VVN;_Tn.pr_ n96_a_dick_1952__1_2_4_3->n96_a_dick_1952__1_2_4_3_2 n96_a_dick_1952__1_2_4_3_3 PP-CLR n96_a_dick_1952__1_2_4_3->n96_a_dick_1952__1_2_4_3_3 n96_a_dick_1952__1_2_4_3_1->n96_a_dick_1952__1_2_4_3_1_1 n96_a_dick_1952__1_2_4_3_2->n96_a_dick_1952__1_2_4_3_2_1 n96_a_dick_1952__1_2_4_3_3_1 P-ROLE n96_a_dick_1952__1_2_4_3_3->n96_a_dick_1952__1_2_4_3_3_1 n96_a_dick_1952__1_2_4_3_3_2 NP n96_a_dick_1952__1_2_4_3_3->n96_a_dick_1952__1_2_4_3_3_2 n96_a_dick_1952__1_2_4_3_3_1->n96_a_dick_1952__1_2_4_3_3_1_1 n96_a_dick_1952__1_2_4_3_3_2->n96_a_dick_1952__1_2_4_3_3_2_1 n96_a_dick_1952__1_3->n96_a_dick_1952__1_3_1 n96_a_dick_1952__1_4->n96_a_dick_1952__1_4_1 
( (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))