Context                Previous, Next                Top


35_a_fce_0102_2001_03
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_0035_0001__Write Write r_0035_0009__as_well_as as well as r_0035_0001__Write->r_0035_0009__as_well_as [arg1] r_0035_0014__the_r_0035_0015__question_r_0035_0016__box the question box r_0035_0001__Write->r_0035_0014__the_r_0035_0015__question_r_0035_0016__box in [nim] z_000_35_a_fce_0102_2001_03_1 r_0035_0001__Write->z_000_35_a_fce_0102_2001_03_1 [arg0] r_0035_0005__or or r_0035_0009__as_well_as->r_0035_0005__or [conj1] r_0035_0010__the_r_0035_0011__number_r_0035_0012__5 the number 5 r_0035_0009__as_well_as->r_0035_0010__the_r_0035_0011__number_r_0035_0012__5 [conj2] r_0035_0003__a a r_0035_0005__or->r_0035_0003__a [conj1] r_0035_0007__b b r_0035_0005__or->r_0035_0007__b [conj2] r_0035_0018__and and r_0035_0018__and->r_0035_0001__Write [conj1] z_000_35_a_fce_0102_2001_03_52 r_0035_0018__and->z_000_35_a_fce_0102_2001_03_52 [conj2] z_000_35_a_fce_0102_2001_03_52->z_000_35_a_fce_0102_2001_03_1 [arg0] r_0035_0019__the_r_0035_0020__title the title z_000_35_a_fce_0102_2001_03_52->r_0035_0019__the_r_0035_0020__title [arg1] r_0035_0024__next next z_000_35_a_fce_0102_2001_03_52->r_0035_0024__next [nim] r_0035_0022__the_r_0035_0023__book the book r_0035_0019__the_r_0035_0020__title->r_0035_0022__the_r_0035_0023__book of r_0035_0026__the_r_0035_0027__box the box r_0035_0024__next->r_0035_0026__the_r_0035_0027__box to 
arc(r_0035_0001__Write, r_0035_0009__as_well_as, arg1).
arc(r_0035_0001__Write, r_0035_0014__the_r_0035_0015__question_r_0035_0016__box, r_0035_0013__in_nim40).
arc(r_0035_0001__Write, z_000_35_a_fce_0102_2001_03_1, arg0).
arc(r_0035_0005__or, r_0035_0003__a, conj1).
arc(r_0035_0005__or, r_0035_0007__b, conj2).
arc(r_0035_0009__as_well_as, r_0035_0005__or, conj1).
arc(r_0035_0009__as_well_as, r_0035_0010__the_r_0035_0011__number_r_0035_0012__5, conj2).
arc(r_0035_0018__and, r_0035_0001__Write, conj1).
arc(r_0035_0018__and, z_000_35_a_fce_0102_2001_03_52, conj2).
arc(r_0035_0019__the_r_0035_0020__title, r_0035_0022__the_r_0035_0023__book, r_0035_0021__of).
arc(r_0035_0024__next, r_0035_0026__the_r_0035_0027__box, r_0035_0025__to).
arc(z_000_35_a_fce_0102_2001_03_52, r_0035_0019__the_r_0035_0020__title, arg1).
arc(z_000_35_a_fce_0102_2001_03_52, r_0035_0024__next, nim66).
arc(z_000_35_a_fce_0102_2001_03_52, z_000_35_a_fce_0102_2001_03_1, arg0).


