arc(r_0088_0001__the_r_0088_0005__roses, r_0088_0002__impenetrable, attrib5).
arc(r_0088_0001__the_r_0088_0005__roses, r_0088_0004__neglected, attrib10).
arc(r_0088_0008__bloom, r_0088_0007__full, attrib19).
arc(r_0088_0010__the_r_0088_0011__ruins, r_0088_0013__Worthington_r_0088_0014__Grange, r_0088_0012__of).
arc(r_0088_0016__before, r_0088_0018__was, restriction).
arc(r_0088_0016__before, z_000_88_a_alresford_1, scope).
arc(r_0088_0018__was, r_0088_0021__and, scope).
arc(r_0088_0019__tidied, r_0088_0017__it, arg1).
arc(r_0088_0019__tidied, r_0088_0020__up, clr58).
arc(r_0088_0019__tidied, z_000_88_a_alresford_54, arg0).
arc(r_0088_0021__and, r_0088_0019__tidied, conj1).
arc(r_0088_0021__and, r_0088_0022__made, conj2).
arc(r_0088_0022__made, r_0088_0017__it, arg1).
arc(r_0088_0022__made, r_0088_0023__safe, prd).
arc(r_0088_0022__made, z_000_88_a_alresford_65, arg0).
arc(z_000_88_a_alresford_1, r_0088_0001__the_r_0088_0005__roses, arg0).
arc(z_000_88_a_alresford_1, r_0088_0008__bloom, r_0088_0006__in_nim18).
arc(z_000_88_a_alresford_1, r_0088_0010__the_r_0088_0011__ruins, r_0088_0009__around_clr27).

fof(formula,axiom,
    ? [R_0088_0017__IT,R_0088_0020__UP,Z_000_88_A_ALRESFORD_54,R_0088_0019__TIDIED,R_0088_0023__SAFE,Z_000_88_A_ALRESFORD_65,R_0088_0022__MADE,R_0088_0021__AND,R_0088_0018__WAS,R_0088_0002__IMPENETRABLE,R_0088_0004__NEGLECTED,R_0088_0001__THE_R_0088_0005__ROSES,R_0088_0007__FULL,R_0088_0008__BLOOM,R_0088_0013__WORTHINGTON_R_0088_0014__GRANGE,R_0088_0010__THE_R_0088_0011__RUINS,Z_000_88_A_ALRESFORD_1,R_0088_0016__BEFORE] :
      ( r_0088_0002__impenetrable(R_0088_0002__IMPENETRABLE)
      & r_0088_0004__neglected(R_0088_0004__NEGLECTED)
      & r_0088_0007__full(R_0088_0007__FULL)
      & r_0088_0013__Worthington_r_0088_0014__Grange(R_0088_0013__WORTHINGTON_R_0088_0014__GRANGE)
      & r_0088_0017__it(R_0088_0017__IT)
      & r_0088_0020__up(R_0088_0020__UP)
      & r_0088_0023__safe(R_0088_0023__SAFE)
      & z_000_88_a_alresford_54(Z_000_88_A_ALRESFORD_54)
      & z_000_88_a_alresford_65(Z_000_88_A_ALRESFORD_65)
      & r_0088_0016__before(R_0088_0016__BEFORE)
      & has_conj2(R_0088_0016__BEFORE,Z_000_88_A_ALRESFORD_1)
      & z_000_88_a_alresford_1(Z_000_88_A_ALRESFORD_1)
      & has_r_0088_0009__around_clr27(Z_000_88_A_ALRESFORD_1,R_0088_0010__THE_R_0088_0011__RUINS)
      & r_0088_0010__the_r_0088_0011__ruins(R_0088_0010__THE_R_0088_0011__RUINS)
      & has_r_0088_0012__of(R_0088_0010__THE_R_0088_0011__RUINS,R_0088_0013__WORTHINGTON_R_0088_0014__GRANGE)
      & has_r_0088_0006__in_nim18(Z_000_88_A_ALRESFORD_1,R_0088_0008__BLOOM)
      & r_0088_0008__bloom(R_0088_0008__BLOOM)
      & has_attrib19(R_0088_0008__BLOOM,R_0088_0007__FULL)
      & has_arg0(Z_000_88_A_ALRESFORD_1,R_0088_0001__THE_R_0088_0005__ROSES)
      & r_0088_0001__the_r_0088_0005__roses(R_0088_0001__THE_R_0088_0005__ROSES)
      & has_attrib10(R_0088_0001__THE_R_0088_0005__ROSES,R_0088_0004__NEGLECTED)
      & has_attrib5(R_0088_0001__THE_R_0088_0005__ROSES,R_0088_0002__IMPENETRABLE)
      & has_conj1(R_0088_0016__BEFORE,R_0088_0018__WAS)
      & r_0088_0018__was(R_0088_0018__WAS)
      & has_keep_scope(R_0088_0018__WAS,R_0088_0021__AND)
      & r_0088_0021__and(R_0088_0021__AND)
      & has_conj2(R_0088_0021__AND,R_0088_0022__MADE)
      & r_0088_0022__made(R_0088_0022__MADE)
      & has_arg0(R_0088_0022__MADE,Z_000_88_A_ALRESFORD_65)
      & has_prd(R_0088_0022__MADE,R_0088_0023__SAFE)
      & has_arg1(R_0088_0022__MADE,R_0088_0017__IT)
      & has_conj1(R_0088_0021__AND,R_0088_0019__TIDIED)
      & r_0088_0019__tidied(R_0088_0019__TIDIED)
      & has_arg0(R_0088_0019__TIDIED,Z_000_88_A_ALRESFORD_54)
      & has_clr58(R_0088_0019__TIDIED,R_0088_0020__UP)
      & has_arg1(R_0088_0019__TIDIED,R_0088_0017__IT) ) ).

( (FRAG (NP-SBJ (D the;{the})
                (ADJP (ADJ impenetrable;{impenetrable}))
                (PUNC ,)
                (ADJP (ADJ neglected;{neglected}))
                (NS roses;{rose}))
        (PP-NIM (P-ROLE in;{in})
                (NP (ADJP (ADJ full;{full}))
                    (N bloom;{bloom})))
        (PP-CLR (P-ROLE around;{around})
                (NP (D the;{the})
                    (NS ruins;{ruin})
                    (PP (P-ROLE of;{of})
                        (NP;{WGRANGE} (NPR Worthington;{Worthington})
                                      (NPR Grange;{Grange})))))
        (PUNC ,)
        (PP-SCON (P-CONN before;{before})
                 (IP-ADV (NP-SBJ;{WGRANGE} (PRO it;{it}))
                         (BED;_cat_VePASS_ was;{be})
                         (IP-PPL-CAT (ILYR (ILYR (NP-LGS *)
                                                 (VVN;_Tn.p_ tidied;{tidy[up]})
                                                 (ADVP-CLR (RP up;{up})))
                                           (CONJP (CONJ and;{and})
                                                  (ILYR (NP-LGS *)
                                                        (VVN;_Cn.a_ made;{make})
                                                        (ADJP-PRD (ADJ safe;{safe}))))))))
        (PUNC ;))
  (ID 88_a_alresford))