Context                Previous, Next                Top


32_a_fce_0102_2001_06
Write (a) or (b) as well as the number 5 in the question box, and the title of the book next to the box.

%3 r_0032_0001__Write Write r_0032_0009__as_well_as as well as r_0032_0001__Write->r_0032_0009__as_well_as [arg1] r_0032_0014__the_r_0032_0015__question_r_0032_0016__box the question box r_0032_0001__Write->r_0032_0014__the_r_0032_0015__question_r_0032_0016__box in [nim] z_000_32_a_fce_0102_2001_06_1 r_0032_0001__Write->z_000_32_a_fce_0102_2001_06_1 [arg0] r_0032_0005__or or r_0032_0009__as_well_as->r_0032_0005__or [conj1] r_0032_0010__the_r_0032_0011__number_r_0032_0012__5 the number 5 r_0032_0009__as_well_as->r_0032_0010__the_r_0032_0011__number_r_0032_0012__5 [conj2] r_0032_0003__a a r_0032_0005__or->r_0032_0003__a [conj1] r_0032_0007__b b r_0032_0005__or->r_0032_0007__b [conj2] r_0032_0018__and and r_0032_0018__and->r_0032_0001__Write [conj1] z_000_32_a_fce_0102_2001_06_52 r_0032_0018__and->z_000_32_a_fce_0102_2001_06_52 [conj2] z_000_32_a_fce_0102_2001_06_52->z_000_32_a_fce_0102_2001_06_1 [arg0] r_0032_0019__the_r_0032_0020__title the title z_000_32_a_fce_0102_2001_06_52->r_0032_0019__the_r_0032_0020__title [arg1] r_0032_0024__next next z_000_32_a_fce_0102_2001_06_52->r_0032_0024__next [nim] r_0032_0022__the_r_0032_0023__book the book r_0032_0019__the_r_0032_0020__title->r_0032_0022__the_r_0032_0023__book of r_0032_0026__the_r_0032_0027__box the box r_0032_0024__next->r_0032_0026__the_r_0032_0027__box to 
arc(r_0032_0001__Write, r_0032_0009__as_well_as, arg1).
arc(r_0032_0001__Write, r_0032_0014__the_r_0032_0015__question_r_0032_0016__box, r_0032_0013__in_nim40).
arc(r_0032_0001__Write, z_000_32_a_fce_0102_2001_06_1, arg0).
arc(r_0032_0005__or, r_0032_0003__a, conj1).
arc(r_0032_0005__or, r_0032_0007__b, conj2).
arc(r_0032_0009__as_well_as, r_0032_0005__or, conj1).
arc(r_0032_0009__as_well_as, r_0032_0010__the_r_0032_0011__number_r_0032_0012__5, conj2).
arc(r_0032_0018__and, r_0032_0001__Write, conj1).
arc(r_0032_0018__and, z_000_32_a_fce_0102_2001_06_52, conj2).
arc(r_0032_0019__the_r_0032_0020__title, r_0032_0022__the_r_0032_0023__book, r_0032_0021__of).
arc(r_0032_0024__next, r_0032_0026__the_r_0032_0027__box, r_0032_0025__to).
arc(z_000_32_a_fce_0102_2001_06_52, r_0032_0019__the_r_0032_0020__title, arg1).
arc(z_000_32_a_fce_0102_2001_06_52, r_0032_0024__next, nim66).
arc(z_000_32_a_fce_0102_2001_06_52, z_000_32_a_fce_0102_2001_06_1, arg0).


