Context                Previous, Next                Top


19_a_fce_0100_2000_06
Put the question number in the box at the top of page 5.

%3 r_0019_0001__Put Put r_0019_0002__the_r_0019_0003__question_r_0019_0004__number the question number r_0019_0001__Put->r_0019_0002__the_r_0019_0003__question_r_0019_0004__number [arg1] r_0019_0006__the_r_0019_0007__box the box r_0019_0001__Put->r_0019_0006__the_r_0019_0007__box in [clr] z_000_19_a_fce_0100_2000_06_1 r_0019_0001__Put->z_000_19_a_fce_0100_2000_06_1 [arg0] r_0019_0009__the_r_0019_0010__top the top r_0019_0006__the_r_0019_0007__box->r_0019_0009__the_r_0019_0010__top at r_0019_0012__page_r_0019_0013__5 page 5 r_0019_0009__the_r_0019_0010__top->r_0019_0012__page_r_0019_0013__5 of 
arc(r_0019_0001__Put, r_0019_0002__the_r_0019_0003__question_r_0019_0004__number, arg1).
arc(r_0019_0001__Put, r_0019_0006__the_r_0019_0007__box, r_0019_0005__in_clr14).
arc(r_0019_0001__Put, z_000_19_a_fce_0100_2000_06_1, arg0).
arc(r_0019_0006__the_r_0019_0007__box, r_0019_0009__the_r_0019_0010__top, r_0019_0008__at).
arc(r_0019_0009__the_r_0019_0010__top, r_0019_0012__page_r_0019_0013__5, r_0019_0011__of).


%3 r_0019_0001__Put Put r_0019_0002__the_r_0019_0003__question_r_0019_0004__number the question number r_0019_0001__Put->r_0019_0002__the_r_0019_0003__question_r_0019_0004__number [arg1] r_0019_0006__the_r_0019_0007__box the box r_0019_0001__Put->r_0019_0006__the_r_0019_0007__box in [clr] z_000_19_a_fce_0100_2000_06_1 r_0019_0001__Put->z_000_19_a_fce_0100_2000_06_1 [arg0] r_0019_0009__the_r_0019_0010__top the top r_0019_0006__the_r_0019_0007__box->r_0019_0009__the_r_0019_0010__top at r_0019_0012__page_r_0019_0013__5 page 5 r_0019_0009__the_r_0019_0010__top->r_0019_0012__page_r_0019_0013__5 of 
fof(formula,axiom,
    ? [R_19_1_PUT,Z_19_A_FCE_100_2000_6_1,R_19_2_THE_QUESTION_NUMBER,R_19_6_THE_BOX,R_19_9_THE_TOP,R_19_12_PAGE_5] :
      ( the_question_number(R_19_2_THE_QUESTION_NUMBER)
      & page_5(R_19_12_PAGE_5)
      & put(R_19_1_PUT,Z_19_A_FCE_100_2000_6_1,R_19_2_THE_QUESTION_NUMBER)
      & in_clr14(R_19_1_PUT,R_19_6_THE_BOX)
      & the_box(R_19_6_THE_BOX)
      & at(R_19_6_THE_BOX,R_19_9_THE_TOP)
      & the_top(R_19_9_THE_TOP)
      & of(R_19_9_THE_TOP,R_19_12_PAGE_5) ) ).


