( (IP-MAT (ILYR (ILYR (ILYR (ILYR (NP-SBJ;{PERSON_F} (PRO I;{I}))
                                  (VBP;_Ipr_ live;{live[in]})
                                  (PP-CLR (P-ROLE in;{in})
                                          (NP (D a;{a})
                                              (N flat;{flat})))
                                  (PP-NIM (P-ROLE with;{with})
                                          (NP;{HOUSEMATE} (D a;{a})
                                                          (N housemate;{housemate}))))
                            (CONJP (CONJ and;{and})
                                   (ILYR (NP-SBJ;{HOUSEMATE} (PRO he;{he}))
                                         (HVP;_Tn_ has;{have})
                                         (NP-OB1 (NLYR (NLYR;{FRIEND_A} (D a;{a})
                                                                        (ADJP (ADVP (ADV very;{very}))
                                                                              (ADJ close;{close}))
                                                                        (N friend;{friend})
                                                                        (IP-REL (NP-SBJ (RPRO who;{who}))
                                                                                (VBP;_Ipr_ lives;{live[down]})
                                                                                (PP-CLR (P-ROLE down;{down})
                                                                                        (NP (D the;{the})
                                                                                            (N road;{road})))
                                                                                (PP-NIM (P-ROLE on;{on})
                                                                                        (NP (NP-GEN (NP-GEN;{FRIEND_A} (PRO;_genm_ his;{his}))
                                                                                                    (ADJP (ADJ own;{own})))))))
                                                       (CONJP (CONJ and;{and})
                                                              (NLYR;{FRIEND_B} (D another;{another})
                                                                               (N friend;{friend})
                                                                               (IP-REL (NP-SBJ (RPRO who;{who}))
                                                                                       (VBP;_Ipr_ lives;{live[up]})
                                                                                       (PP-CLR (P-ROLE up;{up})
                                                                                               (NP (D the;{the})
                                                                                                   (N road;{road})))
                                                                                       (PP-NIM (ADVP-NIM (ADV also;{also}))
                                                                                               (P-ROLE on;{on})
                                                                                               (NP (NP-GEN (NP-GEN;{FRIEND_B} (PRO;_genm_ her;{her}))
                                                                                                           (ADJP (ADJ own;{own}))))))))))))))
                (PUNC ,)
                (CONJP (ILYR (ADVP-NIM (ADV so;{so}))
                             (NP-SBJ;{PERSON_F+HOUSEMATE+FRIEND_A+FRIEND_B} (PRO we;{we}))
                             (BED;_cat_Vg_ were;{be})
                             (IP-PPL-CAT (DAG;_Tn_ doing;{do})
                                         (NP-OB1 (D a;{a})
                                                 (N sort;{sort})
                                                 (PP (P-ROLE of;{of})
                                                     (NP (N isolation;{isolation})
                                                         (N bubble;{bubble}))))))))
          (PUNC .))
  (ID 61_a_lockdown;speaker=f))

