Context                Previous, Next                Top


472_a_dick_1952
“And those crates.

n472_a_dick_1952 n472_a_dick_1952__1_1_1 <ldquo> n472_a_dick_1952__1_2_1 And n472_a_dick_1952__1_3_1_1 those n472_a_dick_1952__1_3_2_1 crates n472_a_dick_1952__1_4_1 . n472_a_dick_1952__1 FRAG n472_a_dick_1952__1_1 PULQ n472_a_dick_1952__1->n472_a_dick_1952__1_1 n472_a_dick_1952__1_2 CONJ n472_a_dick_1952__1->n472_a_dick_1952__1_2 n472_a_dick_1952__1_3 NP n472_a_dick_1952__1->n472_a_dick_1952__1_3 n472_a_dick_1952__1_4 PUNC n472_a_dick_1952__1->n472_a_dick_1952__1_4 n472_a_dick_1952__1_1->n472_a_dick_1952__1_1_1 n472_a_dick_1952__1_2->n472_a_dick_1952__1_2_1 n472_a_dick_1952__1_3_1 D n472_a_dick_1952__1_3->n472_a_dick_1952__1_3_1 n472_a_dick_1952__1_3_2 NS n472_a_dick_1952__1_3->n472_a_dick_1952__1_3_2 n472_a_dick_1952__1_3_1->n472_a_dick_1952__1_3_1_1 n472_a_dick_1952__1_3_2->n472_a_dick_1952__1_3_2_1 n472_a_dick_1952__1_4->n472_a_dick_1952__1_4_1 
( (FRAG (PULQ <ldquo>)
        (CONJ And;{and})
        (NP (D those;{those})
            (NS crates;{crate}))
        (PUNC .))
  (ID 472_a_dick_1952))


%3 z_0472_5004 r_0472_0003__those_r_0472_0004__crates those crates z_0472_5004->r_0472_0003__those_r_0472_0004__crates 
arc(z_0472_5004,r_0472_0003__those_r_0472_0004__crates,z_0472_5002).


%3 z_0472_5004 r_0472_0003__those_r_0472_0004__crates those crates z_0472_5004->r_0472_0003__those_r_0472_0004__crates 
fof(formula,axiom,
    ? [R_0472_0003__THOSE_R_0472_0004__CRATES,Z_0472_5004] :
      ( r_0472_0003__those_r_0472_0004__crates(R_0472_0003__THOSE_R_0472_0004__CRATES)
      & z_0472_5004(Z_0472_5004)
      & has_z_0472_5002(Z_0472_5004,R_0472_0003__THOSE_R_0472_0004__CRATES) ) ).