Context                Previous, Next                Top


440_a_dick_1952
There was an inscription on the door

%3 r_0440_0001__There_r_0440_0002__was There was r_0440_0003__an_r_0440_0004__inscription an inscription r_0440_0001__There_r_0440_0002__was->r_0440_0003__an_r_0440_0004__inscription [arg0] r_0440_0006__the_r_0440_0007__door the door r_0440_0001__There_r_0440_0002__was->r_0440_0006__the_r_0440_0007__door on [clr] 
arc(r_0440_0001__There_r_0440_0002__was, r_0440_0003__an_r_0440_0004__inscription, arg0).
arc(r_0440_0001__There_r_0440_0002__was, r_0440_0006__the_r_0440_0007__door, r_0440_0005__on_clr14).


%3 r_0440_0001__There_r_0440_0002__was There was r_0440_0006__the_r_0440_0007__door the door r_0440_0001__There_r_0440_0002__was->r_0440_0006__the_r_0440_0007__door on [clr] r_0440_0003__an_r_0440_0004__inscription an inscription r_0440_0001__There_r_0440_0002__was->r_0440_0003__an_r_0440_0004__inscription [arg0] 
fof(formula,axiom,
    ? [R_440_1_THERE_WAS,R_440_3_AN_INSCRIPTION,R_440_6_THE_DOOR] :
      ( an_inscription(R_440_3_AN_INSCRIPTION)
      & the_door(R_440_6_THE_DOOR)
      & there_was(R_440_1_THERE_WAS,R_440_3_AN_INSCRIPTION)
      & on_clr14(R_440_1_THERE_WAS,R_440_6_THE_DOOR) ) ).


n440_a_dick_1952 n440_a_dick_1952__1_1_1 There n440_a_dick_1952__1_2_1 was n440_a_dick_1952__1_3_1_1 an n440_a_dick_1952__1_3_2_1 inscription n440_a_dick_1952__1_4_1_1 on n440_a_dick_1952__1_4_2_1_1 the n440_a_dick_1952__1_4_2_2_1 door n440_a_dick_1952__1 IP-MAT n440_a_dick_1952__1_1 EX n440_a_dick_1952__1->n440_a_dick_1952__1_1 n440_a_dick_1952__1_2 BED;_ex_Vpr_ n440_a_dick_1952__1->n440_a_dick_1952__1_2 n440_a_dick_1952__1_3 NP-ESBJ n440_a_dick_1952__1->n440_a_dick_1952__1_3 n440_a_dick_1952__1_4 PP-CLR n440_a_dick_1952__1->n440_a_dick_1952__1_4 n440_a_dick_1952__1_1->n440_a_dick_1952__1_1_1 n440_a_dick_1952__1_2->n440_a_dick_1952__1_2_1 n440_a_dick_1952__1_3_1 D n440_a_dick_1952__1_3->n440_a_dick_1952__1_3_1 n440_a_dick_1952__1_3_2 N n440_a_dick_1952__1_3->n440_a_dick_1952__1_3_2 n440_a_dick_1952__1_3_1->n440_a_dick_1952__1_3_1_1 n440_a_dick_1952__1_3_2->n440_a_dick_1952__1_3_2_1 n440_a_dick_1952__1_4_1 P-ROLE n440_a_dick_1952__1_4->n440_a_dick_1952__1_4_1 n440_a_dick_1952__1_4_2 NP n440_a_dick_1952__1_4->n440_a_dick_1952__1_4_2 n440_a_dick_1952__1_4_1->n440_a_dick_1952__1_4_1_1 n440_a_dick_1952__1_4_2_1 D n440_a_dick_1952__1_4_2->n440_a_dick_1952__1_4_2_1 n440_a_dick_1952__1_4_2_2 N n440_a_dick_1952__1_4_2->n440_a_dick_1952__1_4_2_2 n440_a_dick_1952__1_4_2_1->n440_a_dick_1952__1_4_2_1_1 n440_a_dick_1952__1_4_2_2->n440_a_dick_1952__1_4_2_2_1 
( (IP-MAT (EX There;{there})
          (BED;_ex_Vpr_ was;{be[on]})
          (NP-ESBJ;{INSCRIPTION} (D an;{an})
                                 (N inscription;{inscription}))
          (PP-CLR (P-ROLE on;{on})
                  (NP (D the;{the})
                      (N door;{door}))))
  (ID 440_a_dick_1952))