Context                Previous, Next                Top


132_a_dick_1952
“Why not people?”

%3 r_0132_0003__not not z_000_132_a_dick_1952_4 r_0132_0003__not->z_000_132_a_dick_1952_4 [keep_scope] r_0132_0002__Why Why z_000_132_a_dick_1952_4->r_0132_0002__Why [nim] r_0132_0004__people people z_000_132_a_dick_1952_4->r_0132_0004__people [arg1] 
arc(r_0132_0003__not, z_000_132_a_dick_1952_4, keep_scope).
arc(z_000_132_a_dick_1952_4, r_0132_0002__Why, nim5).
arc(z_000_132_a_dick_1952_4, r_0132_0004__people, arg1).


%3 z_000_132_a_dick_1952_4 r_0132_0004__people people z_000_132_a_dick_1952_4->r_0132_0004__people [arg1] r_0132_0002__Why Why z_000_132_a_dick_1952_4->r_0132_0002__Why [nim] r_0132_0003__not not r_0132_0003__not->z_000_132_a_dick_1952_4 [keep_scope] 
fof(formula,axiom,
    ~ ? [R_0132_0002__WHY,R_0132_0004__PEOPLE,Z_000_132_A_DICK_1952_4] :
        ( r_0132_0002__Why(R_0132_0002__WHY)
        & r_0132_0004__people(R_0132_0004__PEOPLE)
        & z_000_132_a_dick_1952_4(Z_000_132_A_DICK_1952_4)
        & has_arg1(Z_000_132_A_DICK_1952_4,R_0132_0004__PEOPLE)
        & has_nim5(Z_000_132_A_DICK_1952_4,R_0132_0002__WHY) ) ).


n132_a_dick_1952 n132_a_dick_1952__1_1_1 <ldquo> n132_a_dick_1952__1_2_1_1_1 Why n132_a_dick_1952__1_2_2_1 not n132_a_dick_1952__1_2_3_1_1 people n132_a_dick_1952__1_3_1 ? n132_a_dick_1952__1_4_1 <rdquo> n132_a_dick_1952__1 CP-QUE-MAT n132_a_dick_1952__1_1 PULQ n132_a_dick_1952__1->n132_a_dick_1952__1_1 n132_a_dick_1952__1_2 IP-SUB n132_a_dick_1952__1->n132_a_dick_1952__1_2 n132_a_dick_1952__1_3 PUNC n132_a_dick_1952__1->n132_a_dick_1952__1_3 n132_a_dick_1952__1_4 PURQ n132_a_dick_1952__1->n132_a_dick_1952__1_4 n132_a_dick_1952__1_1->n132_a_dick_1952__1_1_1 n132_a_dick_1952__1_2_1 ADVP-NIM n132_a_dick_1952__1_2->n132_a_dick_1952__1_2_1 n132_a_dick_1952__1_2_2 NEG n132_a_dick_1952__1_2->n132_a_dick_1952__1_2_2 n132_a_dick_1952__1_2_3 NP-OB1 n132_a_dick_1952__1_2->n132_a_dick_1952__1_2_3 n132_a_dick_1952__1_2_1_1 WADV n132_a_dick_1952__1_2_1->n132_a_dick_1952__1_2_1_1 n132_a_dick_1952__1_2_1_1->n132_a_dick_1952__1_2_1_1_1 n132_a_dick_1952__1_2_2->n132_a_dick_1952__1_2_2_1 n132_a_dick_1952__1_2_3_1 NS n132_a_dick_1952__1_2_3->n132_a_dick_1952__1_2_3_1 n132_a_dick_1952__1_2_3_1->n132_a_dick_1952__1_2_3_1_1 n132_a_dick_1952__1_3->n132_a_dick_1952__1_3_1 n132_a_dick_1952__1_4->n132_a_dick_1952__1_4_1 
( (CP-QUE-MAT (PULQ <ldquo>)
              (IP-SUB (ADVP-NIM (WADV Why;{why}))
                      (NEG not;{not})
                      (NP-OB1 (NS people;{people})))
              (PUNC ?)
              (PURQ <rdquo>))
  (ID 132_a_dick_1952))