Context                Previous, Next                Top


14_a_fce_0102_2001_12
Put the question number in the box at the top of page 5.

%3 r_0014_0001__Put Put r_0014_0002__the_r_0014_0003__question_r_0014_0004__number the question number r_0014_0001__Put->r_0014_0002__the_r_0014_0003__question_r_0014_0004__number [arg1] r_0014_0006__the_r_0014_0007__box the box r_0014_0001__Put->r_0014_0006__the_r_0014_0007__box in [nim] z_000_14_a_fce_0102_2001_12_1 r_0014_0001__Put->z_000_14_a_fce_0102_2001_12_1 [arg0] r_0014_0009__the_r_0014_0010__top the top r_0014_0006__the_r_0014_0007__box->r_0014_0009__the_r_0014_0010__top at r_0014_0012__page_r_0014_0013__5 page 5 r_0014_0009__the_r_0014_0010__top->r_0014_0012__page_r_0014_0013__5 of 
arc(r_0014_0001__Put, r_0014_0002__the_r_0014_0003__question_r_0014_0004__number, arg1).
arc(r_0014_0001__Put, r_0014_0006__the_r_0014_0007__box, r_0014_0005__in_nim14).
arc(r_0014_0001__Put, z_000_14_a_fce_0102_2001_12_1, arg0).
arc(r_0014_0006__the_r_0014_0007__box, r_0014_0009__the_r_0014_0010__top, r_0014_0008__at).
arc(r_0014_0009__the_r_0014_0010__top, r_0014_0012__page_r_0014_0013__5, r_0014_0011__of).


%3 r_0014_0001__Put Put r_0014_0002__the_r_0014_0003__question_r_0014_0004__number the question number r_0014_0001__Put->r_0014_0002__the_r_0014_0003__question_r_0014_0004__number [arg1] r_0014_0006__the_r_0014_0007__box the box r_0014_0001__Put->r_0014_0006__the_r_0014_0007__box in [nim] z_000_14_a_fce_0102_2001_12_1 r_0014_0001__Put->z_000_14_a_fce_0102_2001_12_1 [arg0] r_0014_0009__the_r_0014_0010__top the top r_0014_0006__the_r_0014_0007__box->r_0014_0009__the_r_0014_0010__top at r_0014_0012__page_r_0014_0013__5 page 5 r_0014_0009__the_r_0014_0010__top->r_0014_0012__page_r_0014_0013__5 of 
fof(formula,axiom,
    ? [R_14_1_PUT,Z_14_A_FCE_102_2001_12_1,R_14_2_THE_QUESTION_NUMBER,R_14_6_THE_BOX,R_14_9_THE_TOP,R_14_12_PAGE_5] :
      ( the_question_number(R_14_2_THE_QUESTION_NUMBER)
      & page_5(R_14_12_PAGE_5)
      & put(R_14_1_PUT,Z_14_A_FCE_102_2001_12_1,R_14_2_THE_QUESTION_NUMBER)
      & in_nim14(R_14_1_PUT,R_14_6_THE_BOX)
      & the_box(R_14_6_THE_BOX)
      & at(R_14_6_THE_BOX,R_14_9_THE_TOP)
      & the_top(R_14_9_THE_TOP)
      & of(R_14_9_THE_TOP,R_14_12_PAGE_5) ) ).


