arc(r_0128_0002__full, r_0128_0004__fear, r_0128_0003__o_apos_).
arc(r_0128_0004__fear, z_000_128_a_lob_n02_15, emb15).
arc(r_0128_0006__comin_apos_, r_0128_0005__you, arg0).
arc(r_0128_0006__comin_apos_, r_0128_0008__harm, clr22).
arc(r_0128_0008__harm, r_0128_0007__bad, attrib23).
arc(z_000_128_a_lob_n02_1, r_0128_0001__He, arg0).
arc(z_000_128_a_lob_n02_1, r_0128_0002__full, prd).
arc(z_000_128_a_lob_n02_1, r_0128_0010__Mis_r_0128_0011__Beryl, nim30).
arc(z_000_128_a_lob_n02_15, r_0128_0006__comin_apos_, scope).

fof(formula,axiom,
    ? [R_0128_0001__HE,R_0128_0005__YOU,R_0128_0007__BAD,R_0128_0008__HARM,Z_000_128_A_LOB_N02_15_R_0128_0006__COMIN_APOS_,R_0128_0004__FEAR,R_0128_0002__FULL,R_0128_0010__MIS_R_0128_0011__BERYL,Z_000_128_A_LOB_N02_1] :
      ( r_0128_0001__He(R_0128_0001__HE)
      & r_0128_0005__you(R_0128_0005__YOU)
      & r_0128_0007__bad(R_0128_0007__BAD)
      & r_0128_0010__Mis_r_0128_0011__Beryl(R_0128_0010__MIS_R_0128_0011__BERYL)
      & z_000_128_a_lob_n02_1(Z_000_128_A_LOB_N02_1)
      & has_nim30(Z_000_128_A_LOB_N02_1,R_0128_0010__MIS_R_0128_0011__BERYL)
      & has_prd(Z_000_128_A_LOB_N02_1,R_0128_0002__FULL)
      & r_0128_0002__full(R_0128_0002__FULL)
      & has_r_0128_0003__o_apos_(R_0128_0002__FULL,R_0128_0004__FEAR)
      & r_0128_0004__fear(R_0128_0004__FEAR)
      & has_emb15(R_0128_0004__FEAR,Z_000_128_A_LOB_N02_15_R_0128_0006__COMIN_APOS_)
      & z_000_128_a_lob_n02_15_r_0128_0006__comin_apos_(Z_000_128_A_LOB_N02_15_R_0128_0006__COMIN_APOS_)
      & has_clr22(Z_000_128_A_LOB_N02_15_R_0128_0006__COMIN_APOS_,R_0128_0008__HARM)
      & r_0128_0008__harm(R_0128_0008__HARM)
      & has_attrib23(R_0128_0008__HARM,R_0128_0007__BAD)
      & has_arg0(Z_000_128_A_LOB_N02_15_R_0128_0006__COMIN_APOS_,R_0128_0005__YOU)
      & has_arg0(Z_000_128_A_LOB_N02_1,R_0128_0001__HE) ) ).

( (IP-MAT (NP-SBJ;{PIERS} (PRO He;{he}))
          (ADJP-PRD (ADJ full;{full})
                    (PP (P-ROLE o<apos>;{of})
                        (NP;{FEAR} (N fear;{fear})
                                   (CP-THT (IP-SUB (NP-SBJ (PRO you;{you}))
                                                   (IP-PPL-CAT (VAG;_Ipr_ comin<apos>;{come[to]})
                                                               (NP-CLR (ADJP (ADJ bad;{bad}))
                                                                       (N harm;{harm}))))))))
          (PUNC ,)
          (NP-VOC;{BERYL} (N Mis;{miss})
                          (NPR Beryl;{Beryl}))
          (PUNC .))
  (ID 128_a_lob_n02))