Context                Previous, Next                Top


36_a_potter_1902
He found a door in a wall;

%3 r_0036_0002__found found r_0036_0001__He He r_0036_0002__found->r_0036_0001__He [arg0] r_0036_0003__a_r_0036_0004__door a door r_0036_0002__found->r_0036_0003__a_r_0036_0004__door [arg1] r_0036_0006__a_r_0036_0007__wall a wall r_0036_0003__a_r_0036_0004__door->r_0036_0006__a_r_0036_0007__wall in 
arc(r_0036_0002__found, r_0036_0001__He, arg0).
arc(r_0036_0002__found, r_0036_0003__a_r_0036_0004__door, arg1).
arc(r_0036_0003__a_r_0036_0004__door, r_0036_0006__a_r_0036_0007__wall, r_0036_0005__in).


%3 r_0036_0002__found found r_0036_0001__He He r_0036_0002__found->r_0036_0001__He [arg0] r_0036_0003__a_r_0036_0004__door a door r_0036_0002__found->r_0036_0003__a_r_0036_0004__door [arg1] r_0036_0006__a_r_0036_0007__wall a wall r_0036_0003__a_r_0036_0004__door->r_0036_0006__a_r_0036_0007__wall in 
fof(formula,axiom,
    ? [R_36_2_FOUND,R_36_1_HE,R_36_3_A_DOOR,R_36_6_A_WALL] :
      ( he(R_36_1_HE)
      & a_wall(R_36_6_A_WALL)
      & found(R_36_2_FOUND,R_36_1_HE,R_36_3_A_DOOR)
      & a_door(R_36_3_A_DOOR)
      & in(R_36_3_A_DOOR,R_36_6_A_WALL) ) ).


n36_a_potter_1902 n36_a_potter_1902_4 He n36_a_potter_1902_6 found n36_a_potter_1902_9 a n36_a_potter_1902_11 door n36_a_potter_1902_14 in n36_a_potter_1902_17 a n36_a_potter_1902_19 wall n36_a_potter_1902_21 ; n36_a_potter_1902_1 IP-MAT n36_a_potter_1902_2 NP-SBJ n36_a_potter_1902_1->n36_a_potter_1902_2 n36_a_potter_1902_5 VBD;_Tn_ n36_a_potter_1902_1->n36_a_potter_1902_5 n36_a_potter_1902_7 NP-OB1 n36_a_potter_1902_1->n36_a_potter_1902_7 n36_a_potter_1902_20 PUNC n36_a_potter_1902_1->n36_a_potter_1902_20 n36_a_potter_1902_3 PRO n36_a_potter_1902_2->n36_a_potter_1902_3 n36_a_potter_1902_3->n36_a_potter_1902_4 n36_a_potter_1902_5->n36_a_potter_1902_6 n36_a_potter_1902_8 D n36_a_potter_1902_7->n36_a_potter_1902_8 n36_a_potter_1902_10 N n36_a_potter_1902_7->n36_a_potter_1902_10 n36_a_potter_1902_12 PP n36_a_potter_1902_7->n36_a_potter_1902_12 n36_a_potter_1902_8->n36_a_potter_1902_9 n36_a_potter_1902_10->n36_a_potter_1902_11 n36_a_potter_1902_13 P-ROLE n36_a_potter_1902_12->n36_a_potter_1902_13 n36_a_potter_1902_15 NP n36_a_potter_1902_12->n36_a_potter_1902_15 n36_a_potter_1902_13->n36_a_potter_1902_14 n36_a_potter_1902_16 D n36_a_potter_1902_15->n36_a_potter_1902_16 n36_a_potter_1902_18 N n36_a_potter_1902_15->n36_a_potter_1902_18 n36_a_potter_1902_16->n36_a_potter_1902_17 n36_a_potter_1902_18->n36_a_potter_1902_19 n36_a_potter_1902_20->n36_a_potter_1902_21 
( (IP-MAT (NP-SBJ;{PETER} (PRO He;{he}))
          (VBD;_Tn_ found;{find})
          (NP-OB1;{DOOR} (D a;{a})
                         (N door;{door})
                         (PP (P-ROLE in;{in})
                             (NP (D a;{a})
                                 (N wall;{wall}))))
          (PUNC ;))
  (ID 36_a_potter_1902))