Context                Previous, Next                Top


151_a_dick_1952
Only —”

%3 z_000_151_a_dick_1952_1 r_0151_0001__Only Only z_000_151_a_dick_1952_1->r_0151_0001__Only [nim] 
arc(z_000_151_a_dick_1952_1, r_0151_0001__Only, nim2).


%3 z_000_151_a_dick_1952_1 r_0151_0001__Only Only z_000_151_a_dick_1952_1->r_0151_0001__Only [nim] 
fof(formula,axiom,
    ? [Z_151_A_DICK_1952_1,R_151_1_ONLY] :
      ( only(R_151_1_ONLY)
      & z_151_a_dick_1952_1(Z_151_A_DICK_1952_1)
      & nim2(Z_151_A_DICK_1952_1,R_151_1_ONLY) ) ).


n151_a_dick_1952 n151_a_dick_1952__1_1_1_1 Only n151_a_dick_1952__1_2_1 <mdash> n151_a_dick_1952__1_3_1 <rdquo> n151_a_dick_1952__1 FRAG n151_a_dick_1952__1_1 ADVP-NIM n151_a_dick_1952__1->n151_a_dick_1952__1_1 n151_a_dick_1952__1_2 PUNC n151_a_dick_1952__1->n151_a_dick_1952__1_2 n151_a_dick_1952__1_3 PURQ n151_a_dick_1952__1->n151_a_dick_1952__1_3 n151_a_dick_1952__1_1_1 ADV n151_a_dick_1952__1_1->n151_a_dick_1952__1_1_1 n151_a_dick_1952__1_1_1->n151_a_dick_1952__1_1_1_1 n151_a_dick_1952__1_2->n151_a_dick_1952__1_2_1 n151_a_dick_1952__1_3->n151_a_dick_1952__1_3_1 
( (FRAG (ADVP-NIM (ADV Only;{only}))
        (PUNC <mdash>)
        (PURQ <rdquo>))
  (ID 151_a_dick_1952))