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_0440_0003__AN_R_0440_0004__INSCRIPTION,R_0440_0006__THE_R_0440_0007__DOOR,R_0440_0001__THERE_R_0440_0002__WAS] :
      ( r_0440_0003__an_r_0440_0004__inscription(R_0440_0003__AN_R_0440_0004__INSCRIPTION)
      & r_0440_0006__the_r_0440_0007__door(R_0440_0006__THE_R_0440_0007__DOOR)
      & r_0440_0001__There_r_0440_0002__was(R_0440_0001__THERE_R_0440_0002__WAS)
      & has_r_0440_0005__on_clr14(R_0440_0001__THERE_R_0440_0002__WAS,R_0440_0006__THE_R_0440_0007__DOOR)
      & has_arg0(R_0440_0001__THERE_R_0440_0002__WAS,R_0440_0003__AN_R_0440_0004__INSCRIPTION) ) ).


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))