Context                Previous, Next                Top


33_a_fce_0102_2000_12
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_0033_0001__Write Write r_0033_0009__as_well_as as well as r_0033_0001__Write->r_0033_0009__as_well_as [arg1] r_0033_0014__the_r_0033_0015__question_r_0033_0016__box the question box r_0033_0001__Write->r_0033_0014__the_r_0033_0015__question_r_0033_0016__box in [nim] z_000_33_a_fce_0102_2000_12_1 r_0033_0001__Write->z_000_33_a_fce_0102_2000_12_1 [arg0] r_0033_0005__or or r_0033_0009__as_well_as->r_0033_0005__or [conj1] r_0033_0010__the_r_0033_0011__number_r_0033_0012__5 the number 5 r_0033_0009__as_well_as->r_0033_0010__the_r_0033_0011__number_r_0033_0012__5 [conj2] r_0033_0003__a a r_0033_0005__or->r_0033_0003__a [conj1] r_0033_0007__b b r_0033_0005__or->r_0033_0007__b [conj2] r_0033_0018__and and r_0033_0018__and->r_0033_0001__Write [conj1] z_000_33_a_fce_0102_2000_12_52 r_0033_0018__and->z_000_33_a_fce_0102_2000_12_52 [conj2] z_000_33_a_fce_0102_2000_12_52->z_000_33_a_fce_0102_2000_12_1 [arg0] r_0033_0019__the_r_0033_0020__title the title z_000_33_a_fce_0102_2000_12_52->r_0033_0019__the_r_0033_0020__title [arg1] r_0033_0024__next next z_000_33_a_fce_0102_2000_12_52->r_0033_0024__next [nim] r_0033_0022__the_r_0033_0023__book the book r_0033_0019__the_r_0033_0020__title->r_0033_0022__the_r_0033_0023__book of r_0033_0026__the_r_0033_0027__box the box r_0033_0024__next->r_0033_0026__the_r_0033_0027__box to 
arc(r_0033_0001__Write, r_0033_0009__as_well_as, arg1).
arc(r_0033_0001__Write, r_0033_0014__the_r_0033_0015__question_r_0033_0016__box, r_0033_0013__in_nim40).
arc(r_0033_0001__Write, z_000_33_a_fce_0102_2000_12_1, arg0).
arc(r_0033_0005__or, r_0033_0003__a, conj1).
arc(r_0033_0005__or, r_0033_0007__b, conj2).
arc(r_0033_0009__as_well_as, r_0033_0005__or, conj1).
arc(r_0033_0009__as_well_as, r_0033_0010__the_r_0033_0011__number_r_0033_0012__5, conj2).
arc(r_0033_0018__and, r_0033_0001__Write, conj1).
arc(r_0033_0018__and, z_000_33_a_fce_0102_2000_12_52, conj2).
arc(r_0033_0019__the_r_0033_0020__title, r_0033_0022__the_r_0033_0023__book, r_0033_0021__of).
arc(r_0033_0024__next, r_0033_0026__the_r_0033_0027__box, r_0033_0025__to).
arc(z_000_33_a_fce_0102_2000_12_52, r_0033_0019__the_r_0033_0020__title, arg1).
arc(z_000_33_a_fce_0102_2000_12_52, r_0033_0024__next, nim66).
arc(z_000_33_a_fce_0102_2000_12_52, z_000_33_a_fce_0102_2000_12_1, arg0).