%3 r_0035_0001__Write Write r_0035_0009__as_well_as as well as r_0035_0001__Write->r_0035_0009__as_well_as [arg1] r_0035_0014__the_r_0035_0015__question_r_0035_0016__box the question box r_0035_0001__Write->r_0035_0014__the_r_0035_0015__question_r_0035_0016__box in [nim] z_000_35_a_fce_0102_2001_03_1 r_0035_0001__Write->z_000_35_a_fce_0102_2001_03_1 [arg0] r_0035_0005__or or r_0035_0009__as_well_as->r_0035_0005__or [conj1] r_0035_0010__the_r_0035_0011__number_r_0035_0012__5 the number 5 r_0035_0009__as_well_as->r_0035_0010__the_r_0035_0011__number_r_0035_0012__5 [conj2] r_0035_0003__a a r_0035_0005__or->r_0035_0003__a [conj1] r_0035_0007__b b r_0035_0005__or->r_0035_0007__b [conj2] r_0035_0018__and and r_0035_0018__and->r_0035_0001__Write [conj1] z_000_35_a_fce_0102_2001_03_52 r_0035_0018__and->z_000_35_a_fce_0102_2001_03_52 [conj2] z_000_35_a_fce_0102_2001_03_52->z_000_35_a_fce_0102_2001_03_1 [arg0] r_0035_0019__the_r_0035_0020__title the title z_000_35_a_fce_0102_2001_03_52->r_0035_0019__the_r_0035_0020__title [arg1] r_0035_0024__next next z_000_35_a_fce_0102_2001_03_52->r_0035_0024__next [nim] r_0035_0022__the_r_0035_0023__book the book r_0035_0019__the_r_0035_0020__title->r_0035_0022__the_r_0035_0023__book of r_0035_0026__the_r_0035_0027__box the box r_0035_0024__next->r_0035_0026__the_r_0035_0027__box to 
fof(formula,axiom,
    ? [R_35_18_AND,R_35_1_WRITE,R_35_9_AS_WELL_AS,R_35_5_OR,R_35_3_A,R_35_7_B,R_35_10_THE_NUMBER_5,R_35_14_THE_QUESTION_BOX,Z_35_A_FCE_102_2001_3_52,Z_35_A_FCE_102_2001_3_1,R_35_19_THE_TITLE,R_35_22_THE_BOOK,R_35_24_NEXT,R_35_26_THE_BOX] :
      ( a(R_35_3_A)
      & b(R_35_7_B)
      & the_number_5(R_35_10_THE_NUMBER_5)
      & the_question_box(R_35_14_THE_QUESTION_BOX)
      & the_book(R_35_22_THE_BOOK)
      & the_box(R_35_26_THE_BOX)
      & and(R_35_18_AND)
      & conj1(R_35_18_AND,R_35_1_WRITE)
      & write(R_35_1_WRITE,Z_35_A_FCE_102_2001_3_1,R_35_9_AS_WELL_AS)
      & as_well_as(R_35_9_AS_WELL_AS)
      & conj1(R_35_9_AS_WELL_AS,R_35_5_OR)
      & or(R_35_5_OR)
      & conj1(R_35_5_OR,R_35_3_A)
      & conj2(R_35_5_OR,R_35_7_B)
      & conj2(R_35_9_AS_WELL_AS,R_35_10_THE_NUMBER_5)
      & in_nim40(R_35_1_WRITE,R_35_14_THE_QUESTION_BOX)
      & conj2(R_35_18_AND,Z_35_A_FCE_102_2001_3_52)
      & z_35_a_fce_102_2001_3_52(Z_35_A_FCE_102_2001_3_52,Z_35_A_FCE_102_2001_3_1,R_35_19_THE_TITLE)
      & the_title(R_35_19_THE_TITLE)
      & of(R_35_19_THE_TITLE,R_35_22_THE_BOOK)
      & nim66(Z_35_A_FCE_102_2001_3_52,R_35_24_NEXT)
      & next(R_35_24_NEXT)
      & to(R_35_24_NEXT,R_35_26_THE_BOX) ) ).


