Context                Previous, Next                Top


310_a_dick_1952
The size of the thing.”

%3 r_0310_0001__The_r_0310_0002__size The size r_0310_0004__the_r_0310_0005__thing the thing r_0310_0001__The_r_0310_0002__size->r_0310_0004__the_r_0310_0005__thing of z_000_310_a_dick_1952_1 z_000_310_a_dick_1952_1->r_0310_0001__The_r_0310_0002__size [nim] 
arc(r_0310_0001__The_r_0310_0002__size, r_0310_0004__the_r_0310_0005__thing, r_0310_0003__of).
arc(z_000_310_a_dick_1952_1, r_0310_0001__The_r_0310_0002__size, nim2).


%3 r_0310_0001__The_r_0310_0002__size The size r_0310_0004__the_r_0310_0005__thing the thing r_0310_0001__The_r_0310_0002__size->r_0310_0004__the_r_0310_0005__thing of z_000_310_a_dick_1952_1 z_000_310_a_dick_1952_1->r_0310_0001__The_r_0310_0002__size [nim] 
fof(formula,axiom,
    ? [Z_310_A_DICK_1952_1,R_310_1_THE_SIZE,R_310_4_THE_THING] :
      ( the_thing(R_310_4_THE_THING)
      & z_310_a_dick_1952_1(Z_310_A_DICK_1952_1)
      & nim2(Z_310_A_DICK_1952_1,R_310_1_THE_SIZE)
      & the_size(R_310_1_THE_SIZE)
      & of(R_310_1_THE_SIZE,R_310_4_THE_THING) ) ).


n310_a_dick_1952 n310_a_dick_1952_4 The n310_a_dick_1952_6 size n310_a_dick_1952_9 of n310_a_dick_1952_12 the n310_a_dick_1952_14 thing n310_a_dick_1952_16 . n310_a_dick_1952_18 <rdquo> n310_a_dick_1952_1 FRAG n310_a_dick_1952_2 NP n310_a_dick_1952_1->n310_a_dick_1952_2 n310_a_dick_1952_15 PUNC n310_a_dick_1952_1->n310_a_dick_1952_15 n310_a_dick_1952_17 PURQ n310_a_dick_1952_1->n310_a_dick_1952_17 n310_a_dick_1952_3 D n310_a_dick_1952_2->n310_a_dick_1952_3 n310_a_dick_1952_5 N n310_a_dick_1952_2->n310_a_dick_1952_5 n310_a_dick_1952_7 PP n310_a_dick_1952_2->n310_a_dick_1952_7 n310_a_dick_1952_3->n310_a_dick_1952_4 n310_a_dick_1952_5->n310_a_dick_1952_6 n310_a_dick_1952_8 P-ROLE n310_a_dick_1952_7->n310_a_dick_1952_8 n310_a_dick_1952_10 NP n310_a_dick_1952_7->n310_a_dick_1952_10 n310_a_dick_1952_8->n310_a_dick_1952_9 n310_a_dick_1952_11 D n310_a_dick_1952_10->n310_a_dick_1952_11 n310_a_dick_1952_13 N n310_a_dick_1952_10->n310_a_dick_1952_13 n310_a_dick_1952_11->n310_a_dick_1952_12 n310_a_dick_1952_13->n310_a_dick_1952_14 n310_a_dick_1952_15->n310_a_dick_1952_16 n310_a_dick_1952_17->n310_a_dick_1952_18 
( (FRAG (NP (D The;{the})
            (N size;{size})
            (PP (P-ROLE of;{of})
                (NP (D the;{the})
                    (N thing;{thing}))))
        (PUNC .)
        (PURQ <rdquo>))
  (ID 310_a_dick_1952))