%3 r_0033_0001__Write Write r_0033_0009__as_well_as as well as r_0033_0001__Write->r_0033_0009__as_well_as [arg1] r_0033_0014__the_r_0033_0015__question_r_0033_0016__box the question box r_0033_0001__Write->r_0033_0014__the_r_0033_0015__question_r_0033_0016__box in [nim] z_000_33_a_fce_0102_2000_12_1 r_0033_0001__Write->z_000_33_a_fce_0102_2000_12_1 [arg0] r_0033_0005__or or r_0033_0009__as_well_as->r_0033_0005__or [conj1] r_0033_0010__the_r_0033_0011__number_r_0033_0012__5 the number 5 r_0033_0009__as_well_as->r_0033_0010__the_r_0033_0011__number_r_0033_0012__5 [conj2] r_0033_0003__a a r_0033_0005__or->r_0033_0003__a [conj1] r_0033_0007__b b r_0033_0005__or->r_0033_0007__b [conj2] r_0033_0018__and and r_0033_0018__and->r_0033_0001__Write [conj1] z_000_33_a_fce_0102_2000_12_52 r_0033_0018__and->z_000_33_a_fce_0102_2000_12_52 [conj2] z_000_33_a_fce_0102_2000_12_52->z_000_33_a_fce_0102_2000_12_1 [arg0] r_0033_0019__the_r_0033_0020__title the title z_000_33_a_fce_0102_2000_12_52->r_0033_0019__the_r_0033_0020__title [arg1] r_0033_0024__next next z_000_33_a_fce_0102_2000_12_52->r_0033_0024__next [nim] r_0033_0022__the_r_0033_0023__book the book r_0033_0019__the_r_0033_0020__title->r_0033_0022__the_r_0033_0023__book of r_0033_0026__the_r_0033_0027__box the box r_0033_0024__next->r_0033_0026__the_r_0033_0027__box to 
fof(formula,axiom,
    ? [R_33_18_AND,R_33_1_WRITE,R_33_9_AS_WELL_AS,R_33_5_OR,R_33_3_A,R_33_7_B,R_33_10_THE_NUMBER_5,R_33_14_THE_QUESTION_BOX,Z_33_A_FCE_102_2000_12_52,Z_33_A_FCE_102_2000_12_1,R_33_19_THE_TITLE,R_33_22_THE_BOOK,R_33_24_NEXT,R_33_26_THE_BOX] :
      ( a(R_33_3_A)
      & b(R_33_7_B)
      & the_number_5(R_33_10_THE_NUMBER_5)
      & the_question_box(R_33_14_THE_QUESTION_BOX)
      & the_book(R_33_22_THE_BOOK)
      & the_box(R_33_26_THE_BOX)
      & and(R_33_18_AND)
      & conj1(R_33_18_AND,R_33_1_WRITE)
      & write(R_33_1_WRITE,Z_33_A_FCE_102_2000_12_1,R_33_9_AS_WELL_AS)
      & as_well_as(R_33_9_AS_WELL_AS)
      & conj1(R_33_9_AS_WELL_AS,R_33_5_OR)
      & or(R_33_5_OR)
      & conj1(R_33_5_OR,R_33_3_A)
      & conj2(R_33_5_OR,R_33_7_B)
      & conj2(R_33_9_AS_WELL_AS,R_33_10_THE_NUMBER_5)
      & in_nim40(R_33_1_WRITE,R_33_14_THE_QUESTION_BOX)
      & conj2(R_33_18_AND,Z_33_A_FCE_102_2000_12_52)
      & z_33_a_fce_102_2000_12_52(Z_33_A_FCE_102_2000_12_52,Z_33_A_FCE_102_2000_12_1,R_33_19_THE_TITLE)
      & the_title(R_33_19_THE_TITLE)
      & of(R_33_19_THE_TITLE,R_33_22_THE_BOOK)
      & nim66(Z_33_A_FCE_102_2000_12_52,R_33_24_NEXT)
      & next(R_33_24_NEXT)
      & to(R_33_24_NEXT,R_33_26_THE_BOX) ) ).


