Context                Previous, Next                Top


15_a_fce_0102_2001_06
Put the question number in the box at the top of page 5.

n15_a_fce_0102_2001_06 n15_a_fce_0102_2001_06__1_1_1 Put n15_a_fce_0102_2001_06__1_2_1_1 the n15_a_fce_0102_2001_06__1_2_2_1 question n15_a_fce_0102_2001_06__1_2_3_1 number n15_a_fce_0102_2001_06__1_3_1_1 in n15_a_fce_0102_2001_06__1_3_2_1_1 the n15_a_fce_0102_2001_06__1_3_2_2_1 box n15_a_fce_0102_2001_06__1_3_2_3_1_1 at n15_a_fce_0102_2001_06__1_3_2_3_2_1_1 the n15_a_fce_0102_2001_06__1_3_2_3_2_2_1 top n15_a_fce_0102_2001_06__1_3_2_3_2_3_1_1 of n15_a_fce_0102_2001_06__1_3_2_3_2_3_2_1_1 page n15_a_fce_0102_2001_06__1_3_2_3_2_3_2_2_1 5 n15_a_fce_0102_2001_06__1_4_1 . n15_a_fce_0102_2001_06__1 IP-IMP n15_a_fce_0102_2001_06__1_1 VB;_Tn.pr_ n15_a_fce_0102_2001_06__1->n15_a_fce_0102_2001_06__1_1 n15_a_fce_0102_2001_06__1_2 NP-OB1 n15_a_fce_0102_2001_06__1->n15_a_fce_0102_2001_06__1_2 n15_a_fce_0102_2001_06__1_3 PP-NIM n15_a_fce_0102_2001_06__1->n15_a_fce_0102_2001_06__1_3 n15_a_fce_0102_2001_06__1_4 PUNC n15_a_fce_0102_2001_06__1->n15_a_fce_0102_2001_06__1_4 n15_a_fce_0102_2001_06__1_1->n15_a_fce_0102_2001_06__1_1_1 n15_a_fce_0102_2001_06__1_2_1 D n15_a_fce_0102_2001_06__1_2->n15_a_fce_0102_2001_06__1_2_1 n15_a_fce_0102_2001_06__1_2_2 N n15_a_fce_0102_2001_06__1_2->n15_a_fce_0102_2001_06__1_2_2 n15_a_fce_0102_2001_06__1_2_3 N n15_a_fce_0102_2001_06__1_2->n15_a_fce_0102_2001_06__1_2_3 n15_a_fce_0102_2001_06__1_2_1->n15_a_fce_0102_2001_06__1_2_1_1 n15_a_fce_0102_2001_06__1_2_2->n15_a_fce_0102_2001_06__1_2_2_1 n15_a_fce_0102_2001_06__1_2_3->n15_a_fce_0102_2001_06__1_2_3_1 n15_a_fce_0102_2001_06__1_3_1 P-ROLE n15_a_fce_0102_2001_06__1_3->n15_a_fce_0102_2001_06__1_3_1 n15_a_fce_0102_2001_06__1_3_2 NP n15_a_fce_0102_2001_06__1_3->n15_a_fce_0102_2001_06__1_3_2 n15_a_fce_0102_2001_06__1_3_1->n15_a_fce_0102_2001_06__1_3_1_1 n15_a_fce_0102_2001_06__1_3_2_1 D n15_a_fce_0102_2001_06__1_3_2->n15_a_fce_0102_2001_06__1_3_2_1 n15_a_fce_0102_2001_06__1_3_2_2 N n15_a_fce_0102_2001_06__1_3_2->n15_a_fce_0102_2001_06__1_3_2_2 n15_a_fce_0102_2001_06__1_3_2_3 PP n15_a_fce_0102_2001_06__1_3_2->n15_a_fce_0102_2001_06__1_3_2_3 n15_a_fce_0102_2001_06__1_3_2_1->n15_a_fce_0102_2001_06__1_3_2_1_1 n15_a_fce_0102_2001_06__1_3_2_2->n15_a_fce_0102_2001_06__1_3_2_2_1 n15_a_fce_0102_2001_06__1_3_2_3_1 P-ROLE n15_a_fce_0102_2001_06__1_3_2_3->n15_a_fce_0102_2001_06__1_3_2_3_1 n15_a_fce_0102_2001_06__1_3_2_3_2 NP n15_a_fce_0102_2001_06__1_3_2_3->n15_a_fce_0102_2001_06__1_3_2_3_2 n15_a_fce_0102_2001_06__1_3_2_3_1->n15_a_fce_0102_2001_06__1_3_2_3_1_1 n15_a_fce_0102_2001_06__1_3_2_3_2_1 D n15_a_fce_0102_2001_06__1_3_2_3_2->n15_a_fce_0102_2001_06__1_3_2_3_2_1 n15_a_fce_0102_2001_06__1_3_2_3_2_2 N n15_a_fce_0102_2001_06__1_3_2_3_2->n15_a_fce_0102_2001_06__1_3_2_3_2_2 n15_a_fce_0102_2001_06__1_3_2_3_2_3 PP n15_a_fce_0102_2001_06__1_3_2_3_2->n15_a_fce_0102_2001_06__1_3_2_3_2_3 n15_a_fce_0102_2001_06__1_3_2_3_2_1->n15_a_fce_0102_2001_06__1_3_2_3_2_1_1 n15_a_fce_0102_2001_06__1_3_2_3_2_2->n15_a_fce_0102_2001_06__1_3_2_3_2_2_1 n15_a_fce_0102_2001_06__1_3_2_3_2_3_1 P-ROLE n15_a_fce_0102_2001_06__1_3_2_3_2_3->n15_a_fce_0102_2001_06__1_3_2_3_2_3_1 n15_a_fce_0102_2001_06__1_3_2_3_2_3_2 NP n15_a_fce_0102_2001_06__1_3_2_3_2_3->n15_a_fce_0102_2001_06__1_3_2_3_2_3_2 n15_a_fce_0102_2001_06__1_3_2_3_2_3_1->n15_a_fce_0102_2001_06__1_3_2_3_2_3_1_1 n15_a_fce_0102_2001_06__1_3_2_3_2_3_2_1 N n15_a_fce_0102_2001_06__1_3_2_3_2_3_2->n15_a_fce_0102_2001_06__1_3_2_3_2_3_2_1 n15_a_fce_0102_2001_06__1_3_2_3_2_3_2_2 NUM n15_a_fce_0102_2001_06__1_3_2_3_2_3_2->n15_a_fce_0102_2001_06__1_3_2_3_2_3_2_2 n15_a_fce_0102_2001_06__1_3_2_3_2_3_2_1->n15_a_fce_0102_2001_06__1_3_2_3_2_3_2_1_1 n15_a_fce_0102_2001_06__1_3_2_3_2_3_2_2->n15_a_fce_0102_2001_06__1_3_2_3_2_3_2_2_1 n15_a_fce_0102_2001_06__1_4->n15_a_fce_0102_2001_06__1_4_1 
( (IP-IMP (VB;_Tn.pr_ Put;{put})
          (NP-OB1 (D the;{the})
                  (N question;{question})
                  (N number;{number}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (N box;{box})
                      (PP (P-ROLE at;{at})
                          (NP (D the;{the})
                              (N top;{top})
                              (PP (P-ROLE of;{of})
                                  (NP (N page;{page})
                                      (NUM 5)))))))
          (PUNC .))
  (ID 15_a_fce_0102_2001_06))


