( (IP-MAT (PUNC <bbold>)
          (NP-SBJ;{SON_OF_A} (PRO He;{he}))
          (VBD;_Tn_ got;{get})
          (NP-OB1 (ADJP (ADJ amazing;{amazing}))
                  (N feedback;{feedback}))
          (PUNC !)
          (PUNC <ebold>))
  (ID 11_a_lockdown;speaker=a))

arc(r_0011_0003__got,r_0011_0002__He,arg0).
arc(r_0011_0003__got,r_0011_0005__feedback,arg1).
arc(r_0011_0005__feedback,r_0011_0004__amazing,attrib).

fof(formula,axiom,
    ? [R_0011_0002__HE,R_0011_0004__AMAZING,R_0011_0005__FEEDBACK,R_0011_0003__GOT] :
      ( r_0011_0002__He(R_0011_0002__HE)
      & r_0011_0004__amazing(R_0011_0004__AMAZING)
      & r_0011_0003__got(R_0011_0003__GOT)
      & has_arg1(R_0011_0003__GOT,R_0011_0005__FEEDBACK)
      & r_0011_0005__feedback(R_0011_0005__FEEDBACK)
      & has_attrib(R_0011_0005__FEEDBACK,R_0011_0004__AMAZING)
      & has_arg0(R_0011_0003__GOT,R_0011_0002__HE) ) ).