31_a_uksc_judgment
The work on the Queen's Speech varies according to the size of the programme.
( (IP-MAT (NP-SBJ (D The;{the})
(N work;{work})
(PP (P-ROLE on;{on})
(NP (NP-GEN (D the;{the})
(NPR Queen;{Queen})
(GENM <apos>s))
(N Speech;{speech}))))
(VBP;_I_ varies;{vary})
(PP-NIM (P-ROLE according_to;{according_to})
(NP (D the;{the})
(N size;{size})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N programme;{programme})))))
(PUNC .))
(ID 31_a_uksc_judgment))
arc(r_0031_0001__The_r_0031_0002__work,r_0031_0007__Speech,r_0031_0003__on).
arc(r_0031_0007__Speech,r_0031_0004__the_r_0031_0005__Queen,gen).
arc(r_0031_0008__varies,r_0031_0001__The_r_0031_0002__work,arg0).
arc(r_0031_0008__varies,r_0031_0010__the_r_0031_0011__size,r_0031_0009__according_to__nim).
arc(r_0031_0010__the_r_0031_0011__size,r_0031_0013__the_r_0031_0014__programme,r_0031_0012__of).
fof(formula,axiom,
? [R_0031_0004__THE_R_0031_0005__QUEEN,R_0031_0007__SPEECH,R_0031_0001__THE_R_0031_0002__WORK,R_0031_0013__THE_R_0031_0014__PROGRAMME,R_0031_0010__THE_R_0031_0011__SIZE,R_0031_0008__VARIES] :
( r_0031_0004__the_r_0031_0005__Queen(R_0031_0004__THE_R_0031_0005__QUEEN)
& r_0031_0013__the_r_0031_0014__programme(R_0031_0013__THE_R_0031_0014__PROGRAMME)
& r_0031_0008__varies(R_0031_0008__VARIES)
& has_r_0031_0009__according_to__nim(R_0031_0008__VARIES,R_0031_0010__THE_R_0031_0011__SIZE)
& r_0031_0010__the_r_0031_0011__size(R_0031_0010__THE_R_0031_0011__SIZE)
& has_r_0031_0012__of(R_0031_0010__THE_R_0031_0011__SIZE,R_0031_0013__THE_R_0031_0014__PROGRAMME)
& has_arg0(R_0031_0008__VARIES,R_0031_0001__THE_R_0031_0002__WORK)
& r_0031_0001__The_r_0031_0002__work(R_0031_0001__THE_R_0031_0002__WORK)
& has_r_0031_0003__on(R_0031_0001__THE_R_0031_0002__WORK,R_0031_0007__SPEECH)
& r_0031_0007__Speech(R_0031_0007__SPEECH)
& has_gen(R_0031_0007__SPEECH,R_0031_0004__THE_R_0031_0005__QUEEN) ) ).