%3 r_0015_0009__the_r_0015_0010__top the top r_0015_0012__page_r_0015_0013__5 page 5 r_0015_0009__the_r_0015_0010__top->r_0015_0012__page_r_0015_0013__5 of r_0015_0006__the_r_0015_0007__box the box r_0015_0006__the_r_0015_0007__box->r_0015_0009__the_r_0015_0010__top at r_0015_0001__Put Put r_0015_0001__Put->r_0015_0006__the_r_0015_0007__box in [nim] z_0015_5002 r_0015_0001__Put->z_0015_5002 [arg0] r_0015_0002__the_r_0015_0003__question_r_0015_0004__number the question number r_0015_0001__Put->r_0015_0002__the_r_0015_0003__question_r_0015_0004__number [arg1] 
arc(r_0015_0001__Put,r_0015_0002__the_r_0015_0003__question_r_0015_0004__number,arg1).
arc(r_0015_0001__Put,r_0015_0006__the_r_0015_0007__box,r_0015_0005__in__nim).
arc(r_0015_0001__Put,z_0015_5002,arg0).
arc(r_0015_0006__the_r_0015_0007__box,r_0015_0009__the_r_0015_0010__top,r_0015_0008__at).
arc(r_0015_0009__the_r_0015_0010__top,r_0015_0012__page_r_0015_0013__5,r_0015_0011__of).


%3 r_0015_0001__Put Put r_0015_0002__the_r_0015_0003__question_r_0015_0004__number the question number r_0015_0001__Put->r_0015_0002__the_r_0015_0003__question_r_0015_0004__number [arg1] r_0015_0006__the_r_0015_0007__box the box r_0015_0001__Put->r_0015_0006__the_r_0015_0007__box in [nim] z_0015_5002 r_0015_0001__Put->z_0015_5002 [arg0] r_0015_0009__the_r_0015_0010__top the top r_0015_0006__the_r_0015_0007__box->r_0015_0009__the_r_0015_0010__top at r_0015_0012__page_r_0015_0013__5 page 5 r_0015_0009__the_r_0015_0010__top->r_0015_0012__page_r_0015_0013__5 of 
fof(formula,axiom,
    ? [R_0015_0002__THE_R_0015_0003__QUESTION_R_0015_0004__NUMBER,R_0015_0012__PAGE_R_0015_0013__5,R_0015_0009__THE_R_0015_0010__TOP,R_0015_0006__THE_R_0015_0007__BOX,Z_0015_5002,R_0015_0001__PUT] :
      ( r_0015_0002__the_r_0015_0003__question_r_0015_0004__number(R_0015_0002__THE_R_0015_0003__QUESTION_R_0015_0004__NUMBER)
      & r_0015_0012__page_r_0015_0013__5(R_0015_0012__PAGE_R_0015_0013__5)
      & z_0015_5002(Z_0015_5002)
      & r_0015_0001__Put(R_0015_0001__PUT)
      & has_arg0(R_0015_0001__PUT,Z_0015_5002)
      & has_r_0015_0005__in__nim(R_0015_0001__PUT,R_0015_0006__THE_R_0015_0007__BOX)
      & r_0015_0006__the_r_0015_0007__box(R_0015_0006__THE_R_0015_0007__BOX)
      & has_r_0015_0008__at(R_0015_0006__THE_R_0015_0007__BOX,R_0015_0009__THE_R_0015_0010__TOP)
      & r_0015_0009__the_r_0015_0010__top(R_0015_0009__THE_R_0015_0010__TOP)
      & has_r_0015_0011__of(R_0015_0009__THE_R_0015_0010__TOP,R_0015_0012__PAGE_R_0015_0013__5)
      & has_arg1(R_0015_0001__PUT,R_0015_0002__THE_R_0015_0003__QUESTION_R_0015_0004__NUMBER) ) ).