23_a_fce_0101_2000_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.
arc(r_0023_0001__Write, r_0023_0009__as_well_as, arg1).
arc(r_0023_0001__Write, r_0023_0014__the_r_0023_0015__question_r_0023_0016__box, r_0023_0013__in_nim40).
arc(r_0023_0001__Write, z_000_23_a_fce_0101_2000_06_1, arg0).
arc(r_0023_0005__or, r_0023_0003__a, conj1).
arc(r_0023_0005__or, r_0023_0007__b, conj2).
arc(r_0023_0009__as_well_as, r_0023_0005__or, conj1).
arc(r_0023_0009__as_well_as, r_0023_0010__the_r_0023_0011__number_r_0023_0012__5, conj2).
arc(r_0023_0018__and, r_0023_0001__Write, conj1).
arc(r_0023_0018__and, z_000_23_a_fce_0101_2000_06_52, conj2).
arc(r_0023_0019__the_r_0023_0020__title, r_0023_0022__the_r_0023_0023__book, r_0023_0021__of).
arc(r_0023_0024__next, r_0023_0026__the_r_0023_0027__box, r_0023_0025__to).
arc(z_000_23_a_fce_0101_2000_06_52, r_0023_0019__the_r_0023_0020__title, arg1).
arc(z_000_23_a_fce_0101_2000_06_52, r_0023_0024__next, nim66).
arc(z_000_23_a_fce_0101_2000_06_52, z_000_23_a_fce_0101_2000_06_1, arg0).
fof(formula,axiom,
? [R_23_18_AND,R_23_1_WRITE,R_23_9_AS_WELL_AS,R_23_5_OR,R_23_3_A,R_23_7_B,R_23_10_THE_NUMBER_5,R_23_14_THE_QUESTION_BOX,Z_23_A_FCE_101_2000_6_52,Z_23_A_FCE_101_2000_6_1,R_23_19_THE_TITLE,R_23_22_THE_BOOK,R_23_24_NEXT,R_23_26_THE_BOX] :
( a(R_23_3_A)
& b(R_23_7_B)
& the_number_5(R_23_10_THE_NUMBER_5)
& the_question_box(R_23_14_THE_QUESTION_BOX)
& the_book(R_23_22_THE_BOOK)
& the_box(R_23_26_THE_BOX)
& and(R_23_18_AND)
& conj1(R_23_18_AND,R_23_1_WRITE)
& write(R_23_1_WRITE,Z_23_A_FCE_101_2000_6_1,R_23_9_AS_WELL_AS)
& as_well_as(R_23_9_AS_WELL_AS)
& conj1(R_23_9_AS_WELL_AS,R_23_5_OR)
& or(R_23_5_OR)
& conj1(R_23_5_OR,R_23_3_A)
& conj2(R_23_5_OR,R_23_7_B)
& conj2(R_23_9_AS_WELL_AS,R_23_10_THE_NUMBER_5)
& in_nim40(R_23_1_WRITE,R_23_14_THE_QUESTION_BOX)
& conj2(R_23_18_AND,Z_23_A_FCE_101_2000_6_52)
& z_23_a_fce_101_2000_6_52(Z_23_A_FCE_101_2000_6_52,Z_23_A_FCE_101_2000_6_1,R_23_19_THE_TITLE)
& the_title(R_23_19_THE_TITLE)
& of(R_23_19_THE_TITLE,R_23_22_THE_BOOK)
& nim66(Z_23_A_FCE_101_2000_6_52,R_23_24_NEXT)
& next(R_23_24_NEXT)
& to(R_23_24_NEXT,R_23_26_THE_BOX) ) ).
( (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 23_a_fce_0101_2000_06))