( (IP-MAT (NP-SBJ;{SON_OF_A} (NP-GEN;{PERSON_A} (PRO;_genm_ My;{my}))
                             (N son;{son}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADVP (ADV really;{really}))
                    (ADJ happy;{happy})
                    (PP (P-ROLE about;{about})
                        (NP;{EVENT_A} (PRO it;{it}))))
          (PUNC .))
  (ID 20_a_lockdown;speaker=a))

arc(r_0020_0002__son,r_0020_0001__My,gen).
arc(r_0020_0003__is,r_0020_0002__son,arg0).
arc(r_0020_0003__is,r_0020_0005__happy,prd).
arc(r_0020_0005__happy,r_0020_0004__really,qual).
arc(r_0020_0005__happy,r_0020_0007__it,r_0020_0006__about).

fof(formula,axiom,
    ? [R_0020_0001__MY,R_0020_0002__SON,R_0020_0004__REALLY,R_0020_0007__IT,R_0020_0005__HAPPY,R_0020_0003__IS] :
      ( r_0020_0001__My(R_0020_0001__MY)
      & r_0020_0004__really(R_0020_0004__REALLY)
      & r_0020_0007__it(R_0020_0007__IT)
      & r_0020_0003__is(R_0020_0003__IS)
      & has_prd(R_0020_0003__IS,R_0020_0005__HAPPY)
      & r_0020_0005__happy(R_0020_0005__HAPPY)
      & has_r_0020_0006__about(R_0020_0005__HAPPY,R_0020_0007__IT)
      & has_qual(R_0020_0005__HAPPY,R_0020_0004__REALLY)
      & has_arg0(R_0020_0003__IS,R_0020_0002__SON)
      & r_0020_0002__son(R_0020_0002__SON)
      & has_gen(R_0020_0002__SON,R_0020_0001__MY) ) ).