( (IP-MAT (ILYR (ILYR (ILYR (ILYR (NP-SBJ;{GRANDPARENTS_OF_C} (PRO They;{they}))
                                  (BEP;_La_ <apos>re;{be})
                                  (ADJP-PRD (ADVP (ADV very;{very}))
                                            (ADJ sociable;{sociable})))
                            (CONJP (CONJ and;{and})
                                   (ILYR (ADVP-NIM (ADV obviously;{obviously}))
                                         (NP-SBJ;{GRANDPARENTS_OF_C} (PRO they;{they}))
                                         (BEP;_cat_VePASS_ <apos>ve;{be})
                                         (IP-PPL-CAT (BEN;_cat_Vg_ been;{be})
                                                     (IP-PPL-CAT (ADVP-NIM (ADV completely;{completely}))
                                                                 (VAG;_I_ isolating;{isolate})))))))
                (CONJP (ILYR (ADVP-NIM (ADV so;{so}))
                             (NP-SBJ;{PERSON_C} (PRO I;{I}))
                             (VBP;_Tf_ think;{think})
                             (CP-THT-OB1 (IP-SUB (IP-PPL-SBJ (VAG;_Tn_ getting;{get})
                                                             (NP-OB1 (D the;{the})
                                                                     (N cake;{cake})))
                                                 (DOD did;{do})
                                                 (VB;_phr_Vn<=>p_ cheer;{cheer[up]})
                                                 (NP-OB1;{GRANDPARENTS_OF_C} (PRO them;{they}))
                                                 (RP up;{up}))))))
          (PUNC .))
  (ID 38_a_lockdown;speaker=c))

arc(r_0038_0002___apos_re,r_0038_0001__They,arg0).
arc(r_0038_0002___apos_re,r_0038_0004__sociable,prd).
arc(r_0038_0004__sociable,r_0038_0003__very,qual).
arc(r_0038_0005__and,r_0038_0002___apos_re,conj1).
arc(r_0038_0005__and,r_0038_0008___apos_ve,conj2).
arc(r_0038_0008___apos_ve,r_0038_0006__obviously,nim).
arc(r_0038_0008___apos_ve,r_0038_0009__been,scope).
arc(r_0038_0009__been,r_0038_0011__isolating,scope).
arc(r_0038_0011__isolating,r_0038_0001__They,arg0).
arc(r_0038_0011__isolating,r_0038_0010__completely,nim).
arc(r_0038_0014__think,r_0038_0012__so,nim).
arc(r_0038_0014__think,r_0038_0013__I,arg0).
arc(r_0038_0014__think,r_0038_0018__did_r_0038_0019__cheer_r_0038_0021__up,arg1).
arc(r_0038_0015__getting,r_0038_0016__the_r_0038_0017__cake,arg1).
arc(r_0038_0015__getting,z_0038_5018,arg0).
arc(r_0038_0018__did_r_0038_0019__cheer_r_0038_0021__up,r_0038_0001__They,arg1).
arc(r_0038_0018__did_r_0038_0019__cheer_r_0038_0021__up,r_0038_0015__getting,arg0).
arc(z_0038_5001,r_0038_0005__and,conj1).
arc(z_0038_5001,r_0038_0014__think,conj2).

fof(formula,axiom,
    ? [R_0038_0001__THEY,R_0038_0003__VERY,R_0038_0004__SOCIABLE,R_0038_0002___APOS_RE,R_0038_0006__OBVIOUSLY,R_0038_0010__COMPLETELY,R_0038_0008___APOS_VE_R_0038_0009__BEEN_R_0038_0011__ISOLATING,R_0038_0005__AND,R_0038_0012__SO,R_0038_0013__I,R_0038_0016__THE_R_0038_0017__CAKE,Z_0038_5018,R_0038_0015__GETTING,R_0038_0018__DID_R_0038_0019__CHEER_R_0038_0021__UP,R_0038_0014__THINK,Z_0038_5001] :
      ( r_0038_0001__They(R_0038_0001__THEY)
      & r_0038_0003__very(R_0038_0003__VERY)
      & r_0038_0006__obviously(R_0038_0006__OBVIOUSLY)
      & r_0038_0010__completely(R_0038_0010__COMPLETELY)
      & r_0038_0012__so(R_0038_0012__SO)
      & r_0038_0013__I(R_0038_0013__I)
      & r_0038_0016__the_r_0038_0017__cake(R_0038_0016__THE_R_0038_0017__CAKE)
      & z_0038_5018(Z_0038_5018)
      & z_0038_5001(Z_0038_5001)
      & has_conj2(Z_0038_5001,R_0038_0014__THINK)
      & r_0038_0014__think(R_0038_0014__THINK)
      & has_arg1(R_0038_0014__THINK,R_0038_0018__DID_R_0038_0019__CHEER_R_0038_0021__UP)
      & r_0038_0018__did_r_0038_0019__cheer_r_0038_0021__up(R_0038_0018__DID_R_0038_0019__CHEER_R_0038_0021__UP)
      & has_arg0(R_0038_0018__DID_R_0038_0019__CHEER_R_0038_0021__UP,R_0038_0015__GETTING)
      & r_0038_0015__getting(R_0038_0015__GETTING)
      & has_arg0(R_0038_0015__GETTING,Z_0038_5018)
      & has_arg1(R_0038_0015__GETTING,R_0038_0016__THE_R_0038_0017__CAKE)
      & has_arg1(R_0038_0018__DID_R_0038_0019__CHEER_R_0038_0021__UP,R_0038_0001__THEY)
      & has_arg0(R_0038_0014__THINK,R_0038_0013__I)
      & has_nim(R_0038_0014__THINK,R_0038_0012__SO)
      & has_conj1(Z_0038_5001,R_0038_0005__AND)
      & r_0038_0005__and(R_0038_0005__AND)
      & has_conj2(R_0038_0005__AND,R_0038_0008___APOS_VE_R_0038_0009__BEEN_R_0038_0011__ISOLATING)
      & r_0038_0008___apos_ve_r_0038_0009__been_r_0038_0011__isolating(R_0038_0008___APOS_VE_R_0038_0009__BEEN_R_0038_0011__ISOLATING)
      & has_nim(R_0038_0008___APOS_VE_R_0038_0009__BEEN_R_0038_0011__ISOLATING,R_0038_0010__COMPLETELY)
      & has_arg0(R_0038_0008___APOS_VE_R_0038_0009__BEEN_R_0038_0011__ISOLATING,R_0038_0001__THEY)
      & has_nim(R_0038_0008___APOS_VE_R_0038_0009__BEEN_R_0038_0011__ISOLATING,R_0038_0006__OBVIOUSLY)
      & has_conj1(R_0038_0005__AND,R_0038_0002___APOS_RE)
      & r_0038_0002___apos_re(R_0038_0002___APOS_RE)
      & has_prd(R_0038_0002___APOS_RE,R_0038_0004__SOCIABLE)
      & r_0038_0004__sociable(R_0038_0004__SOCIABLE)
      & has_qual(R_0038_0004__SOCIABLE,R_0038_0003__VERY)
      & has_arg0(R_0038_0002___APOS_RE,R_0038_0001__THEY) ) ).