n14_a_fce_0102_2001_12 n14_a_fce_0102_2001_12_3 Put n14_a_fce_0102_2001_12_6 the n14_a_fce_0102_2001_12_8 question n14_a_fce_0102_2001_12_10 number n14_a_fce_0102_2001_12_13 in n14_a_fce_0102_2001_12_16 the n14_a_fce_0102_2001_12_18 box n14_a_fce_0102_2001_12_21 at n14_a_fce_0102_2001_12_24 the n14_a_fce_0102_2001_12_26 top n14_a_fce_0102_2001_12_29 of n14_a_fce_0102_2001_12_32 page n14_a_fce_0102_2001_12_34 5 n14_a_fce_0102_2001_12_36 . n14_a_fce_0102_2001_12_1 IP-IMP n14_a_fce_0102_2001_12_2 VB;_Tn.pr_ n14_a_fce_0102_2001_12_1->n14_a_fce_0102_2001_12_2 n14_a_fce_0102_2001_12_4 NP-OB1 n14_a_fce_0102_2001_12_1->n14_a_fce_0102_2001_12_4 n14_a_fce_0102_2001_12_11 PP-NIM n14_a_fce_0102_2001_12_1->n14_a_fce_0102_2001_12_11 n14_a_fce_0102_2001_12_35 PUNC n14_a_fce_0102_2001_12_1->n14_a_fce_0102_2001_12_35 n14_a_fce_0102_2001_12_2->n14_a_fce_0102_2001_12_3 n14_a_fce_0102_2001_12_5 D n14_a_fce_0102_2001_12_4->n14_a_fce_0102_2001_12_5 n14_a_fce_0102_2001_12_7 N n14_a_fce_0102_2001_12_4->n14_a_fce_0102_2001_12_7 n14_a_fce_0102_2001_12_9 N n14_a_fce_0102_2001_12_4->n14_a_fce_0102_2001_12_9 n14_a_fce_0102_2001_12_5->n14_a_fce_0102_2001_12_6 n14_a_fce_0102_2001_12_7->n14_a_fce_0102_2001_12_8 n14_a_fce_0102_2001_12_9->n14_a_fce_0102_2001_12_10 n14_a_fce_0102_2001_12_12 P-ROLE n14_a_fce_0102_2001_12_11->n14_a_fce_0102_2001_12_12 n14_a_fce_0102_2001_12_14 NP n14_a_fce_0102_2001_12_11->n14_a_fce_0102_2001_12_14 n14_a_fce_0102_2001_12_12->n14_a_fce_0102_2001_12_13 n14_a_fce_0102_2001_12_15 D n14_a_fce_0102_2001_12_14->n14_a_fce_0102_2001_12_15 n14_a_fce_0102_2001_12_17 N n14_a_fce_0102_2001_12_14->n14_a_fce_0102_2001_12_17 n14_a_fce_0102_2001_12_19 PP n14_a_fce_0102_2001_12_14->n14_a_fce_0102_2001_12_19 n14_a_fce_0102_2001_12_15->n14_a_fce_0102_2001_12_16 n14_a_fce_0102_2001_12_17->n14_a_fce_0102_2001_12_18 n14_a_fce_0102_2001_12_20 P-ROLE n14_a_fce_0102_2001_12_19->n14_a_fce_0102_2001_12_20 n14_a_fce_0102_2001_12_22 NP n14_a_fce_0102_2001_12_19->n14_a_fce_0102_2001_12_22 n14_a_fce_0102_2001_12_20->n14_a_fce_0102_2001_12_21 n14_a_fce_0102_2001_12_23 D n14_a_fce_0102_2001_12_22->n14_a_fce_0102_2001_12_23 n14_a_fce_0102_2001_12_25 N n14_a_fce_0102_2001_12_22->n14_a_fce_0102_2001_12_25 n14_a_fce_0102_2001_12_27 PP n14_a_fce_0102_2001_12_22->n14_a_fce_0102_2001_12_27 n14_a_fce_0102_2001_12_23->n14_a_fce_0102_2001_12_24 n14_a_fce_0102_2001_12_25->n14_a_fce_0102_2001_12_26 n14_a_fce_0102_2001_12_28 P-ROLE n14_a_fce_0102_2001_12_27->n14_a_fce_0102_2001_12_28 n14_a_fce_0102_2001_12_30 NP n14_a_fce_0102_2001_12_27->n14_a_fce_0102_2001_12_30 n14_a_fce_0102_2001_12_28->n14_a_fce_0102_2001_12_29 n14_a_fce_0102_2001_12_31 N n14_a_fce_0102_2001_12_30->n14_a_fce_0102_2001_12_31 n14_a_fce_0102_2001_12_33 NUM n14_a_fce_0102_2001_12_30->n14_a_fce_0102_2001_12_33 n14_a_fce_0102_2001_12_31->n14_a_fce_0102_2001_12_32 n14_a_fce_0102_2001_12_33->n14_a_fce_0102_2001_12_34 n14_a_fce_0102_2001_12_35->n14_a_fce_0102_2001_12_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 14_a_fce_0102_2001_12))