Context                Previous, Next                Top


12_a_fce_0101_2000_06
Put the question number in the box at the top of page 5.

%3 r_0012_0001__Put Put r_0012_0002__the_r_0012_0003__question_r_0012_0004__number the question number r_0012_0001__Put->r_0012_0002__the_r_0012_0003__question_r_0012_0004__number [arg1] r_0012_0006__the_r_0012_0007__box the box r_0012_0001__Put->r_0012_0006__the_r_0012_0007__box in [nim] z_000_12_a_fce_0101_2000_06_1 r_0012_0001__Put->z_000_12_a_fce_0101_2000_06_1 [arg0] r_0012_0009__the_r_0012_0010__top the top r_0012_0006__the_r_0012_0007__box->r_0012_0009__the_r_0012_0010__top at r_0012_0012__page_r_0012_0013__5 page 5 r_0012_0009__the_r_0012_0010__top->r_0012_0012__page_r_0012_0013__5 of 
arc(r_0012_0001__Put, r_0012_0002__the_r_0012_0003__question_r_0012_0004__number, arg1).
arc(r_0012_0001__Put, r_0012_0006__the_r_0012_0007__box, r_0012_0005__in_nim14).
arc(r_0012_0001__Put, z_000_12_a_fce_0101_2000_06_1, arg0).
arc(r_0012_0006__the_r_0012_0007__box, r_0012_0009__the_r_0012_0010__top, r_0012_0008__at).
arc(r_0012_0009__the_r_0012_0010__top, r_0012_0012__page_r_0012_0013__5, r_0012_0011__of).


%3 r_0012_0009__the_r_0012_0010__top the top r_0012_0012__page_r_0012_0013__5 page 5 r_0012_0009__the_r_0012_0010__top->r_0012_0012__page_r_0012_0013__5 of r_0012_0006__the_r_0012_0007__box the box r_0012_0006__the_r_0012_0007__box->r_0012_0009__the_r_0012_0010__top at r_0012_0001__Put Put r_0012_0001__Put->r_0012_0006__the_r_0012_0007__box in [nim] z_000_12_a_fce_0101_2000_06_1 r_0012_0001__Put->z_000_12_a_fce_0101_2000_06_1 [arg0] r_0012_0002__the_r_0012_0003__question_r_0012_0004__number the question number r_0012_0001__Put->r_0012_0002__the_r_0012_0003__question_r_0012_0004__number [arg1] 
fof(formula,axiom,
    ? [R_12_1_PUT,Z_12_A_FCE_101_2000_6_1,R_12_2_THE_QUESTION_NUMBER,R_12_6_THE_BOX,R_12_9_THE_TOP,R_12_12_PAGE_5] :
      ( the_question_number(R_12_2_THE_QUESTION_NUMBER)
      & page_5(R_12_12_PAGE_5)
      & put(R_12_1_PUT,Z_12_A_FCE_101_2000_6_1,R_12_2_THE_QUESTION_NUMBER)
      & in_nim14(R_12_1_PUT,R_12_6_THE_BOX)
      & the_box(R_12_6_THE_BOX)
      & at(R_12_6_THE_BOX,R_12_9_THE_TOP)
      & the_top(R_12_9_THE_TOP)
      & of(R_12_9_THE_TOP,R_12_12_PAGE_5) ) ).


