( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (NP-SBJ (PRO they;{they}))
          (BED;_cat_Vg_ were;{be})
          (IP-PPL-CAT (VAG;__ sleeping;{sleep})
                      (ADJP-PRD (ADJ rough;{rough}))
                      (PUNC <hyphen>)
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (N shelter;{shelter})
                                  (PP (P-ROLE of;{of})
                                      (NP (D a;{a})
                                          (N square;{square})))
                                  (PUNC ,)
                                  (IP-PPL (VVN;__ covered;{cover})
                                          (PP-NIM (P-ROLE in;{in})
                                                  (NP (NS blankets;{blanket})
                                                      (PUNC ,)
                                                      (PP (P-ROLE on;{on})
                                                          (NP (N top;{top})
                                                              (PP (P-ROLE of;{of})
                                                                  (NP (D some;{some})
                                                                      (N cardboard;{cardboard})))))))))))
          (PUNC .))
  (ID 129_a_loosechange))

arc(r_0129_0003__were,r_0129_0001__So,nim).
arc(r_0129_0003__were,r_0129_0004__sleeping,scope).
arc(r_0129_0004__sleeping,r_0129_0002__they,arg0).
arc(r_0129_0004__sleeping,r_0129_0005__rough,prd).
arc(r_0129_0004__sleeping,r_0129_0008__the_r_0129_0009__shelter,r_0129_0007__in__nim).
arc(r_0129_0008__the_r_0129_0009__shelter,r_0129_0011__a_r_0129_0012__square,r_0129_0010__of).
arc(r_0129_0014__covered,r_0129_0008__the_r_0129_0009__shelter,inv_arg0).
arc(r_0129_0014__covered,r_0129_0016__blankets,r_0129_0015__in__nim).
arc(r_0129_0016__blankets,r_0129_0019__top,r_0129_0018__on).
arc(r_0129_0019__top,r_0129_0021__some_r_0129_0022__cardboard,r_0129_0020__of).

fof(formula,axiom,
    ? [R_0129_0001__SO,R_0129_0002__THEY,R_0129_0005__ROUGH,R_0129_0011__A_R_0129_0012__SQUARE,R_0129_0021__SOME_R_0129_0022__CARDBOARD,R_0129_0019__TOP,R_0129_0016__BLANKETS,R_0129_0014__COVERED,R_0129_0008__THE_R_0129_0009__SHELTER,R_0129_0003__WERE_R_0129_0004__SLEEPING] :
      ( r_0129_0001__So(R_0129_0001__SO)
      & r_0129_0002__they(R_0129_0002__THEY)
      & r_0129_0005__rough(R_0129_0005__ROUGH)
      & r_0129_0011__a_r_0129_0012__square(R_0129_0011__A_R_0129_0012__SQUARE)
      & r_0129_0021__some_r_0129_0022__cardboard(R_0129_0021__SOME_R_0129_0022__CARDBOARD)
      & r_0129_0003__were_r_0129_0004__sleeping(R_0129_0003__WERE_R_0129_0004__SLEEPING)
      & has_r_0129_0007__in__nim(R_0129_0003__WERE_R_0129_0004__SLEEPING,R_0129_0008__THE_R_0129_0009__SHELTER)
      & r_0129_0008__the_r_0129_0009__shelter(R_0129_0008__THE_R_0129_0009__SHELTER)
      & has_inv_arg0(R_0129_0008__THE_R_0129_0009__SHELTER,R_0129_0014__COVERED)
      & r_0129_0014__covered(R_0129_0014__COVERED)
      & has_r_0129_0015__in__nim(R_0129_0014__COVERED,R_0129_0016__BLANKETS)
      & r_0129_0016__blankets(R_0129_0016__BLANKETS)
      & has_r_0129_0018__on(R_0129_0016__BLANKETS,R_0129_0019__TOP)
      & r_0129_0019__top(R_0129_0019__TOP)
      & has_r_0129_0020__of(R_0129_0019__TOP,R_0129_0021__SOME_R_0129_0022__CARDBOARD)
      & has_r_0129_0010__of(R_0129_0008__THE_R_0129_0009__SHELTER,R_0129_0011__A_R_0129_0012__SQUARE)
      & has_prd(R_0129_0003__WERE_R_0129_0004__SLEEPING,R_0129_0005__ROUGH)
      & has_arg0(R_0129_0003__WERE_R_0129_0004__SLEEPING,R_0129_0002__THEY)
      & has_nim(R_0129_0003__WERE_R_0129_0004__SLEEPING,R_0129_0001__SO) ) ).