34_a_fce_0100_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.
arc(r_0034_0001__Write, r_0034_0009__as_well_as, arg1).
arc(r_0034_0001__Write, r_0034_0014__the_r_0034_0015__question_r_0034_0016__box, r_0034_0013__in_nim40).
arc(r_0034_0001__Write, z_000_34_a_fce_0100_2001_06_1, arg0).
arc(r_0034_0005__or, r_0034_0003__a, conj1).
arc(r_0034_0005__or, r_0034_0007__b, conj2).
arc(r_0034_0009__as_well_as, r_0034_0005__or, conj1).
arc(r_0034_0009__as_well_as, r_0034_0010__the_r_0034_0011__number_r_0034_0012__5, conj2).
arc(r_0034_0018__and, r_0034_0001__Write, conj1).
arc(r_0034_0018__and, z_000_34_a_fce_0100_2001_06_52, conj2).
arc(r_0034_0019__the_r_0034_0020__title, r_0034_0022__the_r_0034_0023__book, r_0034_0021__of).
arc(r_0034_0024__next, r_0034_0026__the_r_0034_0027__box, r_0034_0025__to).
arc(z_000_34_a_fce_0100_2001_06_52, r_0034_0019__the_r_0034_0020__title, arg1).
arc(z_000_34_a_fce_0100_2001_06_52, r_0034_0024__next, nim66).
arc(z_000_34_a_fce_0100_2001_06_52, z_000_34_a_fce_0100_2001_06_1, arg0).
fof(formula,axiom,
? [R_0034_0003__A,R_0034_0007__B,R_0034_0005__OR,R_0034_0010__THE_R_0034_0011__NUMBER_R_0034_0012__5,R_0034_0009__AS_WELL_AS,R_0034_0014__THE_R_0034_0015__QUESTION_R_0034_0016__BOX,Z_000_34_A_FCE_0100_2001_06_1,R_0034_0001__WRITE,R_0034_0022__THE_R_0034_0023__BOOK,R_0034_0019__THE_R_0034_0020__TITLE,R_0034_0026__THE_R_0034_0027__BOX,R_0034_0024__NEXT,Z_000_34_A_FCE_0100_2001_06_52,R_0034_0018__AND] :
( r_0034_0003__a(R_0034_0003__A)
& r_0034_0007__b(R_0034_0007__B)
& r_0034_0010__the_r_0034_0011__number_r_0034_0012__5(R_0034_0010__THE_R_0034_0011__NUMBER_R_0034_0012__5)
& r_0034_0014__the_r_0034_0015__question_r_0034_0016__box(R_0034_0014__THE_R_0034_0015__QUESTION_R_0034_0016__BOX)
& r_0034_0022__the_r_0034_0023__book(R_0034_0022__THE_R_0034_0023__BOOK)
& r_0034_0026__the_r_0034_0027__box(R_0034_0026__THE_R_0034_0027__BOX)
& z_000_34_a_fce_0100_2001_06_1(Z_000_34_A_FCE_0100_2001_06_1)
& r_0034_0018__and(R_0034_0018__AND)
& has_conj2(R_0034_0018__AND,Z_000_34_A_FCE_0100_2001_06_52)
& z_000_34_a_fce_0100_2001_06_52(Z_000_34_A_FCE_0100_2001_06_52)
& has_arg0(Z_000_34_A_FCE_0100_2001_06_52,Z_000_34_A_FCE_0100_2001_06_1)
& has_nim66(Z_000_34_A_FCE_0100_2001_06_52,R_0034_0024__NEXT)
& r_0034_0024__next(R_0034_0024__NEXT)
& has_r_0034_0025__to(R_0034_0024__NEXT,R_0034_0026__THE_R_0034_0027__BOX)
& has_arg1(Z_000_34_A_FCE_0100_2001_06_52,R_0034_0019__THE_R_0034_0020__TITLE)
& r_0034_0019__the_r_0034_0020__title(R_0034_0019__THE_R_0034_0020__TITLE)
& has_r_0034_0021__of(R_0034_0019__THE_R_0034_0020__TITLE,R_0034_0022__THE_R_0034_0023__BOOK)
& has_conj1(R_0034_0018__AND,R_0034_0001__WRITE)
& r_0034_0001__Write(R_0034_0001__WRITE)
& has_arg0(R_0034_0001__WRITE,Z_000_34_A_FCE_0100_2001_06_1)
& has_r_0034_0013__in_nim40(R_0034_0001__WRITE,R_0034_0014__THE_R_0034_0015__QUESTION_R_0034_0016__BOX)
& has_arg1(R_0034_0001__WRITE,R_0034_0009__AS_WELL_AS)
& r_0034_0009__as_well_as(R_0034_0009__AS_WELL_AS)
& has_conj2(R_0034_0009__AS_WELL_AS,R_0034_0010__THE_R_0034_0011__NUMBER_R_0034_0012__5)
& has_conj1(R_0034_0009__AS_WELL_AS,R_0034_0005__OR)
& r_0034_0005__or(R_0034_0005__OR)
& has_conj2(R_0034_0005__OR,R_0034_0007__B)
& has_conj1(R_0034_0005__OR,R_0034_0003__A) ) ).
( (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 34_a_fce_0100_2001_06))