n33_a_fce_0102_2000_12 n33_a_fce_0102_2000_12_5 Write n33_a_fce_0102_2000_12_12 -LRB- n33_a_fce_0102_2000_12_14 a n33_a_fce_0102_2000_12_16 -RRB- n33_a_fce_0102_2000_12_19 or n33_a_fce_0102_2000_12_22 -LRB- n33_a_fce_0102_2000_12_24 b n33_a_fce_0102_2000_12_26 -RRB- n33_a_fce_0102_2000_12_29 as_well_as n33_a_fce_0102_2000_12_32 the n33_a_fce_0102_2000_12_34 number n33_a_fce_0102_2000_12_36 5 n33_a_fce_0102_2000_12_39 in n33_a_fce_0102_2000_12_42 the n33_a_fce_0102_2000_12_44 question n33_a_fce_0102_2000_12_46 box n33_a_fce_0102_2000_12_48 , n33_a_fce_0102_2000_12_51 and n33_a_fce_0102_2000_12_55 the n33_a_fce_0102_2000_12_57 title n33_a_fce_0102_2000_12_60 of n33_a_fce_0102_2000_12_63 the n33_a_fce_0102_2000_12_65 book n33_a_fce_0102_2000_12_68 next n33_a_fce_0102_2000_12_71 to n33_a_fce_0102_2000_12_74 the n33_a_fce_0102_2000_12_76 box n33_a_fce_0102_2000_12_78 . n33_a_fce_0102_2000_12_1 IP-IMP n33_a_fce_0102_2000_12_2 ILYR n33_a_fce_0102_2000_12_1->n33_a_fce_0102_2000_12_2 n33_a_fce_0102_2000_12_77 PUNC n33_a_fce_0102_2000_12_1->n33_a_fce_0102_2000_12_77 n33_a_fce_0102_2000_12_3 ILYR n33_a_fce_0102_2000_12_2->n33_a_fce_0102_2000_12_3 n33_a_fce_0102_2000_12_47 PUNC n33_a_fce_0102_2000_12_2->n33_a_fce_0102_2000_12_47 n33_a_fce_0102_2000_12_49 CONJP n33_a_fce_0102_2000_12_2->n33_a_fce_0102_2000_12_49 n33_a_fce_0102_2000_12_4 VB;_Tn_ n33_a_fce_0102_2000_12_3->n33_a_fce_0102_2000_12_4 n33_a_fce_0102_2000_12_6 NP-OB1 n33_a_fce_0102_2000_12_3->n33_a_fce_0102_2000_12_6 n33_a_fce_0102_2000_12_37 PP-NIM n33_a_fce_0102_2000_12_3->n33_a_fce_0102_2000_12_37 n33_a_fce_0102_2000_12_4->n33_a_fce_0102_2000_12_5 n33_a_fce_0102_2000_12_7 NLYR n33_a_fce_0102_2000_12_6->n33_a_fce_0102_2000_12_7 n33_a_fce_0102_2000_12_8 NLYR n33_a_fce_0102_2000_12_7->n33_a_fce_0102_2000_12_8 n33_a_fce_0102_2000_12_27 CONJP n33_a_fce_0102_2000_12_7->n33_a_fce_0102_2000_12_27 n33_a_fce_0102_2000_12_9 NLYR n33_a_fce_0102_2000_12_8->n33_a_fce_0102_2000_12_9 n33_a_fce_0102_2000_12_10 NLYR n33_a_fce_0102_2000_12_9->n33_a_fce_0102_2000_12_10 n33_a_fce_0102_2000_12_17 CONJP n33_a_fce_0102_2000_12_9->n33_a_fce_0102_2000_12_17 n33_a_fce_0102_2000_12_11 PULB n33_a_fce_0102_2000_12_10->n33_a_fce_0102_2000_12_11 n33_a_fce_0102_2000_12_13 N n33_a_fce_0102_2000_12_10->n33_a_fce_0102_2000_12_13 n33_a_fce_0102_2000_12_15 PURB n33_a_fce_0102_2000_12_10->n33_a_fce_0102_2000_12_15 n33_a_fce_0102_2000_12_11->n33_a_fce_0102_2000_12_12 n33_a_fce_0102_2000_12_13->n33_a_fce_0102_2000_12_14 n33_a_fce_0102_2000_12_15->n33_a_fce_0102_2000_12_16 n33_a_fce_0102_2000_12_18 CONJ n33_a_fce_0102_2000_12_17->n33_a_fce_0102_2000_12_18 n33_a_fce_0102_2000_12_20 NLYR n33_a_fce_0102_2000_12_17->n33_a_fce_0102_2000_12_20 n33_a_fce_0102_2000_12_18->n33_a_fce_0102_2000_12_19 n33_a_fce_0102_2000_12_21 PULB n33_a_fce_0102_2000_12_20->n33_a_fce_0102_2000_12_21 n33_a_fce_0102_2000_12_23 N n33_a_fce_0102_2000_12_20->n33_a_fce_0102_2000_12_23 n33_a_fce_0102_2000_12_25 PURB n33_a_fce_0102_2000_12_20->n33_a_fce_0102_2000_12_25 n33_a_fce_0102_2000_12_21->n33_a_fce_0102_2000_12_22 n33_a_fce_0102_2000_12_23->n33_a_fce_0102_2000_12_24 n33_a_fce_0102_2000_12_25->n33_a_fce_0102_2000_12_26 n33_a_fce_0102_2000_12_28 CONJ n33_a_fce_0102_2000_12_27->n33_a_fce_0102_2000_12_28 n33_a_fce_0102_2000_12_30 NLYR n33_a_fce_0102_2000_12_27->n33_a_fce_0102_2000_12_30 n33_a_fce_0102_2000_12_28->n33_a_fce_0102_2000_12_29 n33_a_fce_0102_2000_12_31 D n33_a_fce_0102_2000_12_30->n33_a_fce_0102_2000_12_31 n33_a_fce_0102_2000_12_33 N n33_a_fce_0102_2000_12_30->n33_a_fce_0102_2000_12_33 n33_a_fce_0102_2000_12_35 NUM n33_a_fce_0102_2000_12_30->n33_a_fce_0102_2000_12_35 n33_a_fce_0102_2000_12_31->n33_a_fce_0102_2000_12_32 n33_a_fce_0102_2000_12_33->n33_a_fce_0102_2000_12_34 n33_a_fce_0102_2000_12_35->n33_a_fce_0102_2000_12_36 n33_a_fce_0102_2000_12_38 P-ROLE n33_a_fce_0102_2000_12_37->n33_a_fce_0102_2000_12_38 n33_a_fce_0102_2000_12_40 NP n33_a_fce_0102_2000_12_37->n33_a_fce_0102_2000_12_40 n33_a_fce_0102_2000_12_38->n33_a_fce_0102_2000_12_39 n33_a_fce_0102_2000_12_41 D n33_a_fce_0102_2000_12_40->n33_a_fce_0102_2000_12_41 n33_a_fce_0102_2000_12_43 N n33_a_fce_0102_2000_12_40->n33_a_fce_0102_2000_12_43 n33_a_fce_0102_2000_12_45 N n33_a_fce_0102_2000_12_40->n33_a_fce_0102_2000_12_45 n33_a_fce_0102_2000_12_41->n33_a_fce_0102_2000_12_42 n33_a_fce_0102_2000_12_43->n33_a_fce_0102_2000_12_44 n33_a_fce_0102_2000_12_45->n33_a_fce_0102_2000_12_46 n33_a_fce_0102_2000_12_47->n33_a_fce_0102_2000_12_48 n33_a_fce_0102_2000_12_50 CONJ n33_a_fce_0102_2000_12_49->n33_a_fce_0102_2000_12_50 n33_a_fce_0102_2000_12_52 ILYR n33_a_fce_0102_2000_12_49->n33_a_fce_0102_2000_12_52 n33_a_fce_0102_2000_12_50->n33_a_fce_0102_2000_12_51 n33_a_fce_0102_2000_12_53 NP-OB1 n33_a_fce_0102_2000_12_52->n33_a_fce_0102_2000_12_53 n33_a_fce_0102_2000_12_66 ADVP-NIM n33_a_fce_0102_2000_12_52->n33_a_fce_0102_2000_12_66 n33_a_fce_0102_2000_12_54 D n33_a_fce_0102_2000_12_53->n33_a_fce_0102_2000_12_54 n33_a_fce_0102_2000_12_56 N n33_a_fce_0102_2000_12_53->n33_a_fce_0102_2000_12_56 n33_a_fce_0102_2000_12_58 PP n33_a_fce_0102_2000_12_53->n33_a_fce_0102_2000_12_58 n33_a_fce_0102_2000_12_54->n33_a_fce_0102_2000_12_55 n33_a_fce_0102_2000_12_56->n33_a_fce_0102_2000_12_57 n33_a_fce_0102_2000_12_59 P-ROLE n33_a_fce_0102_2000_12_58->n33_a_fce_0102_2000_12_59 n33_a_fce_0102_2000_12_61 NP n33_a_fce_0102_2000_12_58->n33_a_fce_0102_2000_12_61 n33_a_fce_0102_2000_12_59->n33_a_fce_0102_2000_12_60 n33_a_fce_0102_2000_12_62 D n33_a_fce_0102_2000_12_61->n33_a_fce_0102_2000_12_62 n33_a_fce_0102_2000_12_64 N n33_a_fce_0102_2000_12_61->n33_a_fce_0102_2000_12_64 n33_a_fce_0102_2000_12_62->n33_a_fce_0102_2000_12_63 n33_a_fce_0102_2000_12_64->n33_a_fce_0102_2000_12_65 n33_a_fce_0102_2000_12_67 ADV n33_a_fce_0102_2000_12_66->n33_a_fce_0102_2000_12_67 n33_a_fce_0102_2000_12_69 PP n33_a_fce_0102_2000_12_66->n33_a_fce_0102_2000_12_69 n33_a_fce_0102_2000_12_67->n33_a_fce_0102_2000_12_68 n33_a_fce_0102_2000_12_70 P-ROLE n33_a_fce_0102_2000_12_69->n33_a_fce_0102_2000_12_70 n33_a_fce_0102_2000_12_72 NP n33_a_fce_0102_2000_12_69->n33_a_fce_0102_2000_12_72 n33_a_fce_0102_2000_12_70->n33_a_fce_0102_2000_12_71 n33_a_fce_0102_2000_12_73 D n33_a_fce_0102_2000_12_72->n33_a_fce_0102_2000_12_73 n33_a_fce_0102_2000_12_75 N n33_a_fce_0102_2000_12_72->n33_a_fce_0102_2000_12_75 n33_a_fce_0102_2000_12_73->n33_a_fce_0102_2000_12_74 n33_a_fce_0102_2000_12_75->n33_a_fce_0102_2000_12_76 n33_a_fce_0102_2000_12_77->n33_a_fce_0102_2000_12_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 33_a_fce_0102_2000_12))