n19_a_fce_0100_2000_06 n19_a_fce_0100_2000_06_3 Put n19_a_fce_0100_2000_06_6 the n19_a_fce_0100_2000_06_8 question n19_a_fce_0100_2000_06_10 number n19_a_fce_0100_2000_06_13 in n19_a_fce_0100_2000_06_16 the n19_a_fce_0100_2000_06_18 box n19_a_fce_0100_2000_06_21 at n19_a_fce_0100_2000_06_24 the n19_a_fce_0100_2000_06_26 top n19_a_fce_0100_2000_06_29 of n19_a_fce_0100_2000_06_32 page n19_a_fce_0100_2000_06_34 5 n19_a_fce_0100_2000_06_36 . n19_a_fce_0100_2000_06_1 IP-IMP n19_a_fce_0100_2000_06_2 VB;_Tn.pr_ n19_a_fce_0100_2000_06_1->n19_a_fce_0100_2000_06_2 n19_a_fce_0100_2000_06_4 NP-OB1 n19_a_fce_0100_2000_06_1->n19_a_fce_0100_2000_06_4 n19_a_fce_0100_2000_06_11 PP-CLR n19_a_fce_0100_2000_06_1->n19_a_fce_0100_2000_06_11 n19_a_fce_0100_2000_06_35 PUNC n19_a_fce_0100_2000_06_1->n19_a_fce_0100_2000_06_35 n19_a_fce_0100_2000_06_2->n19_a_fce_0100_2000_06_3 n19_a_fce_0100_2000_06_5 D n19_a_fce_0100_2000_06_4->n19_a_fce_0100_2000_06_5 n19_a_fce_0100_2000_06_7 N n19_a_fce_0100_2000_06_4->n19_a_fce_0100_2000_06_7 n19_a_fce_0100_2000_06_9 N n19_a_fce_0100_2000_06_4->n19_a_fce_0100_2000_06_9 n19_a_fce_0100_2000_06_5->n19_a_fce_0100_2000_06_6 n19_a_fce_0100_2000_06_7->n19_a_fce_0100_2000_06_8 n19_a_fce_0100_2000_06_9->n19_a_fce_0100_2000_06_10 n19_a_fce_0100_2000_06_12 P-ROLE n19_a_fce_0100_2000_06_11->n19_a_fce_0100_2000_06_12 n19_a_fce_0100_2000_06_14 NP n19_a_fce_0100_2000_06_11->n19_a_fce_0100_2000_06_14 n19_a_fce_0100_2000_06_12->n19_a_fce_0100_2000_06_13 n19_a_fce_0100_2000_06_15 D n19_a_fce_0100_2000_06_14->n19_a_fce_0100_2000_06_15 n19_a_fce_0100_2000_06_17 N n19_a_fce_0100_2000_06_14->n19_a_fce_0100_2000_06_17 n19_a_fce_0100_2000_06_19 PP n19_a_fce_0100_2000_06_14->n19_a_fce_0100_2000_06_19 n19_a_fce_0100_2000_06_15->n19_a_fce_0100_2000_06_16 n19_a_fce_0100_2000_06_17->n19_a_fce_0100_2000_06_18 n19_a_fce_0100_2000_06_20 P-ROLE n19_a_fce_0100_2000_06_19->n19_a_fce_0100_2000_06_20 n19_a_fce_0100_2000_06_22 NP n19_a_fce_0100_2000_06_19->n19_a_fce_0100_2000_06_22 n19_a_fce_0100_2000_06_20->n19_a_fce_0100_2000_06_21 n19_a_fce_0100_2000_06_23 D n19_a_fce_0100_2000_06_22->n19_a_fce_0100_2000_06_23 n19_a_fce_0100_2000_06_25 N n19_a_fce_0100_2000_06_22->n19_a_fce_0100_2000_06_25 n19_a_fce_0100_2000_06_27 PP n19_a_fce_0100_2000_06_22->n19_a_fce_0100_2000_06_27 n19_a_fce_0100_2000_06_23->n19_a_fce_0100_2000_06_24 n19_a_fce_0100_2000_06_25->n19_a_fce_0100_2000_06_26 n19_a_fce_0100_2000_06_28 P-ROLE n19_a_fce_0100_2000_06_27->n19_a_fce_0100_2000_06_28 n19_a_fce_0100_2000_06_30 NP n19_a_fce_0100_2000_06_27->n19_a_fce_0100_2000_06_30 n19_a_fce_0100_2000_06_28->n19_a_fce_0100_2000_06_29 n19_a_fce_0100_2000_06_31 N n19_a_fce_0100_2000_06_30->n19_a_fce_0100_2000_06_31 n19_a_fce_0100_2000_06_33 NUM n19_a_fce_0100_2000_06_30->n19_a_fce_0100_2000_06_33 n19_a_fce_0100_2000_06_31->n19_a_fce_0100_2000_06_32 n19_a_fce_0100_2000_06_33->n19_a_fce_0100_2000_06_34 n19_a_fce_0100_2000_06_35->n19_a_fce_0100_2000_06_36 
( (IP-IMP (VB;_Tn.pr_ Put;{put[in]})
          (NP-OB1 (D the;{the})
                  (N question;{question})
                  (N number;{number}))
          (PP-CLR (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 19_a_fce_0100_2000_06))