arc(r_0061_0002__live_r_0061_0003__in,r_0061_0001__I,arg0).
arc(r_0061_0002__live_r_0061_0003__in,r_0061_0004__a_r_0061_0005__flat,arg1).
arc(r_0061_0002__live_r_0061_0003__in,r_0061_0007__a_r_0061_0008__housemate,r_0061_0006__with__nim).
arc(r_0061_0009__and,r_0061_0002__live_r_0061_0003__in,conj1).
arc(r_0061_0009__and,r_0061_0011__has,conj2).
arc(r_0061_0011__has,r_0061_0007__a_r_0061_0008__housemate,arg0).
arc(r_0061_0011__has,r_0061_0024__and,arg1).
arc(r_0061_0012__a_r_0061_0015__friend,r_0061_0014__close,attrib).
arc(r_0061_0014__close,r_0061_0013__very,qual).
arc(r_0061_0017__lives_r_0061_0018__down,r_0061_0012__a_r_0061_0015__friend,arg0).
arc(r_0061_0017__lives_r_0061_0018__down,r_0061_0019__the_r_0061_0020__road,arg1).
arc(r_0061_0017__lives_r_0061_0018__down,z_0061_5016,r_0061_0021__on__nim).
arc(r_0061_0024__and,r_0061_0012__a_r_0061_0015__friend,conj1).
arc(r_0061_0024__and,r_0061_0025__another_r_0061_0026__friend,conj2).
arc(r_0061_0028__lives_r_0061_0029__up,r_0061_0025__another_r_0061_0026__friend,arg0).
arc(r_0061_0028__lives_r_0061_0029__up,r_0061_0030__the_r_0061_0031__road,arg1).
arc(r_0061_0028__lives_r_0061_0029__up,z_0061_5025,r_0061_0032__also_r_0061_0033__on__nim).
arc(r_0061_0039__were,r_0061_0037__so,nim).
arc(r_0061_0039__were,r_0061_0040__doing,scope).
arc(r_0061_0040__doing,r_0061_0038__we,arg0).
arc(r_0061_0040__doing,r_0061_0041__a_r_0061_0042__sort,arg1).
arc(r_0061_0041__a_r_0061_0042__sort,r_0061_0044__isolation_r_0061_0045__bubble,r_0061_0043__of).
arc(z_0061_5001,r_0061_0009__and,conj1).
arc(z_0061_5001,r_0061_0039__were,conj2).
arc(z_0061_5015,r_0061_0012__a_r_0061_0015__friend,gen).
arc(z_0061_5015,r_0061_0023__own,attrib).
arc(z_0061_5016,z_0061_5015,gen).
arc(z_0061_5024,r_0061_0025__another_r_0061_0026__friend,gen).
arc(z_0061_5024,r_0061_0035__own,attrib).
arc(z_0061_5025,z_0061_5024,gen).