%3 r_0032_0001__Write Write r_0032_0009__as_well_as as well as r_0032_0001__Write->r_0032_0009__as_well_as [arg1] r_0032_0014__the_r_0032_0015__question_r_0032_0016__box the question box r_0032_0001__Write->r_0032_0014__the_r_0032_0015__question_r_0032_0016__box in [nim] z_000_32_a_fce_0102_2001_06_1 r_0032_0001__Write->z_000_32_a_fce_0102_2001_06_1 [arg0] r_0032_0005__or or r_0032_0009__as_well_as->r_0032_0005__or [conj1] r_0032_0010__the_r_0032_0011__number_r_0032_0012__5 the number 5 r_0032_0009__as_well_as->r_0032_0010__the_r_0032_0011__number_r_0032_0012__5 [conj2] r_0032_0003__a a r_0032_0005__or->r_0032_0003__a [conj1] r_0032_0007__b b r_0032_0005__or->r_0032_0007__b [conj2] r_0032_0018__and and r_0032_0018__and->r_0032_0001__Write [conj1] z_000_32_a_fce_0102_2001_06_52 r_0032_0018__and->z_000_32_a_fce_0102_2001_06_52 [conj2] z_000_32_a_fce_0102_2001_06_52->z_000_32_a_fce_0102_2001_06_1 [arg0] r_0032_0019__the_r_0032_0020__title the title z_000_32_a_fce_0102_2001_06_52->r_0032_0019__the_r_0032_0020__title [arg1] r_0032_0024__next next z_000_32_a_fce_0102_2001_06_52->r_0032_0024__next [nim] r_0032_0022__the_r_0032_0023__book the book r_0032_0019__the_r_0032_0020__title->r_0032_0022__the_r_0032_0023__book of r_0032_0026__the_r_0032_0027__box the box r_0032_0024__next->r_0032_0026__the_r_0032_0027__box to 
fof(formula,axiom,
    ? [R_32_18_AND,R_32_1_WRITE,R_32_9_AS_WELL_AS,R_32_5_OR,R_32_3_A,R_32_7_B,R_32_10_THE_NUMBER_5,R_32_14_THE_QUESTION_BOX,Z_32_A_FCE_102_2001_6_52,Z_32_A_FCE_102_2001_6_1,R_32_19_THE_TITLE,R_32_22_THE_BOOK,R_32_24_NEXT,R_32_26_THE_BOX] :
      ( a(R_32_3_A)
      & b(R_32_7_B)
      & the_number_5(R_32_10_THE_NUMBER_5)
      & the_question_box(R_32_14_THE_QUESTION_BOX)
      & the_book(R_32_22_THE_BOOK)
      & the_box(R_32_26_THE_BOX)
      & and(R_32_18_AND)
      & conj1(R_32_18_AND,R_32_1_WRITE)
      & write(R_32_1_WRITE,Z_32_A_FCE_102_2001_6_1,R_32_9_AS_WELL_AS)
      & as_well_as(R_32_9_AS_WELL_AS)
      & conj1(R_32_9_AS_WELL_AS,R_32_5_OR)
      & or(R_32_5_OR)
      & conj1(R_32_5_OR,R_32_3_A)
      & conj2(R_32_5_OR,R_32_7_B)
      & conj2(R_32_9_AS_WELL_AS,R_32_10_THE_NUMBER_5)
      & in_nim40(R_32_1_WRITE,R_32_14_THE_QUESTION_BOX)
      & conj2(R_32_18_AND,Z_32_A_FCE_102_2001_6_52)
      & z_32_a_fce_102_2001_6_52(Z_32_A_FCE_102_2001_6_52,Z_32_A_FCE_102_2001_6_1,R_32_19_THE_TITLE)
      & the_title(R_32_19_THE_TITLE)
      & of(R_32_19_THE_TITLE,R_32_22_THE_BOOK)
      & nim66(Z_32_A_FCE_102_2001_6_52,R_32_24_NEXT)
      & next(R_32_24_NEXT)
      & to(R_32_24_NEXT,R_32_26_THE_BOX) ) ).


