17_a_lob_n01
Seated beside Alastair, lulled by the uncanny silence of supersonic flight, Geoffrey could imagine himself in one of the upper galleries.
arc(r_0017_0001__Seated, r_0017_0003__Alastair, r_0017_0002__beside_nim11).
arc(r_0017_0001__Seated, r_0017_0014__Geoffrey, arg1).
arc(r_0017_0001__Seated, z_000_17_a_lob_n01_4, arg0).
arc(r_0017_0005__lulled, r_0017_0007__the_r_0017_0009__silence, arg0).
arc(r_0017_0005__lulled, r_0017_0014__Geoffrey, arg1).
arc(r_0017_0007__the_r_0017_0009__silence, r_0017_0008__uncanny, attrib26).
arc(r_0017_0007__the_r_0017_0009__silence, r_0017_0012__flight, r_0017_0010__of).
arc(r_0017_0012__flight, r_0017_0011__supersonic, attrib35).
arc(r_0017_0015__could, r_0017_0016__imagine, scope).
arc(r_0017_0016__imagine, r_0017_0014__Geoffrey, arg0).
arc(r_0017_0016__imagine, r_0017_0014__Geoffrey, arg1).
arc(r_0017_0016__imagine, r_0017_0019__one, prd).
arc(r_0017_0019__one, r_0017_0021__the_r_0017_0023__galleries, r_0017_0020__of).
arc(r_0017_0021__the_r_0017_0023__galleries, r_0017_0022__upper, attrib65).
arc(z_000_17_a_lob_n01_16, r_0017_0005__lulled, restriction).
arc(z_000_17_a_lob_n01_16, r_0017_0015__could, scope).
arc(z_000_17_a_lob_n01_2, r_0017_0001__Seated, restriction).
arc(z_000_17_a_lob_n01_2, z_000_17_a_lob_n01_16, scope).
fof(formula,axiom,
? [Z_17_A_LOB_N01_2,R_17_1_SEATED,Z_17_A_LOB_N01_4,R_17_3_ALASTAIR,Z_17_A_LOB_N01_16,R_17_5_LULLED,R_17_7_THE_SILENCE,R_17_8_UNCANNY,R_17_12_FLIGHT,R_17_11_SUPERSONIC,R_17_15_COULD_IMAGINE,R_17_14_GEOFFREY,R_17_19_ONE,R_17_21_THE_GALLERIES,R_17_22_UPPER] :
( alastair(R_17_3_ALASTAIR)
& uncanny(R_17_8_UNCANNY)
& supersonic(R_17_11_SUPERSONIC)
& geoffrey(R_17_14_GEOFFREY)
& upper(R_17_22_UPPER)
& z_17_a_lob_n01_2(Z_17_A_LOB_N01_2)
& conj1(Z_17_A_LOB_N01_2,R_17_1_SEATED)
& seated(R_17_1_SEATED,Z_17_A_LOB_N01_4,R_17_14_GEOFFREY)
& beside_nim11(R_17_1_SEATED,R_17_3_ALASTAIR)
& conj2(Z_17_A_LOB_N01_2,Z_17_A_LOB_N01_16)
& z_17_a_lob_n01_16(Z_17_A_LOB_N01_16)
& conj1(Z_17_A_LOB_N01_16,R_17_5_LULLED)
& lulled(R_17_5_LULLED,R_17_7_THE_SILENCE,R_17_14_GEOFFREY)
& the_silence(R_17_7_THE_SILENCE)
& attrib26(R_17_7_THE_SILENCE,R_17_8_UNCANNY)
& of(R_17_7_THE_SILENCE,R_17_12_FLIGHT)
& flight(R_17_12_FLIGHT)
& attrib35(R_17_12_FLIGHT,R_17_11_SUPERSONIC)
& conj2(Z_17_A_LOB_N01_16,R_17_15_COULD_IMAGINE)
& could_imagine(R_17_15_COULD_IMAGINE,R_17_14_GEOFFREY,R_17_14_GEOFFREY,R_17_19_ONE)
& one(R_17_19_ONE)
& of(R_17_19_ONE,R_17_21_THE_GALLERIES)
& the_galleries(R_17_21_THE_GALLERIES)
& attrib65(R_17_21_THE_GALLERIES,R_17_22_UPPER) ) ).
( (IP-MAT (PP-SCON (IP-PPL2 (NP-LGS *)
(VVN;_Tn_ Seated;{seat})
(PP-NIM (P-ROLE beside;{beside})
(NP;{ALASTAIR} (NPR Alastair;{Alastair})))))
(PUNC ,)
(PP-SCON (IP-PPL2 (VVN;_Tn_ lulled;{lull})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (D the;{the})
(ADJP (ADJ uncanny;{uncanny}))
(N silence;{silence})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ supersonic;{supersonic}))
(N flight;{flight})))))))
(PUNC ,)
(NP-SBJ;{GEOFFREY} (NPR Geoffrey;{Geoffrey}))
(MD;_cat_Vi_ could;{can})
(IP-INF-CAT (VB;_Cn.pr_ imagine;{imagine[in]})
(NP-OB1;{GEOFFREY} (PNX himself;{himself}))
(PP-PRD (P-ROLE in;{in})
(NP (NUM one;{one})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(ADJP (ADJ upper;{upper}))
(NS galleries;{gallery}))))))
(PUNC .))
(ID 17_a_lob_n01))