22_a_lob_n01
The sky seemed to be deserted.

n22_a_lob_n01 n22_a_lob_n01__1_1_1_1 The n22_a_lob_n01__1_1_2_1 sky n22_a_lob_n01__1_2_1 seemed n22_a_lob_n01__1_3_1_1 to n22_a_lob_n01__1_3_2_1 be n22_a_lob_n01__1_3_3_1_1 deserted n22_a_lob_n01__1_4_1 . n22_a_lob_n01__1 IP-MAT n22_a_lob_n01__1_1 NP-SBJ n22_a_lob_n01__1->n22_a_lob_n01__1_1 n22_a_lob_n01__1_2 VBD;_cat_Vt_ n22_a_lob_n01__1->n22_a_lob_n01__1_2 n22_a_lob_n01__1_3 IP-INF-CAT n22_a_lob_n01__1->n22_a_lob_n01__1_3 n22_a_lob_n01__1_4 PUNC n22_a_lob_n01__1->n22_a_lob_n01__1_4 n22_a_lob_n01__1_1_1 D n22_a_lob_n01__1_1->n22_a_lob_n01__1_1_1 n22_a_lob_n01__1_1_2 N n22_a_lob_n01__1_1->n22_a_lob_n01__1_1_2 n22_a_lob_n01__1_1_1->n22_a_lob_n01__1_1_1_1 n22_a_lob_n01__1_1_2->n22_a_lob_n01__1_1_2_1 n22_a_lob_n01__1_2->n22_a_lob_n01__1_2_1 n22_a_lob_n01__1_3_1 TO n22_a_lob_n01__1_3->n22_a_lob_n01__1_3_1 n22_a_lob_n01__1_3_2 BE;_La_ n22_a_lob_n01__1_3->n22_a_lob_n01__1_3_2 n22_a_lob_n01__1_3_3 ADJP-PRD n22_a_lob_n01__1_3->n22_a_lob_n01__1_3_3 n22_a_lob_n01__1_3_1->n22_a_lob_n01__1_3_1_1 n22_a_lob_n01__1_3_2->n22_a_lob_n01__1_3_2_1 n22_a_lob_n01__1_3_3_1 ADJ n22_a_lob_n01__1_3_3->n22_a_lob_n01__1_3_3_1 n22_a_lob_n01__1_3_3_1->n22_a_lob_n01__1_3_3_1_1 n22_a_lob_n01__1_4->n22_a_lob_n01__1_4_1
( (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))



%3 r_0022_0005__be be r_0022_0006__deserted deserted r_0022_0005__be->r_0022_0006__deserted [prd] r_0022_0001__The_r_0022_0002__sky The sky r_0022_0005__be->r_0022_0001__The_r_0022_0002__sky [arg0] r_0022_0003__seemed seemed r_0022_0003__seemed->r_0022_0005__be [scope]
arc(r_0022_0003__seemed,r_0022_0005__be,scope).
arc(r_0022_0005__be,r_0022_0001__The_r_0022_0002__sky,arg0).
arc(r_0022_0005__be,r_0022_0006__deserted,prd).



%3 r_0022_0003__seemed_r_0022_0005__be seemed be r_0022_0001__The_r_0022_0002__sky The sky r_0022_0003__seemed_r_0022_0005__be->r_0022_0001__The_r_0022_0002__sky [arg0] r_0022_0006__deserted deserted r_0022_0003__seemed_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_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_0005__be(R_0022_0003__SEEMED_R_0022_0005__BE)
      & has_prd(R_0022_0003__SEEMED_R_0022_0005__BE,R_0022_0006__DESERTED)
      & has_arg0(R_0022_0003__SEEMED_R_0022_0005__BE,R_0022_0001__THE_R_0022_0002__SKY) ) ).