n32_a_fce_0102_2001_06 n32_a_fce_0102_2001_06_5 Write n32_a_fce_0102_2001_06_12 -LRB- n32_a_fce_0102_2001_06_14 a n32_a_fce_0102_2001_06_16 -RRB- n32_a_fce_0102_2001_06_19 or n32_a_fce_0102_2001_06_22 -LRB- n32_a_fce_0102_2001_06_24 b n32_a_fce_0102_2001_06_26 -RRB- n32_a_fce_0102_2001_06_29 as_well_as n32_a_fce_0102_2001_06_32 the n32_a_fce_0102_2001_06_34 number n32_a_fce_0102_2001_06_36 5 n32_a_fce_0102_2001_06_39 in n32_a_fce_0102_2001_06_42 the n32_a_fce_0102_2001_06_44 question n32_a_fce_0102_2001_06_46 box n32_a_fce_0102_2001_06_48 , n32_a_fce_0102_2001_06_51 and n32_a_fce_0102_2001_06_55 the n32_a_fce_0102_2001_06_57 title n32_a_fce_0102_2001_06_60 of n32_a_fce_0102_2001_06_63 the n32_a_fce_0102_2001_06_65 book n32_a_fce_0102_2001_06_68 next n32_a_fce_0102_2001_06_71 to n32_a_fce_0102_2001_06_74 the n32_a_fce_0102_2001_06_76 box n32_a_fce_0102_2001_06_78 . n32_a_fce_0102_2001_06_1 IP-IMP n32_a_fce_0102_2001_06_2 ILYR n32_a_fce_0102_2001_06_1->n32_a_fce_0102_2001_06_2 n32_a_fce_0102_2001_06_77 PUNC n32_a_fce_0102_2001_06_1->n32_a_fce_0102_2001_06_77 n32_a_fce_0102_2001_06_3 ILYR n32_a_fce_0102_2001_06_2->n32_a_fce_0102_2001_06_3 n32_a_fce_0102_2001_06_47 PUNC n32_a_fce_0102_2001_06_2->n32_a_fce_0102_2001_06_47 n32_a_fce_0102_2001_06_49 CONJP n32_a_fce_0102_2001_06_2->n32_a_fce_0102_2001_06_49 n32_a_fce_0102_2001_06_4 VB;_Tn_ n32_a_fce_0102_2001_06_3->n32_a_fce_0102_2001_06_4 n32_a_fce_0102_2001_06_6 NP-OB1 n32_a_fce_0102_2001_06_3->n32_a_fce_0102_2001_06_6 n32_a_fce_0102_2001_06_37 PP-NIM n32_a_fce_0102_2001_06_3->n32_a_fce_0102_2001_06_37 n32_a_fce_0102_2001_06_4->n32_a_fce_0102_2001_06_5 n32_a_fce_0102_2001_06_7 NLYR n32_a_fce_0102_2001_06_6->n32_a_fce_0102_2001_06_7 n32_a_fce_0102_2001_06_8 NLYR n32_a_fce_0102_2001_06_7->n32_a_fce_0102_2001_06_8 n32_a_fce_0102_2001_06_27 CONJP n32_a_fce_0102_2001_06_7->n32_a_fce_0102_2001_06_27 n32_a_fce_0102_2001_06_9 NLYR n32_a_fce_0102_2001_06_8->n32_a_fce_0102_2001_06_9 n32_a_fce_0102_2001_06_10 NLYR n32_a_fce_0102_2001_06_9->n32_a_fce_0102_2001_06_10 n32_a_fce_0102_2001_06_17 CONJP n32_a_fce_0102_2001_06_9->n32_a_fce_0102_2001_06_17 n32_a_fce_0102_2001_06_11 PULB n32_a_fce_0102_2001_06_10->n32_a_fce_0102_2001_06_11 n32_a_fce_0102_2001_06_13 N n32_a_fce_0102_2001_06_10->n32_a_fce_0102_2001_06_13 n32_a_fce_0102_2001_06_15 PURB n32_a_fce_0102_2001_06_10->n32_a_fce_0102_2001_06_15 n32_a_fce_0102_2001_06_11->n32_a_fce_0102_2001_06_12 n32_a_fce_0102_2001_06_13->n32_a_fce_0102_2001_06_14 n32_a_fce_0102_2001_06_15->n32_a_fce_0102_2001_06_16 n32_a_fce_0102_2001_06_18 CONJ n32_a_fce_0102_2001_06_17->n32_a_fce_0102_2001_06_18 n32_a_fce_0102_2001_06_20 NLYR n32_a_fce_0102_2001_06_17->n32_a_fce_0102_2001_06_20 n32_a_fce_0102_2001_06_18->n32_a_fce_0102_2001_06_19 n32_a_fce_0102_2001_06_21 PULB n32_a_fce_0102_2001_06_20->n32_a_fce_0102_2001_06_21 n32_a_fce_0102_2001_06_23 N n32_a_fce_0102_2001_06_20->n32_a_fce_0102_2001_06_23 n32_a_fce_0102_2001_06_25 PURB n32_a_fce_0102_2001_06_20->n32_a_fce_0102_2001_06_25 n32_a_fce_0102_2001_06_21->n32_a_fce_0102_2001_06_22 n32_a_fce_0102_2001_06_23->n32_a_fce_0102_2001_06_24 n32_a_fce_0102_2001_06_25->n32_a_fce_0102_2001_06_26 n32_a_fce_0102_2001_06_28 CONJ n32_a_fce_0102_2001_06_27->n32_a_fce_0102_2001_06_28 n32_a_fce_0102_2001_06_30 NLYR n32_a_fce_0102_2001_06_27->n32_a_fce_0102_2001_06_30 n32_a_fce_0102_2001_06_28->n32_a_fce_0102_2001_06_29 n32_a_fce_0102_2001_06_31 D n32_a_fce_0102_2001_06_30->n32_a_fce_0102_2001_06_31 n32_a_fce_0102_2001_06_33 N n32_a_fce_0102_2001_06_30->n32_a_fce_0102_2001_06_33 n32_a_fce_0102_2001_06_35 NUM n32_a_fce_0102_2001_06_30->n32_a_fce_0102_2001_06_35 n32_a_fce_0102_2001_06_31->n32_a_fce_0102_2001_06_32 n32_a_fce_0102_2001_06_33->n32_a_fce_0102_2001_06_34 n32_a_fce_0102_2001_06_35->n32_a_fce_0102_2001_06_36 n32_a_fce_0102_2001_06_38 P-ROLE n32_a_fce_0102_2001_06_37->n32_a_fce_0102_2001_06_38 n32_a_fce_0102_2001_06_40 NP n32_a_fce_0102_2001_06_37->n32_a_fce_0102_2001_06_40 n32_a_fce_0102_2001_06_38->n32_a_fce_0102_2001_06_39 n32_a_fce_0102_2001_06_41 D n32_a_fce_0102_2001_06_40->n32_a_fce_0102_2001_06_41 n32_a_fce_0102_2001_06_43 N n32_a_fce_0102_2001_06_40->n32_a_fce_0102_2001_06_43 n32_a_fce_0102_2001_06_45 N n32_a_fce_0102_2001_06_40->n32_a_fce_0102_2001_06_45 n32_a_fce_0102_2001_06_41->n32_a_fce_0102_2001_06_42 n32_a_fce_0102_2001_06_43->n32_a_fce_0102_2001_06_44 n32_a_fce_0102_2001_06_45->n32_a_fce_0102_2001_06_46 n32_a_fce_0102_2001_06_47->n32_a_fce_0102_2001_06_48 n32_a_fce_0102_2001_06_50 CONJ n32_a_fce_0102_2001_06_49->n32_a_fce_0102_2001_06_50 n32_a_fce_0102_2001_06_52 ILYR n32_a_fce_0102_2001_06_49->n32_a_fce_0102_2001_06_52 n32_a_fce_0102_2001_06_50->n32_a_fce_0102_2001_06_51 n32_a_fce_0102_2001_06_53 NP-OB1 n32_a_fce_0102_2001_06_52->n32_a_fce_0102_2001_06_53 n32_a_fce_0102_2001_06_66 ADVP-NIM n32_a_fce_0102_2001_06_52->n32_a_fce_0102_2001_06_66 n32_a_fce_0102_2001_06_54 D n32_a_fce_0102_2001_06_53->n32_a_fce_0102_2001_06_54 n32_a_fce_0102_2001_06_56 N n32_a_fce_0102_2001_06_53->n32_a_fce_0102_2001_06_56 n32_a_fce_0102_2001_06_58 PP n32_a_fce_0102_2001_06_53->n32_a_fce_0102_2001_06_58 n32_a_fce_0102_2001_06_54->n32_a_fce_0102_2001_06_55 n32_a_fce_0102_2001_06_56->n32_a_fce_0102_2001_06_57 n32_a_fce_0102_2001_06_59 P-ROLE n32_a_fce_0102_2001_06_58->n32_a_fce_0102_2001_06_59 n32_a_fce_0102_2001_06_61 NP n32_a_fce_0102_2001_06_58->n32_a_fce_0102_2001_06_61 n32_a_fce_0102_2001_06_59->n32_a_fce_0102_2001_06_60 n32_a_fce_0102_2001_06_62 D n32_a_fce_0102_2001_06_61->n32_a_fce_0102_2001_06_62 n32_a_fce_0102_2001_06_64 N n32_a_fce_0102_2001_06_61->n32_a_fce_0102_2001_06_64 n32_a_fce_0102_2001_06_62->n32_a_fce_0102_2001_06_63 n32_a_fce_0102_2001_06_64->n32_a_fce_0102_2001_06_65 n32_a_fce_0102_2001_06_67 ADV n32_a_fce_0102_2001_06_66->n32_a_fce_0102_2001_06_67 n32_a_fce_0102_2001_06_69 PP n32_a_fce_0102_2001_06_66->n32_a_fce_0102_2001_06_69 n32_a_fce_0102_2001_06_67->n32_a_fce_0102_2001_06_68 n32_a_fce_0102_2001_06_70 P-ROLE n32_a_fce_0102_2001_06_69->n32_a_fce_0102_2001_06_70 n32_a_fce_0102_2001_06_72 NP n32_a_fce_0102_2001_06_69->n32_a_fce_0102_2001_06_72 n32_a_fce_0102_2001_06_70->n32_a_fce_0102_2001_06_71 n32_a_fce_0102_2001_06_73 D n32_a_fce_0102_2001_06_72->n32_a_fce_0102_2001_06_73 n32_a_fce_0102_2001_06_75 N n32_a_fce_0102_2001_06_72->n32_a_fce_0102_2001_06_75 n32_a_fce_0102_2001_06_73->n32_a_fce_0102_2001_06_74 n32_a_fce_0102_2001_06_75->n32_a_fce_0102_2001_06_76 n32_a_fce_0102_2001_06_77->n32_a_fce_0102_2001_06_78 
( (IP-IMP (ILYR (ILYR (VB;_Tn_ Write;{write})
                      (NP-OB1 (NLYR (NLYR (NLYR (NLYR (PULB -LRB-)
                                                      (N a)
                                                      (PURB -RRB-))
                                                (CONJP (CONJ or;{or})
                                                       (NLYR (PULB -LRB-)
                                                             (N b)
                                                             (PURB -RRB-)))))
                                    (CONJP (CONJ as_well_as;{as_well_as})
                                           (NLYR (D the;{the})
                                                 (N number;{number})
                                                 (NUM 5)))))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (N question;{question})
                                  (N box;{box}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-OB1 (D the;{the})
                                     (N title;{title})
                                     (PP (P-ROLE of;{of})
                                         (NP (D the;{the})
                                             (N book;{book}))))
                             (ADVP-NIM (ADV next;{next})
                                       (PP (P-ROLE to;{to})
                                           (NP (D the;{the})
                                               (N box;{box})))))))
          (PUNC .))
  (ID 32_a_fce_0102_2001_06))