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, qual12).
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, nim21).
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_0007__they, arg0).
arc(r_0038_0011__isolating, r_0038_0010__completely, nim33).
arc(r_0038_0014__think, r_0038_0012__so, nim40).
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_000_38_a_lockdown_50, arg0).
arc(r_0038_0018__did_r_0038_0019__cheer_r_0038_0021__up, r_0038_0015__getting, arg0).
arc(r_0038_0018__did_r_0038_0019__cheer_r_0038_0021__up, r_0038_0020__them, arg1).
arc(z_000_38_a_lockdown_2, r_0038_0005__and, conj1).
arc(z_000_38_a_lockdown_2, 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_0007__THEY,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_000_38_A_LOCKDOWN_50,R_0038_0015__GETTING,R_0038_0020__THEM,R_0038_0018__DID_R_0038_0019__CHEER_R_0038_0021__UP,R_0038_0014__THINK,Z_000_38_A_LOCKDOWN_2] :
      ( 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_0007__they(R_0038_0007__THEY)
      & 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)
      & r_0038_0020__them(R_0038_0020__THEM)
      & z_000_38_a_lockdown_50(Z_000_38_A_LOCKDOWN_50)
      & z_000_38_a_lockdown_2(Z_000_38_A_LOCKDOWN_2)
      & has_conj2(Z_000_38_A_LOCKDOWN_2,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_arg1(R_0038_0018__DID_R_0038_0019__CHEER_R_0038_0021__UP,R_0038_0020__THEM)
      & 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_000_38_A_LOCKDOWN_50)
      & has_arg1(R_0038_0015__GETTING,R_0038_0016__THE_R_0038_0017__CAKE)
      & has_arg0(R_0038_0014__THINK,R_0038_0013__I)
      & has_nim40(R_0038_0014__THINK,R_0038_0012__SO)
      & has_conj1(Z_000_38_A_LOCKDOWN_2,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_nim33(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_0007__THEY)
      & has_nim21(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_qual12(R_0038_0004__SOCIABLE,R_0038_0003__VERY)
      & has_arg0(R_0038_0002___APOS_RE,R_0038_0001__THEY) ) ).

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