( (IP-MAT (ILYR (ILYR;{VIDEO_CHAT} (NP-SBJ;{PERSON_E} (PRO I;{I}))
                                   (VBP;_I_ video_chat;{video_chat})
                                   (PP-NIM (P-ROLE with;{with})
                                           (NP;{FRIENDS_OF_E} (NP-GEN;{PERSON_E} (PRO;_genm_ my;{my}))
                                                              (NS friends;{friend})))
                                   (ADVP-NIM (ADV frequently;{frequently})))
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{VIDEO_CHAT} (PRO it;{it}))
                             (BEP;_Ln_ <apos>s;{be})
                             (NEG not;{not})
                             (NP-PRD (D the;{the})
                                     (ADJP (ADJ same;{same})
                                           (PP (P-ROLE as;{as})
                                               (IP-PPL (HAG;_Tn_ having;{have})
                                                       (NP-OB1;{FRIENDS_OF_E} (PRO them;{they}))
                                                       (ADVP-NIM (ADV here;{here})))))))))
          (PUNC .))
  (ID 54_a_lockdown;speaker=e))

arc(r_0054_0002__video_chat,r_0054_0001__I,arg0).
arc(r_0054_0002__video_chat,r_0054_0005__friends,r_0054_0003__with__nim).
arc(r_0054_0002__video_chat,r_0054_0006__frequently,nim).
arc(r_0054_0005__friends,r_0054_0001__I,gen).
arc(r_0054_0007__but,r_0054_0002__video_chat,conj1).
arc(r_0054_0007__but,r_0054_0010__not,conj2).
arc(r_0054_0009___apos_s,r_0054_0002__video_chat,arg0).
arc(r_0054_0009___apos_s,r_0054_0011__the,prd).
arc(r_0054_0010__not,r_0054_0009___apos_s,keep_scope).
arc(r_0054_0011__the,r_0054_0012__same,attrib).
arc(r_0054_0012__same,r_0054_0014__having,r_0054_0013__as).
arc(r_0054_0014__having,r_0054_0005__friends,arg1).
arc(r_0054_0014__having,r_0054_0016__here,nim).
arc(r_0054_0014__having,z_0054_5010,arg0).

fof(formula,axiom,
    ? [R_0054_0001__I,R_0054_0005__FRIENDS,R_0054_0006__FREQUENTLY,R_0054_0002__VIDEO_CHAT,R_0054_0007__BUT] :
      ( r_0054_0001__I(R_0054_0001__I)
      & r_0054_0006__frequently(R_0054_0006__FREQUENTLY)
      & r_0054_0007__but(R_0054_0007__BUT)
      & has_conj2(R_0054_0007__BUT,R_0054_0010__NOT)
      & ~ ? [R_0054_0016__HERE,Z_0054_5010,R_0054_0014__HAVING,R_0054_0012__SAME,R_0054_0011__THE,R_0054_0009___APOS_S] :
            ( r_0054_0016__here(R_0054_0016__HERE)
            & z_0054_5010(Z_0054_5010)
            & r_0054_0009___apos_s(R_0054_0009___APOS_S)
            & has_prd(R_0054_0009___APOS_S,R_0054_0011__THE)
            & r_0054_0011__the(R_0054_0011__THE)
            & has_attrib(R_0054_0011__THE,R_0054_0012__SAME)
            & r_0054_0012__same(R_0054_0012__SAME)
            & has_r_0054_0013__as(R_0054_0012__SAME,R_0054_0014__HAVING)
            & r_0054_0014__having(R_0054_0014__HAVING)
            & has_arg0(R_0054_0014__HAVING,Z_0054_5010)
            & has_nim(R_0054_0014__HAVING,R_0054_0016__HERE)
            & has_arg1(R_0054_0014__HAVING,R_0054_0005__FRIENDS)
            & has_arg0(R_0054_0009___APOS_S,R_0054_0002__VIDEO_CHAT) )
      & has_conj1(R_0054_0007__BUT,R_0054_0002__VIDEO_CHAT)
      & r_0054_0002__video_chat(R_0054_0002__VIDEO_CHAT)
      & has_nim(R_0054_0002__VIDEO_CHAT,R_0054_0006__FREQUENTLY)
      & has_r_0054_0003__with__nim(R_0054_0002__VIDEO_CHAT,R_0054_0005__FRIENDS)
      & r_0054_0005__friends(R_0054_0005__FRIENDS)
      & has_gen(R_0054_0005__FRIENDS,R_0054_0001__I)
      & has_arg0(R_0054_0002__VIDEO_CHAT,R_0054_0001__I) ) ).