Context                Previous, Next                Top


152_a_dick_1952
“Only what?”

%3 z_000_152_a_dick_1952_1 r_0152_0002__Only Only z_000_152_a_dick_1952_1->r_0152_0002__Only [nim] r_0152_0003__what what z_000_152_a_dick_1952_1->r_0152_0003__what [nim] 
arc(z_000_152_a_dick_1952_1, r_0152_0002__Only, nim4).
arc(z_000_152_a_dick_1952_1, r_0152_0003__what, nim7).


%3 z_000_152_a_dick_1952_1 r_0152_0003__what what z_000_152_a_dick_1952_1->r_0152_0003__what [nim] r_0152_0002__Only Only z_000_152_a_dick_1952_1->r_0152_0002__Only [nim] 
fof(formula,axiom,
    ? [R_0152_0002__ONLY,R_0152_0003__WHAT,Z_000_152_A_DICK_1952_1] :
      ( r_0152_0002__Only(R_0152_0002__ONLY)
      & r_0152_0003__what(R_0152_0003__WHAT)
      & z_000_152_a_dick_1952_1(Z_000_152_A_DICK_1952_1)
      & has_nim7(Z_000_152_A_DICK_1952_1,R_0152_0003__WHAT)
      & has_nim4(Z_000_152_A_DICK_1952_1,R_0152_0002__ONLY) ) ).


n152_a_dick_1952 n152_a_dick_1952__1_1_1 <ldquo> n152_a_dick_1952__1_2_1_1 Only n152_a_dick_1952__1_3_1_1 what n152_a_dick_1952__1_4_1 ? n152_a_dick_1952__1_5_1 <rdquo> n152_a_dick_1952__1 FRAG n152_a_dick_1952__1_1 PULQ n152_a_dick_1952__1->n152_a_dick_1952__1_1 n152_a_dick_1952__1_2 ADVP-NIM n152_a_dick_1952__1->n152_a_dick_1952__1_2 n152_a_dick_1952__1_3 NP n152_a_dick_1952__1->n152_a_dick_1952__1_3 n152_a_dick_1952__1_4 PUNC n152_a_dick_1952__1->n152_a_dick_1952__1_4 n152_a_dick_1952__1_5 PURQ n152_a_dick_1952__1->n152_a_dick_1952__1_5 n152_a_dick_1952__1_1->n152_a_dick_1952__1_1_1 n152_a_dick_1952__1_2_1 ADV n152_a_dick_1952__1_2->n152_a_dick_1952__1_2_1 n152_a_dick_1952__1_2_1->n152_a_dick_1952__1_2_1_1 n152_a_dick_1952__1_3_1 WPRO n152_a_dick_1952__1_3->n152_a_dick_1952__1_3_1 n152_a_dick_1952__1_3_1->n152_a_dick_1952__1_3_1_1 n152_a_dick_1952__1_4->n152_a_dick_1952__1_4_1 n152_a_dick_1952__1_5->n152_a_dick_1952__1_5_1 
( (FRAG (PULQ <ldquo>)
        (ADVP-NIM (ADV Only;{only}))
        (NP (WPRO what;{what}))
        (PUNC ?)
        (PURQ <rdquo>))
  (ID 152_a_dick_1952))