Context                Previous, Next                Top


540_a_dick_1952
“With a crowbar.

%3 z_000_540_a_dick_1952_1 r_0540_0003__a_r_0540_0004__crowbar a crowbar z_000_540_a_dick_1952_1->r_0540_0003__a_r_0540_0004__crowbar With [nim] 
arc(z_000_540_a_dick_1952_1, r_0540_0003__a_r_0540_0004__crowbar, r_0540_0002__With_nim7).


%3 z_000_540_a_dick_1952_1 r_0540_0003__a_r_0540_0004__crowbar a crowbar z_000_540_a_dick_1952_1->r_0540_0003__a_r_0540_0004__crowbar With [nim] 
fof(formula,axiom,
    ? [Z_540_A_DICK_1952_1,R_540_3_A_CROWBAR] :
      ( a_crowbar(R_540_3_A_CROWBAR)
      & z_540_a_dick_1952_1(Z_540_A_DICK_1952_1)
      & with_nim7(Z_540_A_DICK_1952_1,R_540_3_A_CROWBAR) ) ).


n540_a_dick_1952 n540_a_dick_1952_3 <ldquo> n540_a_dick_1952_6 With n540_a_dick_1952_9 a n540_a_dick_1952_11 crowbar n540_a_dick_1952_13 . n540_a_dick_1952_1 FRAG n540_a_dick_1952_2 PULQ n540_a_dick_1952_1->n540_a_dick_1952_2 n540_a_dick_1952_4 PP-NIM n540_a_dick_1952_1->n540_a_dick_1952_4 n540_a_dick_1952_12 PUNC n540_a_dick_1952_1->n540_a_dick_1952_12 n540_a_dick_1952_2->n540_a_dick_1952_3 n540_a_dick_1952_5 P-ROLE n540_a_dick_1952_4->n540_a_dick_1952_5 n540_a_dick_1952_7 NP n540_a_dick_1952_4->n540_a_dick_1952_7 n540_a_dick_1952_5->n540_a_dick_1952_6 n540_a_dick_1952_8 D n540_a_dick_1952_7->n540_a_dick_1952_8 n540_a_dick_1952_10 N n540_a_dick_1952_7->n540_a_dick_1952_10 n540_a_dick_1952_8->n540_a_dick_1952_9 n540_a_dick_1952_10->n540_a_dick_1952_11 n540_a_dick_1952_12->n540_a_dick_1952_13 
( (FRAG (PULQ <ldquo>)
        (PP-NIM (P-ROLE With;{with})
                (NP (D a;{a})
                    (N crowbar;{crowbar})))
        (PUNC .))
  (ID 540_a_dick_1952))