( (IP-MAT (NP-SBJ (PRO;_expletive_ It;{it}))
          (ADVP-NIM (ADV sort_of;{sort_of}))
          (VBD;_La_ seemed;{seem})
          (ADJP-PRD (ADJ justified;{justified}))
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (PP-NIM (P-ROLE for;{for})
                                   (NP;{PERSONS} (NS people;{people})
                                                 (IP-REL (NP-SBJ (RPRO who;{who}))
                                                         (VBP;_Ipr_ live;{live[on]})
                                                         (PP-CLR (P-ROLE on;{on})
                                                                 (NP (NP-GEN (NP-GEN;{PERSONS} (PRO;_genm_ their;{their}))
                                                                             (ADJP (ADJ own;{own}))))))))
                           (NP-SBJ;{PERSON_F} (PRO I;{I}))
                           (VBP;_Tf_ think;{think})
                           (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO;_expletive_ it;{it}))
                                               (BEP;_La_ <apos>s;{be})
                                               (ADJP-PRD (ADVP (ADV really;{really}))
                                                         (PUNC ,)
                                                         (ADVP (ADV really;{really}))
                                                         (ADJ hard;{hard})
                                                         (PP (P-ROLE for;{for})
                                                             (NP;{PERSONS} (PRO them;{they}))))))))
          (PUNC .))
  (ID 65_a_lockdown;speaker=f))

arc(r_0065_0003__seemed,r_0065_0002__sort_of,nim).
arc(r_0065_0003__seemed,r_0065_0004__justified,prd).
arc(r_0065_0005__because,r_0065_0003__seemed,scope).
arc(r_0065_0005__because,r_0065_0014__think,restriction).
arc(r_0065_0009__live_r_0065_0010__on,r_0065_0007__people,arg0).
arc(r_0065_0009__live_r_0065_0010__on,z_0065_5009,arg1).
arc(r_0065_0014__think,r_0065_0007__people,r_0065_0006__for__nim).
arc(r_0065_0014__think,r_0065_0013__I,arg0).
arc(r_0065_0014__think,r_0065_0016___apos_s,arg1).
arc(r_0065_0016___apos_s,r_0065_0020__hard,prd).
arc(r_0065_0020__hard,r_0065_0007__people,r_0065_0021__for).
arc(r_0065_0020__hard,r_0065_0017__really,qual).
arc(r_0065_0020__hard,r_0065_0019__really,qual).
arc(z_0065_5008,r_0065_0007__people,gen).
arc(z_0065_5008,r_0065_0012__own,attrib).
arc(z_0065_5009,z_0065_5008,gen).

fof(formula,axiom,
    ? [R_0065_0002__SORT_OF,R_0065_0004__JUSTIFIED,R_0065_0003__SEEMED,R_0065_0007__PEOPLE,R_0065_0013__I,R_0065_0017__REALLY,R_0065_0019__REALLY,R_0065_0020__HARD,R_0065_0016___APOS_S,R_0065_0014__THINK,R_0065_0005__BECAUSE,R_0065_0012__OWN,Z_0065_5008,Z_0065_5009,R_0065_0009__LIVE_R_0065_0010__ON] :
      ( r_0065_0002__sort_of(R_0065_0002__SORT_OF)
      & r_0065_0004__justified(R_0065_0004__JUSTIFIED)
      & r_0065_0007__people(R_0065_0007__PEOPLE)
      & r_0065_0012__own(R_0065_0012__OWN)
      & r_0065_0013__I(R_0065_0013__I)
      & r_0065_0017__really(R_0065_0017__REALLY)
      & r_0065_0019__really(R_0065_0019__REALLY)
      & r_0065_0009__live_r_0065_0010__on(R_0065_0009__LIVE_R_0065_0010__ON)
      & has_arg1(R_0065_0009__LIVE_R_0065_0010__ON,Z_0065_5009)
      & z_0065_5009(Z_0065_5009)
      & has_gen(Z_0065_5009,Z_0065_5008)
      & z_0065_5008(Z_0065_5008)
      & has_attrib(Z_0065_5008,R_0065_0012__OWN)
      & has_gen(Z_0065_5008,R_0065_0007__PEOPLE)
      & has_arg0(R_0065_0009__LIVE_R_0065_0010__ON,R_0065_0007__PEOPLE)
      & r_0065_0005__because(R_0065_0005__BECAUSE)
      & has_conj1(R_0065_0005__BECAUSE,R_0065_0014__THINK)
      & r_0065_0014__think(R_0065_0014__THINK)
      & has_arg1(R_0065_0014__THINK,R_0065_0016___APOS_S)
      & r_0065_0016___apos_s(R_0065_0016___APOS_S)
      & has_prd(R_0065_0016___APOS_S,R_0065_0020__HARD)
      & r_0065_0020__hard(R_0065_0020__HARD)
      & has_qual(R_0065_0020__HARD,R_0065_0019__REALLY)
      & has_qual(R_0065_0020__HARD,R_0065_0017__REALLY)
      & has_r_0065_0021__for(R_0065_0020__HARD,R_0065_0007__PEOPLE)
      & has_arg0(R_0065_0014__THINK,R_0065_0013__I)
      & has_r_0065_0006__for__nim(R_0065_0014__THINK,R_0065_0007__PEOPLE)
      & has_conj2(R_0065_0005__BECAUSE,R_0065_0003__SEEMED)
      & r_0065_0003__seemed(R_0065_0003__SEEMED)
      & has_prd(R_0065_0003__SEEMED,R_0065_0004__JUSTIFIED)
      & has_nim(R_0065_0003__SEEMED,R_0065_0002__SORT_OF) ) ).