Context                Previous, Next                Top


17_a_fce_0102_2001_03
Put the question number in the box at the top of page 5.

%3 r_0017_0001__Put Put r_0017_0002__the_r_0017_0003__question_r_0017_0004__number the question number r_0017_0001__Put->r_0017_0002__the_r_0017_0003__question_r_0017_0004__number [arg1] r_0017_0006__the_r_0017_0007__box the box r_0017_0001__Put->r_0017_0006__the_r_0017_0007__box in [nim] z_000_17_a_fce_0102_2001_03_1 r_0017_0001__Put->z_000_17_a_fce_0102_2001_03_1 [arg0] r_0017_0009__the_r_0017_0010__top the top r_0017_0006__the_r_0017_0007__box->r_0017_0009__the_r_0017_0010__top at r_0017_0012__page_r_0017_0013__5 page 5 r_0017_0009__the_r_0017_0010__top->r_0017_0012__page_r_0017_0013__5 of 
arc(r_0017_0001__Put, r_0017_0002__the_r_0017_0003__question_r_0017_0004__number, arg1).
arc(r_0017_0001__Put, r_0017_0006__the_r_0017_0007__box, r_0017_0005__in_nim14).
arc(r_0017_0001__Put, z_000_17_a_fce_0102_2001_03_1, arg0).
arc(r_0017_0006__the_r_0017_0007__box, r_0017_0009__the_r_0017_0010__top, r_0017_0008__at).
arc(r_0017_0009__the_r_0017_0010__top, r_0017_0012__page_r_0017_0013__5, r_0017_0011__of).


%3 r_0017_0001__Put Put r_0017_0002__the_r_0017_0003__question_r_0017_0004__number the question number r_0017_0001__Put->r_0017_0002__the_r_0017_0003__question_r_0017_0004__number [arg1] r_0017_0006__the_r_0017_0007__box the box r_0017_0001__Put->r_0017_0006__the_r_0017_0007__box in [nim] z_000_17_a_fce_0102_2001_03_1 r_0017_0001__Put->z_000_17_a_fce_0102_2001_03_1 [arg0] r_0017_0009__the_r_0017_0010__top the top r_0017_0006__the_r_0017_0007__box->r_0017_0009__the_r_0017_0010__top at r_0017_0012__page_r_0017_0013__5 page 5 r_0017_0009__the_r_0017_0010__top->r_0017_0012__page_r_0017_0013__5 of 
fof(formula,axiom,
    ? [R_17_1_PUT,Z_17_A_FCE_102_2001_3_1,R_17_2_THE_QUESTION_NUMBER,R_17_6_THE_BOX,R_17_9_THE_TOP,R_17_12_PAGE_5] :
      ( the_question_number(R_17_2_THE_QUESTION_NUMBER)
      & page_5(R_17_12_PAGE_5)
      & put(R_17_1_PUT,Z_17_A_FCE_102_2001_3_1,R_17_2_THE_QUESTION_NUMBER)
      & in_nim14(R_17_1_PUT,R_17_6_THE_BOX)
      & the_box(R_17_6_THE_BOX)
      & at(R_17_6_THE_BOX,R_17_9_THE_TOP)
      & the_top(R_17_9_THE_TOP)
      & of(R_17_9_THE_TOP,R_17_12_PAGE_5) ) ).


