( (IP-MAT (NP-SBJ;{PERSON_E} (PRO I;{I}))
          (VBD;_Tn_ discovered;{discover})
          (NP-OB1 (D this;{this})
                  (N wine;{wine})
                  (N website;{website})
                  (IP-REL (NP-SBJ (RPRO which;{which}))
                          (HVP;_Tn_ has;{have})
                          (NP-OB1;{WINES} (ADJP (ADJ good;{good}))
                                          (NS wines;{wine})
                                          (PP (P-ROLE for;{for})
                                              (NP (D a;{a})
                                                  (ADJP (ADVP (ADV very;{very}))
                                                        (ADJ good;{good}))
                                                  (N price;{price}))))))
          (PUNC .))
  (ID 55_a_lockdown;speaker=e))

arc(r_0055_0002__discovered,r_0055_0001__I,arg0).
arc(r_0055_0002__discovered,r_0055_0003__this_r_0055_0004__wine_r_0055_0005__website,arg1).
arc(r_0055_0007__has,r_0055_0003__this_r_0055_0004__wine_r_0055_0005__website,arg0).
arc(r_0055_0007__has,r_0055_0009__wines,arg1).
arc(r_0055_0009__wines,r_0055_0008__good,attrib).
arc(r_0055_0009__wines,r_0055_0011__a_r_0055_0014__price,r_0055_0010__for).
arc(r_0055_0011__a_r_0055_0014__price,r_0055_0013__good,attrib).
arc(r_0055_0013__good,r_0055_0012__very,qual).

fof(formula,axiom,
    ? [R_0055_0001__I,R_0055_0003__THIS_R_0055_0004__WINE_R_0055_0005__WEBSITE,R_0055_0002__DISCOVERED,R_0055_0008__GOOD,R_0055_0012__VERY,R_0055_0013__GOOD,R_0055_0011__A_R_0055_0014__PRICE,R_0055_0009__WINES,R_0055_0007__HAS] :
      ( r_0055_0001__I(R_0055_0001__I)
      & r_0055_0003__this_r_0055_0004__wine_r_0055_0005__website(R_0055_0003__THIS_R_0055_0004__WINE_R_0055_0005__WEBSITE)
      & r_0055_0008__good(R_0055_0008__GOOD)
      & r_0055_0012__very(R_0055_0012__VERY)
      & r_0055_0007__has(R_0055_0007__HAS)
      & has_arg1(R_0055_0007__HAS,R_0055_0009__WINES)
      & r_0055_0009__wines(R_0055_0009__WINES)
      & has_r_0055_0010__for(R_0055_0009__WINES,R_0055_0011__A_R_0055_0014__PRICE)
      & r_0055_0011__a_r_0055_0014__price(R_0055_0011__A_R_0055_0014__PRICE)
      & has_attrib(R_0055_0011__A_R_0055_0014__PRICE,R_0055_0013__GOOD)
      & r_0055_0013__good(R_0055_0013__GOOD)
      & has_qual(R_0055_0013__GOOD,R_0055_0012__VERY)
      & has_attrib(R_0055_0009__WINES,R_0055_0008__GOOD)
      & has_arg0(R_0055_0007__HAS,R_0055_0003__THIS_R_0055_0004__WINE_R_0055_0005__WEBSITE)
      & r_0055_0002__discovered(R_0055_0002__DISCOVERED)
      & has_arg1(R_0055_0002__DISCOVERED,R_0055_0003__THIS_R_0055_0004__WINE_R_0055_0005__WEBSITE)
      & has_arg0(R_0055_0002__DISCOVERED,R_0055_0001__I) ) ).