n12_a_fce_0101_2000_06 n12_a_fce_0101_2000_06__1_1_1 Put n12_a_fce_0101_2000_06__1_2_1_1 the n12_a_fce_0101_2000_06__1_2_2_1 question n12_a_fce_0101_2000_06__1_2_3_1 number n12_a_fce_0101_2000_06__1_3_1_1 in n12_a_fce_0101_2000_06__1_3_2_1_1 the n12_a_fce_0101_2000_06__1_3_2_2_1 box n12_a_fce_0101_2000_06__1_3_2_3_1_1 at n12_a_fce_0101_2000_06__1_3_2_3_2_1_1 the n12_a_fce_0101_2000_06__1_3_2_3_2_2_1 top n12_a_fce_0101_2000_06__1_3_2_3_2_3_1_1 of n12_a_fce_0101_2000_06__1_3_2_3_2_3_2_1_1 page n12_a_fce_0101_2000_06__1_3_2_3_2_3_2_2_1 5 n12_a_fce_0101_2000_06__1_4_1 . n12_a_fce_0101_2000_06__1 IP-IMP n12_a_fce_0101_2000_06__1_1 VB;_Tn.pr_ n12_a_fce_0101_2000_06__1->n12_a_fce_0101_2000_06__1_1 n12_a_fce_0101_2000_06__1_2 NP-OB1 n12_a_fce_0101_2000_06__1->n12_a_fce_0101_2000_06__1_2 n12_a_fce_0101_2000_06__1_3 PP-NIM n12_a_fce_0101_2000_06__1->n12_a_fce_0101_2000_06__1_3 n12_a_fce_0101_2000_06__1_4 PUNC n12_a_fce_0101_2000_06__1->n12_a_fce_0101_2000_06__1_4 n12_a_fce_0101_2000_06__1_1->n12_a_fce_0101_2000_06__1_1_1 n12_a_fce_0101_2000_06__1_2_1 D n12_a_fce_0101_2000_06__1_2->n12_a_fce_0101_2000_06__1_2_1 n12_a_fce_0101_2000_06__1_2_2 N n12_a_fce_0101_2000_06__1_2->n12_a_fce_0101_2000_06__1_2_2 n12_a_fce_0101_2000_06__1_2_3 N n12_a_fce_0101_2000_06__1_2->n12_a_fce_0101_2000_06__1_2_3 n12_a_fce_0101_2000_06__1_2_1->n12_a_fce_0101_2000_06__1_2_1_1 n12_a_fce_0101_2000_06__1_2_2->n12_a_fce_0101_2000_06__1_2_2_1 n12_a_fce_0101_2000_06__1_2_3->n12_a_fce_0101_2000_06__1_2_3_1 n12_a_fce_0101_2000_06__1_3_1 P-ROLE n12_a_fce_0101_2000_06__1_3->n12_a_fce_0101_2000_06__1_3_1 n12_a_fce_0101_2000_06__1_3_2 NP n12_a_fce_0101_2000_06__1_3->n12_a_fce_0101_2000_06__1_3_2 n12_a_fce_0101_2000_06__1_3_1->n12_a_fce_0101_2000_06__1_3_1_1 n12_a_fce_0101_2000_06__1_3_2_1 D n12_a_fce_0101_2000_06__1_3_2->n12_a_fce_0101_2000_06__1_3_2_1 n12_a_fce_0101_2000_06__1_3_2_2 N n12_a_fce_0101_2000_06__1_3_2->n12_a_fce_0101_2000_06__1_3_2_2 n12_a_fce_0101_2000_06__1_3_2_3 PP n12_a_fce_0101_2000_06__1_3_2->n12_a_fce_0101_2000_06__1_3_2_3 n12_a_fce_0101_2000_06__1_3_2_1->n12_a_fce_0101_2000_06__1_3_2_1_1 n12_a_fce_0101_2000_06__1_3_2_2->n12_a_fce_0101_2000_06__1_3_2_2_1 n12_a_fce_0101_2000_06__1_3_2_3_1 P-ROLE n12_a_fce_0101_2000_06__1_3_2_3->n12_a_fce_0101_2000_06__1_3_2_3_1 n12_a_fce_0101_2000_06__1_3_2_3_2 NP n12_a_fce_0101_2000_06__1_3_2_3->n12_a_fce_0101_2000_06__1_3_2_3_2 n12_a_fce_0101_2000_06__1_3_2_3_1->n12_a_fce_0101_2000_06__1_3_2_3_1_1 n12_a_fce_0101_2000_06__1_3_2_3_2_1 D n12_a_fce_0101_2000_06__1_3_2_3_2->n12_a_fce_0101_2000_06__1_3_2_3_2_1 n12_a_fce_0101_2000_06__1_3_2_3_2_2 N n12_a_fce_0101_2000_06__1_3_2_3_2->n12_a_fce_0101_2000_06__1_3_2_3_2_2 n12_a_fce_0101_2000_06__1_3_2_3_2_3 PP n12_a_fce_0101_2000_06__1_3_2_3_2->n12_a_fce_0101_2000_06__1_3_2_3_2_3 n12_a_fce_0101_2000_06__1_3_2_3_2_1->n12_a_fce_0101_2000_06__1_3_2_3_2_1_1 n12_a_fce_0101_2000_06__1_3_2_3_2_2->n12_a_fce_0101_2000_06__1_3_2_3_2_2_1 n12_a_fce_0101_2000_06__1_3_2_3_2_3_1 P-ROLE n12_a_fce_0101_2000_06__1_3_2_3_2_3->n12_a_fce_0101_2000_06__1_3_2_3_2_3_1 n12_a_fce_0101_2000_06__1_3_2_3_2_3_2 NP n12_a_fce_0101_2000_06__1_3_2_3_2_3->n12_a_fce_0101_2000_06__1_3_2_3_2_3_2 n12_a_fce_0101_2000_06__1_3_2_3_2_3_1->n12_a_fce_0101_2000_06__1_3_2_3_2_3_1_1 n12_a_fce_0101_2000_06__1_3_2_3_2_3_2_1 N n12_a_fce_0101_2000_06__1_3_2_3_2_3_2->n12_a_fce_0101_2000_06__1_3_2_3_2_3_2_1 n12_a_fce_0101_2000_06__1_3_2_3_2_3_2_2 NUM n12_a_fce_0101_2000_06__1_3_2_3_2_3_2->n12_a_fce_0101_2000_06__1_3_2_3_2_3_2_2 n12_a_fce_0101_2000_06__1_3_2_3_2_3_2_1->n12_a_fce_0101_2000_06__1_3_2_3_2_3_2_1_1 n12_a_fce_0101_2000_06__1_3_2_3_2_3_2_2->n12_a_fce_0101_2000_06__1_3_2_3_2_3_2_2_1 n12_a_fce_0101_2000_06__1_4->n12_a_fce_0101_2000_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 12_a_fce_0101_2000_06))