Context                Previous, Next                Top


128_a_dick_1952
What a strange situation!

%3 r_0128_0001__What_r_0128_0002__a_r_0128_0004__situation What a situation r_0128_0003__strange strange r_0128_0001__What_r_0128_0002__a_r_0128_0004__situation->r_0128_0003__strange [attrib] z_000_128_a_dick_1952_1 z_000_128_a_dick_1952_1->r_0128_0001__What_r_0128_0002__a_r_0128_0004__situation [nim] 
arc(r_0128_0001__What_r_0128_0002__a_r_0128_0004__situation, r_0128_0003__strange, attrib7).
arc(z_000_128_a_dick_1952_1, r_0128_0001__What_r_0128_0002__a_r_0128_0004__situation, nim2).


%3 z_000_128_a_dick_1952_1 r_0128_0001__What_r_0128_0002__a_r_0128_0004__situation What a situation z_000_128_a_dick_1952_1->r_0128_0001__What_r_0128_0002__a_r_0128_0004__situation [nim] r_0128_0003__strange strange r_0128_0001__What_r_0128_0002__a_r_0128_0004__situation->r_0128_0003__strange [attrib] 
fof(formula,axiom,
    ? [R_0128_0003__STRANGE,R_0128_0001__WHAT_R_0128_0002__A_R_0128_0004__SITUATION,Z_000_128_A_DICK_1952_1] :
      ( r_0128_0003__strange(R_0128_0003__STRANGE)
      & z_000_128_a_dick_1952_1(Z_000_128_A_DICK_1952_1)
      & has_nim2(Z_000_128_A_DICK_1952_1,R_0128_0001__WHAT_R_0128_0002__A_R_0128_0004__SITUATION)
      & r_0128_0001__What_r_0128_0002__a_r_0128_0004__situation(R_0128_0001__WHAT_R_0128_0002__A_R_0128_0004__SITUATION)
      & has_attrib7(R_0128_0001__WHAT_R_0128_0002__A_R_0128_0004__SITUATION,R_0128_0003__STRANGE) ) ).


n128_a_dick_1952 n128_a_dick_1952__1_1_1_1 What n128_a_dick_1952__1_1_2_1 a n128_a_dick_1952__1_1_3_1_1 strange n128_a_dick_1952__1_1_4_1 situation n128_a_dick_1952__1_2_1 ! n128_a_dick_1952__1 FRAG n128_a_dick_1952__1_1 NP n128_a_dick_1952__1->n128_a_dick_1952__1_1 n128_a_dick_1952__1_2 PUNC n128_a_dick_1952__1->n128_a_dick_1952__1_2 n128_a_dick_1952__1_1_1 WD n128_a_dick_1952__1_1->n128_a_dick_1952__1_1_1 n128_a_dick_1952__1_1_2 D n128_a_dick_1952__1_1->n128_a_dick_1952__1_1_2 n128_a_dick_1952__1_1_3 ADJP n128_a_dick_1952__1_1->n128_a_dick_1952__1_1_3 n128_a_dick_1952__1_1_4 N n128_a_dick_1952__1_1->n128_a_dick_1952__1_1_4 n128_a_dick_1952__1_1_1->n128_a_dick_1952__1_1_1_1 n128_a_dick_1952__1_1_2->n128_a_dick_1952__1_1_2_1 n128_a_dick_1952__1_1_3_1 ADJ n128_a_dick_1952__1_1_3->n128_a_dick_1952__1_1_3_1 n128_a_dick_1952__1_1_3_1->n128_a_dick_1952__1_1_3_1_1 n128_a_dick_1952__1_1_4->n128_a_dick_1952__1_1_4_1 n128_a_dick_1952__1_2->n128_a_dick_1952__1_2_1 
( (FRAG (NP (WD What;{what})
            (D a;{a})
            (ADJP (ADJ strange;{strange}))
            (N situation;{situation}))
        (PUNC !))
  (ID 128_a_dick_1952))