TSPC 61_a_lockdown

61_a_lockdown
I live in a flat with a housemate and he has a very close friend who lives down the road on his own and another friend who lives up the road also on her own, so we were doing a sort of isolation bubble.

arc(r_0061_0002__live, r_0061_0001__I, arg0).
arc(r_0061_0002__live, r_0061_0004__a_r_0061_0005__flat, r_0061_0003__in_clr14).
arc(r_0061_0002__live, r_0061_0007__a_r_0061_0008__housemate, r_0061_0006__with_nim22).
arc(r_0061_0009__and, r_0061_0002__live, 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, attrib41).
arc(r_0061_0014__close, r_0061_0013__very, qual42).
arc(r_0061_0017__lives, r_0061_0012__a_r_0061_0015__friend, arg0).
arc(r_0061_0017__lives, r_0061_0019__the_r_0061_0020__road, r_0061_0018__down_clr58).
arc(r_0061_0017__lives, z_000_61_a_lockdown_66, r_0061_0021__on_nim66).
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_0025__another_r_0061_0026__friend, arg0).
arc(r_0061_0028__lives, r_0061_0030__the_r_0061_0031__road, r_0061_0029__up_clr91).
arc(r_0061_0028__lives, z_000_61_a_lockdown_101, r_0061_0032__also_r_0061_0033__on_nim101).
arc(r_0061_0039__were, r_0061_0037__so, nim113).
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_000_61_a_lockdown_101, z_000_61_a_lockdown_102, gen).
arc(z_000_61_a_lockdown_102, r_0061_0025__another_r_0061_0026__friend, gen).
arc(z_000_61_a_lockdown_102, r_0061_0035__own, attrib106).
arc(z_000_61_a_lockdown_2, r_0061_0009__and, conj1).
arc(z_000_61_a_lockdown_2, r_0061_0039__were, conj2).
arc(z_000_61_a_lockdown_66, z_000_61_a_lockdown_67, gen).
arc(z_000_61_a_lockdown_67, r_0061_0012__a_r_0061_0015__friend, gen).
arc(z_000_61_a_lockdown_67, r_0061_0023__own, attrib71).

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_000_61_A_LOCKDOWN_67,Z_000_61_A_LOCKDOWN_66,R_0061_0017__LIVES,R_0061_0025__ANOTHER_R_0061_0026__FRIEND,R_0061_0030__THE_R_0061_0031__ROAD,R_0061_0035__OWN,Z_000_61_A_LOCKDOWN_102,Z_000_61_A_LOCKDOWN_101,R_0061_0028__LIVES,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_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_000_61_A_LOCKDOWN_2] :
      ( 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_000_61_a_lockdown_2(Z_000_61_A_LOCKDOWN_2)
      & has_conj2(Z_000_61_A_LOCKDOWN_2,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_nim113(R_0061_0039__WERE_R_0061_0040__DOING,R_0061_0037__SO)
      & has_conj1(Z_000_61_A_LOCKDOWN_2,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_attrib41(R_0061_0012__A_R_0061_0015__FRIEND,R_0061_0014__CLOSE)
      & r_0061_0014__close(R_0061_0014__CLOSE)
      & has_qual42(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_0002__live(R_0061_0002__LIVE)
      & has_r_0061_0006__with_nim22(R_0061_0002__LIVE,R_0061_0007__A_R_0061_0008__HOUSEMATE)
      & has_r_0061_0003__in_clr14(R_0061_0002__LIVE,R_0061_0004__A_R_0061_0005__FLAT)
      & has_arg0(R_0061_0002__LIVE,R_0061_0001__I)
      & r_0061_0028__lives(R_0061_0028__LIVES)
      & has_r_0061_0032__also_r_0061_0033__on_nim101(R_0061_0028__LIVES,Z_000_61_A_LOCKDOWN_101)
      & z_000_61_a_lockdown_101(Z_000_61_A_LOCKDOWN_101)
      & has_gen(Z_000_61_A_LOCKDOWN_101,Z_000_61_A_LOCKDOWN_102)
      & z_000_61_a_lockdown_102(Z_000_61_A_LOCKDOWN_102)
      & has_attrib106(Z_000_61_A_LOCKDOWN_102,R_0061_0035__OWN)
      & has_gen(Z_000_61_A_LOCKDOWN_102,R_0061_0025__ANOTHER_R_0061_0026__FRIEND)
      & has_r_0061_0029__up_clr91(R_0061_0028__LIVES,R_0061_0030__THE_R_0061_0031__ROAD)
      & has_arg0(R_0061_0028__LIVES,R_0061_0025__ANOTHER_R_0061_0026__FRIEND)
      & r_0061_0017__lives(R_0061_0017__LIVES)
      & has_r_0061_0021__on_nim66(R_0061_0017__LIVES,Z_000_61_A_LOCKDOWN_66)
      & z_000_61_a_lockdown_66(Z_000_61_A_LOCKDOWN_66)
      & has_gen(Z_000_61_A_LOCKDOWN_66,Z_000_61_A_LOCKDOWN_67)
      & z_000_61_a_lockdown_67(Z_000_61_A_LOCKDOWN_67)
      & has_attrib71(Z_000_61_A_LOCKDOWN_67,R_0061_0023__OWN)
      & has_gen(Z_000_61_A_LOCKDOWN_67,R_0061_0012__A_R_0061_0015__FRIEND)
      & has_r_0061_0018__down_clr58(R_0061_0017__LIVES,R_0061_0019__THE_R_0061_0020__ROAD)
      & has_arg0(R_0061_0017__LIVES,R_0061_0012__A_R_0061_0015__FRIEND) ) ).

( (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 (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))