22_a_lob_n01
The sky seemed to be deserted.
arc(r_0022_0003__seemed, r_0022_0004__to_r_0022_0005__be, scope).
arc(r_0022_0004__to_r_0022_0005__be, r_0022_0001__The_r_0022_0002__sky, arg0).
arc(r_0022_0004__to_r_0022_0005__be, r_0022_0006__deserted, prd).
fof(formula,axiom,
? [R_22_3_SEEMED_TO_BE,R_22_1_THE_SKY,R_22_6_DESERTED] :
( the_sky(R_22_1_THE_SKY)
& deserted(R_22_6_DESERTED)
& seemed_to_be(R_22_3_SEEMED_TO_BE,R_22_1_THE_SKY,R_22_6_DESERTED) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(N sky;{sky}))
(VBD;_cat_Vt_ seemed;{seem})
(IP-INF-CAT (TO to;{to})
(BE;_La_ be;{be})
(ADJP-PRD (ADJ deserted;{deserted})))
(PUNC .))
(ID 22_a_lob_n01))