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_0022_0001__THE_R_0022_0002__SKY,R_0022_0006__DESERTED,R_0022_0003__SEEMED_R_0022_0004__TO_R_0022_0005__BE] :
( r_0022_0001__The_r_0022_0002__sky(R_0022_0001__THE_R_0022_0002__SKY)
& r_0022_0006__deserted(R_0022_0006__DESERTED)
& r_0022_0003__seemed_r_0022_0004__to_r_0022_0005__be(R_0022_0003__SEEMED_R_0022_0004__TO_R_0022_0005__BE)
& has_prd(R_0022_0003__SEEMED_R_0022_0004__TO_R_0022_0005__BE,R_0022_0006__DESERTED)
& has_arg0(R_0022_0003__SEEMED_R_0022_0004__TO_R_0022_0005__BE,R_0022_0001__THE_R_0022_0002__SKY) ) ).
( (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))