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_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] 
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_3 There n440_a_dick_1952_5 was n440_a_dick_1952_8 an n440_a_dick_1952_10 inscription n440_a_dick_1952_13 on n440_a_dick_1952_16 the n440_a_dick_1952_18 door n440_a_dick_1952_1 IP-MAT n440_a_dick_1952_2 EX n440_a_dick_1952_1->n440_a_dick_1952_2 n440_a_dick_1952_4 BED;_ex_Vpr_ n440_a_dick_1952_1->n440_a_dick_1952_4 n440_a_dick_1952_6 NP-ESBJ n440_a_dick_1952_1->n440_a_dick_1952_6 n440_a_dick_1952_11 PP-CLR n440_a_dick_1952_1->n440_a_dick_1952_11 n440_a_dick_1952_2->n440_a_dick_1952_3 n440_a_dick_1952_4->n440_a_dick_1952_5 n440_a_dick_1952_7 D n440_a_dick_1952_6->n440_a_dick_1952_7 n440_a_dick_1952_9 N n440_a_dick_1952_6->n440_a_dick_1952_9 n440_a_dick_1952_7->n440_a_dick_1952_8 n440_a_dick_1952_9->n440_a_dick_1952_10 n440_a_dick_1952_12 P-ROLE n440_a_dick_1952_11->n440_a_dick_1952_12 n440_a_dick_1952_14 NP n440_a_dick_1952_11->n440_a_dick_1952_14 n440_a_dick_1952_12->n440_a_dick_1952_13 n440_a_dick_1952_15 D n440_a_dick_1952_14->n440_a_dick_1952_15 n440_a_dick_1952_17 N n440_a_dick_1952_14->n440_a_dick_1952_17 n440_a_dick_1952_15->n440_a_dick_1952_16 n440_a_dick_1952_17->n440_a_dick_1952_18 
( (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))