fof(formula,axiom,
    ? [R_0061_0013__VERY,R_0061_0014__CLOSE,R_0061_0012__A_R_0061_0015__FRIEND,R_0061_0019__THE_R_0061_0020__ROAD,R_0061_0023__OWN,Z_0061_5015,Z_0061_5016,R_0061_0017__LIVES_R_0061_0018__DOWN,R_0061_0025__ANOTHER_R_0061_0026__FRIEND,R_0061_0030__THE_R_0061_0031__ROAD,R_0061_0035__OWN,Z_0061_5024,Z_0061_5025,R_0061_0028__LIVES_R_0061_0029__UP,R_0061_0001__I,R_0061_0004__A_R_0061_0005__FLAT,R_0061_0007__A_R_0061_0008__HOUSEMATE,R_0061_0002__LIVE_R_0061_0003__IN,R_0061_0024__AND,R_0061_0011__HAS,R_0061_0009__AND,R_0061_0037__SO,R_0061_0038__WE,R_0061_0044__ISOLATION_R_0061_0045__BUBBLE,R_0061_0041__A_R_0061_0042__SORT,R_0061_0039__WERE_R_0061_0040__DOING,Z_0061_5001] :
      ( r_0061_0001__I(R_0061_0001__I)
      & r_0061_0004__a_r_0061_0005__flat(R_0061_0004__A_R_0061_0005__FLAT)
      & r_0061_0007__a_r_0061_0008__housemate(R_0061_0007__A_R_0061_0008__HOUSEMATE)
      & r_0061_0013__very(R_0061_0013__VERY)
      & r_0061_0019__the_r_0061_0020__road(R_0061_0019__THE_R_0061_0020__ROAD)
      & r_0061_0023__own(R_0061_0023__OWN)
      & r_0061_0025__another_r_0061_0026__friend(R_0061_0025__ANOTHER_R_0061_0026__FRIEND)
      & r_0061_0030__the_r_0061_0031__road(R_0061_0030__THE_R_0061_0031__ROAD)
      & r_0061_0035__own(R_0061_0035__OWN)
      & r_0061_0037__so(R_0061_0037__SO)
      & r_0061_0038__we(R_0061_0038__WE)
      & r_0061_0044__isolation_r_0061_0045__bubble(R_0061_0044__ISOLATION_R_0061_0045__BUBBLE)
      & z_0061_5001(Z_0061_5001)
      & has_conj2(Z_0061_5001,R_0061_0039__WERE_R_0061_0040__DOING)
      & r_0061_0039__were_r_0061_0040__doing(R_0061_0039__WERE_R_0061_0040__DOING)
      & has_arg1(R_0061_0039__WERE_R_0061_0040__DOING,R_0061_0041__A_R_0061_0042__SORT)
      & r_0061_0041__a_r_0061_0042__sort(R_0061_0041__A_R_0061_0042__SORT)
      & has_r_0061_0043__of(R_0061_0041__A_R_0061_0042__SORT,R_0061_0044__ISOLATION_R_0061_0045__BUBBLE)
      & has_arg0(R_0061_0039__WERE_R_0061_0040__DOING,R_0061_0038__WE)
      & has_nim(R_0061_0039__WERE_R_0061_0040__DOING,R_0061_0037__SO)
      & has_conj1(Z_0061_5001,R_0061_0009__AND)
      & r_0061_0009__and(R_0061_0009__AND)
      & has_conj2(R_0061_0009__AND,R_0061_0011__HAS)
      & r_0061_0011__has(R_0061_0011__HAS)
      & has_arg1(R_0061_0011__HAS,R_0061_0024__AND)
      & r_0061_0024__and(R_0061_0024__AND)
      & has_conj2(R_0061_0024__AND,R_0061_0025__ANOTHER_R_0061_0026__FRIEND)
      & has_conj1(R_0061_0024__AND,R_0061_0012__A_R_0061_0015__FRIEND)
      & r_0061_0012__a_r_0061_0015__friend(R_0061_0012__A_R_0061_0015__FRIEND)
      & has_attrib(R_0061_0012__A_R_0061_0015__FRIEND,R_0061_0014__CLOSE)
      & r_0061_0014__close(R_0061_0014__CLOSE)
      & has_qual(R_0061_0014__CLOSE,R_0061_0013__VERY)
      & has_arg0(R_0061_0011__HAS,R_0061_0007__A_R_0061_0008__HOUSEMATE)
      & has_conj1(R_0061_0009__AND,R_0061_0002__LIVE_R_0061_0003__IN)
      & r_0061_0002__live_r_0061_0003__in(R_0061_0002__LIVE_R_0061_0003__IN)
      & has_r_0061_0006__with__nim(R_0061_0002__LIVE_R_0061_0003__IN,R_0061_0007__A_R_0061_0008__HOUSEMATE)
      & has_arg1(R_0061_0002__LIVE_R_0061_0003__IN,R_0061_0004__A_R_0061_0005__FLAT)
      & has_arg0(R_0061_0002__LIVE_R_0061_0003__IN,R_0061_0001__I)
      & r_0061_0028__lives_r_0061_0029__up(R_0061_0028__LIVES_R_0061_0029__UP)
      & has_r_0061_0032__also_r_0061_0033__on__nim(R_0061_0028__LIVES_R_0061_0029__UP,Z_0061_5025)
      & z_0061_5025(Z_0061_5025)
      & has_gen(Z_0061_5025,Z_0061_5024)
      & z_0061_5024(Z_0061_5024)
      & has_attrib(Z_0061_5024,R_0061_0035__OWN)
      & has_gen(Z_0061_5024,R_0061_0025__ANOTHER_R_0061_0026__FRIEND)
      & has_arg1(R_0061_0028__LIVES_R_0061_0029__UP,R_0061_0030__THE_R_0061_0031__ROAD)
      & has_arg0(R_0061_0028__LIVES_R_0061_0029__UP,R_0061_0025__ANOTHER_R_0061_0026__FRIEND)
      & r_0061_0017__lives_r_0061_0018__down(R_0061_0017__LIVES_R_0061_0018__DOWN)
      & has_r_0061_0021__on__nim(R_0061_0017__LIVES_R_0061_0018__DOWN,Z_0061_5016)
      & z_0061_5016(Z_0061_5016)
      & has_gen(Z_0061_5016,Z_0061_5015)
      & z_0061_5015(Z_0061_5015)
      & has_attrib(Z_0061_5015,R_0061_0023__OWN)
      & has_gen(Z_0061_5015,R_0061_0012__A_R_0061_0015__FRIEND)
      & has_arg1(R_0061_0017__LIVES_R_0061_0018__DOWN,R_0061_0019__THE_R_0061_0020__ROAD)
      & has_arg0(R_0061_0017__LIVES_R_0061_0018__DOWN,R_0061_0012__A_R_0061_0015__FRIEND) ) ).