n17_a_fce_0102_2001_03 n17_a_fce_0102_2001_03_3 Put n17_a_fce_0102_2001_03_6 the n17_a_fce_0102_2001_03_8 question n17_a_fce_0102_2001_03_10 number n17_a_fce_0102_2001_03_13 in n17_a_fce_0102_2001_03_16 the n17_a_fce_0102_2001_03_18 box n17_a_fce_0102_2001_03_21 at n17_a_fce_0102_2001_03_24 the n17_a_fce_0102_2001_03_26 top n17_a_fce_0102_2001_03_29 of n17_a_fce_0102_2001_03_32 page n17_a_fce_0102_2001_03_34 5 n17_a_fce_0102_2001_03_36 . n17_a_fce_0102_2001_03_1 IP-IMP n17_a_fce_0102_2001_03_2 VB;_Tn.pr_ n17_a_fce_0102_2001_03_1->n17_a_fce_0102_2001_03_2 n17_a_fce_0102_2001_03_4 NP-OB1 n17_a_fce_0102_2001_03_1->n17_a_fce_0102_2001_03_4 n17_a_fce_0102_2001_03_11 PP-NIM n17_a_fce_0102_2001_03_1->n17_a_fce_0102_2001_03_11 n17_a_fce_0102_2001_03_35 PUNC n17_a_fce_0102_2001_03_1->n17_a_fce_0102_2001_03_35 n17_a_fce_0102_2001_03_2->n17_a_fce_0102_2001_03_3 n17_a_fce_0102_2001_03_5 D n17_a_fce_0102_2001_03_4->n17_a_fce_0102_2001_03_5 n17_a_fce_0102_2001_03_7 N n17_a_fce_0102_2001_03_4->n17_a_fce_0102_2001_03_7 n17_a_fce_0102_2001_03_9 N n17_a_fce_0102_2001_03_4->n17_a_fce_0102_2001_03_9 n17_a_fce_0102_2001_03_5->n17_a_fce_0102_2001_03_6 n17_a_fce_0102_2001_03_7->n17_a_fce_0102_2001_03_8 n17_a_fce_0102_2001_03_9->n17_a_fce_0102_2001_03_10 n17_a_fce_0102_2001_03_12 P-ROLE n17_a_fce_0102_2001_03_11->n17_a_fce_0102_2001_03_12 n17_a_fce_0102_2001_03_14 NP n17_a_fce_0102_2001_03_11->n17_a_fce_0102_2001_03_14 n17_a_fce_0102_2001_03_12->n17_a_fce_0102_2001_03_13 n17_a_fce_0102_2001_03_15 D n17_a_fce_0102_2001_03_14->n17_a_fce_0102_2001_03_15 n17_a_fce_0102_2001_03_17 N n17_a_fce_0102_2001_03_14->n17_a_fce_0102_2001_03_17 n17_a_fce_0102_2001_03_19 PP n17_a_fce_0102_2001_03_14->n17_a_fce_0102_2001_03_19 n17_a_fce_0102_2001_03_15->n17_a_fce_0102_2001_03_16 n17_a_fce_0102_2001_03_17->n17_a_fce_0102_2001_03_18 n17_a_fce_0102_2001_03_20 P-ROLE n17_a_fce_0102_2001_03_19->n17_a_fce_0102_2001_03_20 n17_a_fce_0102_2001_03_22 NP n17_a_fce_0102_2001_03_19->n17_a_fce_0102_2001_03_22 n17_a_fce_0102_2001_03_20->n17_a_fce_0102_2001_03_21 n17_a_fce_0102_2001_03_23 D n17_a_fce_0102_2001_03_22->n17_a_fce_0102_2001_03_23 n17_a_fce_0102_2001_03_25 N n17_a_fce_0102_2001_03_22->n17_a_fce_0102_2001_03_25 n17_a_fce_0102_2001_03_27 PP n17_a_fce_0102_2001_03_22->n17_a_fce_0102_2001_03_27 n17_a_fce_0102_2001_03_23->n17_a_fce_0102_2001_03_24 n17_a_fce_0102_2001_03_25->n17_a_fce_0102_2001_03_26 n17_a_fce_0102_2001_03_28 P-ROLE n17_a_fce_0102_2001_03_27->n17_a_fce_0102_2001_03_28 n17_a_fce_0102_2001_03_30 NP n17_a_fce_0102_2001_03_27->n17_a_fce_0102_2001_03_30 n17_a_fce_0102_2001_03_28->n17_a_fce_0102_2001_03_29 n17_a_fce_0102_2001_03_31 N n17_a_fce_0102_2001_03_30->n17_a_fce_0102_2001_03_31 n17_a_fce_0102_2001_03_33 NUM n17_a_fce_0102_2001_03_30->n17_a_fce_0102_2001_03_33 n17_a_fce_0102_2001_03_31->n17_a_fce_0102_2001_03_32 n17_a_fce_0102_2001_03_33->n17_a_fce_0102_2001_03_34 n17_a_fce_0102_2001_03_35->n17_a_fce_0102_2001_03_36 
( (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 17_a_fce_0102_2001_03))