n35_a_fce_0102_2001_03 n35_a_fce_0102_2001_03_5 Write n35_a_fce_0102_2001_03_12 -LRB- n35_a_fce_0102_2001_03_14 a n35_a_fce_0102_2001_03_16 -RRB- n35_a_fce_0102_2001_03_19 or n35_a_fce_0102_2001_03_22 -LRB- n35_a_fce_0102_2001_03_24 b n35_a_fce_0102_2001_03_26 -RRB- n35_a_fce_0102_2001_03_29 as_well_as n35_a_fce_0102_2001_03_32 the n35_a_fce_0102_2001_03_34 number n35_a_fce_0102_2001_03_36 5 n35_a_fce_0102_2001_03_39 in n35_a_fce_0102_2001_03_42 the n35_a_fce_0102_2001_03_44 question n35_a_fce_0102_2001_03_46 box n35_a_fce_0102_2001_03_48 , n35_a_fce_0102_2001_03_51 and n35_a_fce_0102_2001_03_55 the n35_a_fce_0102_2001_03_57 title n35_a_fce_0102_2001_03_60 of n35_a_fce_0102_2001_03_63 the n35_a_fce_0102_2001_03_65 book n35_a_fce_0102_2001_03_68 next n35_a_fce_0102_2001_03_71 to n35_a_fce_0102_2001_03_74 the n35_a_fce_0102_2001_03_76 box n35_a_fce_0102_2001_03_78 . n35_a_fce_0102_2001_03_1 IP-IMP n35_a_fce_0102_2001_03_2 ILYR n35_a_fce_0102_2001_03_1->n35_a_fce_0102_2001_03_2 n35_a_fce_0102_2001_03_77 PUNC n35_a_fce_0102_2001_03_1->n35_a_fce_0102_2001_03_77 n35_a_fce_0102_2001_03_3 ILYR n35_a_fce_0102_2001_03_2->n35_a_fce_0102_2001_03_3 n35_a_fce_0102_2001_03_47 PUNC n35_a_fce_0102_2001_03_2->n35_a_fce_0102_2001_03_47 n35_a_fce_0102_2001_03_49 CONJP n35_a_fce_0102_2001_03_2->n35_a_fce_0102_2001_03_49 n35_a_fce_0102_2001_03_4 VB;_Tn_ n35_a_fce_0102_2001_03_3->n35_a_fce_0102_2001_03_4 n35_a_fce_0102_2001_03_6 NP-OB1 n35_a_fce_0102_2001_03_3->n35_a_fce_0102_2001_03_6 n35_a_fce_0102_2001_03_37 PP-NIM n35_a_fce_0102_2001_03_3->n35_a_fce_0102_2001_03_37 n35_a_fce_0102_2001_03_4->n35_a_fce_0102_2001_03_5 n35_a_fce_0102_2001_03_7 NLYR n35_a_fce_0102_2001_03_6->n35_a_fce_0102_2001_03_7 n35_a_fce_0102_2001_03_8 NLYR n35_a_fce_0102_2001_03_7->n35_a_fce_0102_2001_03_8 n35_a_fce_0102_2001_03_27 CONJP n35_a_fce_0102_2001_03_7->n35_a_fce_0102_2001_03_27 n35_a_fce_0102_2001_03_9 NLYR n35_a_fce_0102_2001_03_8->n35_a_fce_0102_2001_03_9 n35_a_fce_0102_2001_03_10 NLYR n35_a_fce_0102_2001_03_9->n35_a_fce_0102_2001_03_10 n35_a_fce_0102_2001_03_17 CONJP n35_a_fce_0102_2001_03_9->n35_a_fce_0102_2001_03_17 n35_a_fce_0102_2001_03_11 PULB n35_a_fce_0102_2001_03_10->n35_a_fce_0102_2001_03_11 n35_a_fce_0102_2001_03_13 N n35_a_fce_0102_2001_03_10->n35_a_fce_0102_2001_03_13 n35_a_fce_0102_2001_03_15 PURB n35_a_fce_0102_2001_03_10->n35_a_fce_0102_2001_03_15 n35_a_fce_0102_2001_03_11->n35_a_fce_0102_2001_03_12 n35_a_fce_0102_2001_03_13->n35_a_fce_0102_2001_03_14 n35_a_fce_0102_2001_03_15->n35_a_fce_0102_2001_03_16 n35_a_fce_0102_2001_03_18 CONJ n35_a_fce_0102_2001_03_17->n35_a_fce_0102_2001_03_18 n35_a_fce_0102_2001_03_20 NLYR n35_a_fce_0102_2001_03_17->n35_a_fce_0102_2001_03_20 n35_a_fce_0102_2001_03_18->n35_a_fce_0102_2001_03_19 n35_a_fce_0102_2001_03_21 PULB n35_a_fce_0102_2001_03_20->n35_a_fce_0102_2001_03_21 n35_a_fce_0102_2001_03_23 N n35_a_fce_0102_2001_03_20->n35_a_fce_0102_2001_03_23 n35_a_fce_0102_2001_03_25 PURB n35_a_fce_0102_2001_03_20->n35_a_fce_0102_2001_03_25 n35_a_fce_0102_2001_03_21->n35_a_fce_0102_2001_03_22 n35_a_fce_0102_2001_03_23->n35_a_fce_0102_2001_03_24 n35_a_fce_0102_2001_03_25->n35_a_fce_0102_2001_03_26 n35_a_fce_0102_2001_03_28 CONJ n35_a_fce_0102_2001_03_27->n35_a_fce_0102_2001_03_28 n35_a_fce_0102_2001_03_30 NLYR n35_a_fce_0102_2001_03_27->n35_a_fce_0102_2001_03_30 n35_a_fce_0102_2001_03_28->n35_a_fce_0102_2001_03_29 n35_a_fce_0102_2001_03_31 D n35_a_fce_0102_2001_03_30->n35_a_fce_0102_2001_03_31 n35_a_fce_0102_2001_03_33 N n35_a_fce_0102_2001_03_30->n35_a_fce_0102_2001_03_33 n35_a_fce_0102_2001_03_35 NUM n35_a_fce_0102_2001_03_30->n35_a_fce_0102_2001_03_35 n35_a_fce_0102_2001_03_31->n35_a_fce_0102_2001_03_32 n35_a_fce_0102_2001_03_33->n35_a_fce_0102_2001_03_34 n35_a_fce_0102_2001_03_35->n35_a_fce_0102_2001_03_36 n35_a_fce_0102_2001_03_38 P-ROLE n35_a_fce_0102_2001_03_37->n35_a_fce_0102_2001_03_38 n35_a_fce_0102_2001_03_40 NP n35_a_fce_0102_2001_03_37->n35_a_fce_0102_2001_03_40 n35_a_fce_0102_2001_03_38->n35_a_fce_0102_2001_03_39 n35_a_fce_0102_2001_03_41 D n35_a_fce_0102_2001_03_40->n35_a_fce_0102_2001_03_41 n35_a_fce_0102_2001_03_43 N n35_a_fce_0102_2001_03_40->n35_a_fce_0102_2001_03_43 n35_a_fce_0102_2001_03_45 N n35_a_fce_0102_2001_03_40->n35_a_fce_0102_2001_03_45 n35_a_fce_0102_2001_03_41->n35_a_fce_0102_2001_03_42 n35_a_fce_0102_2001_03_43->n35_a_fce_0102_2001_03_44 n35_a_fce_0102_2001_03_45->n35_a_fce_0102_2001_03_46 n35_a_fce_0102_2001_03_47->n35_a_fce_0102_2001_03_48 n35_a_fce_0102_2001_03_50 CONJ n35_a_fce_0102_2001_03_49->n35_a_fce_0102_2001_03_50 n35_a_fce_0102_2001_03_52 ILYR n35_a_fce_0102_2001_03_49->n35_a_fce_0102_2001_03_52 n35_a_fce_0102_2001_03_50->n35_a_fce_0102_2001_03_51 n35_a_fce_0102_2001_03_53 NP-OB1 n35_a_fce_0102_2001_03_52->n35_a_fce_0102_2001_03_53 n35_a_fce_0102_2001_03_66 ADVP-NIM n35_a_fce_0102_2001_03_52->n35_a_fce_0102_2001_03_66 n35_a_fce_0102_2001_03_54 D n35_a_fce_0102_2001_03_53->n35_a_fce_0102_2001_03_54 n35_a_fce_0102_2001_03_56 N n35_a_fce_0102_2001_03_53->n35_a_fce_0102_2001_03_56 n35_a_fce_0102_2001_03_58 PP n35_a_fce_0102_2001_03_53->n35_a_fce_0102_2001_03_58 n35_a_fce_0102_2001_03_54->n35_a_fce_0102_2001_03_55 n35_a_fce_0102_2001_03_56->n35_a_fce_0102_2001_03_57 n35_a_fce_0102_2001_03_59 P-ROLE n35_a_fce_0102_2001_03_58->n35_a_fce_0102_2001_03_59 n35_a_fce_0102_2001_03_61 NP n35_a_fce_0102_2001_03_58->n35_a_fce_0102_2001_03_61 n35_a_fce_0102_2001_03_59->n35_a_fce_0102_2001_03_60 n35_a_fce_0102_2001_03_62 D n35_a_fce_0102_2001_03_61->n35_a_fce_0102_2001_03_62 n35_a_fce_0102_2001_03_64 N n35_a_fce_0102_2001_03_61->n35_a_fce_0102_2001_03_64 n35_a_fce_0102_2001_03_62->n35_a_fce_0102_2001_03_63 n35_a_fce_0102_2001_03_64->n35_a_fce_0102_2001_03_65 n35_a_fce_0102_2001_03_67 ADV n35_a_fce_0102_2001_03_66->n35_a_fce_0102_2001_03_67 n35_a_fce_0102_2001_03_69 PP n35_a_fce_0102_2001_03_66->n35_a_fce_0102_2001_03_69 n35_a_fce_0102_2001_03_67->n35_a_fce_0102_2001_03_68 n35_a_fce_0102_2001_03_70 P-ROLE n35_a_fce_0102_2001_03_69->n35_a_fce_0102_2001_03_70 n35_a_fce_0102_2001_03_72 NP n35_a_fce_0102_2001_03_69->n35_a_fce_0102_2001_03_72 n35_a_fce_0102_2001_03_70->n35_a_fce_0102_2001_03_71 n35_a_fce_0102_2001_03_73 D n35_a_fce_0102_2001_03_72->n35_a_fce_0102_2001_03_73 n35_a_fce_0102_2001_03_75 N n35_a_fce_0102_2001_03_72->n35_a_fce_0102_2001_03_75 n35_a_fce_0102_2001_03_73->n35_a_fce_0102_2001_03_74 n35_a_fce_0102_2001_03_75->n35_a_fce_0102_2001_03_76 n35_a_fce_0102_2001_03_77->n35_a_fce_0102_2001_03_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 35_a_fce_0102_2001_03))