arc(r_0018_0003__and, r_0018_0001__Such, attrib3).
arc(r_0018_0003__and, r_0018_0002__sheep, conj1).
arc(r_0018_0003__and, r_0018_0005__animals, conj2).
arc(r_0018_0005__animals, r_0018_0004__outdoor, attrib14).
arc(r_0018_0007__had, r_0018_0003__and, arg0).
arc(r_0018_0007__had, r_0018_0009__shelter, arg1).
arc(r_0018_0008__no_quant, r_0018_0007__had, scope).
arc(r_0018_0008__no_quant, r_0018_0009__shelter, restriction).
arc(r_0018_0010__stood, r_0018_0003__and, arg0).
arc(r_0018_0010__stood, r_0018_0013__buttocks, r_0018_0011__with_nim35).
arc(r_0018_0013__buttocks, r_0018_0003__and, gen).
arc(r_0018_0013__buttocks, r_0018_0015__the_r_0018_0016__winds, r_0018_0014__to).
arc(r_0018_0018__while, r_0018_0010__stood, scope).
arc(r_0018_0018__while, r_0018_0031__were, restriction).
arc(r_0018_0019__the_r_0018_0020__tails, r_0018_0023__birds, r_0018_0021__of).
arc(r_0018_0023__birds, r_0018_0022__little, attrib64).
arc(r_0018_0024__trying, r_0018_0023__birds, arg0).
arc(r_0018_0024__trying, r_0018_0025__to_r_0018_0026__roost, arg1).
arc(r_0018_0025__to_r_0018_0026__roost, r_0018_0023__birds, arg0).
arc(r_0018_0025__to_r_0018_0026__roost, r_0018_0028__some_r_0018_0030__thorn, r_0018_0027__on_clr80).
arc(r_0018_0028__some_r_0018_0030__thorn, r_0018_0029__scraggy, attrib83).
arc(r_0018_0031__were, r_0018_0032__blown, scope).
arc(r_0018_0032__blown, r_0018_0019__the_r_0018_0020__tails, arg1).
arc(r_0018_0032__blown, r_0018_0033__inside__hyphen__out, nim95).
arc(r_0018_0032__blown, r_0018_0035__umbrellas, r_0018_0034__like_nim101).
arc(r_0018_0032__blown, z_000_18_a_hardy_1883_91, arg0).

fof(formula,axiom,
    ? [R_18_18_WHILE,R_18_31_WERE_BLOWN,Z_18_A_HARDY_1883_91,R_18_19_THE_TAILS,R_18_33_INSIDE_HYPHEN_OUT,R_18_35_UMBRELLAS,R_18_10_STOOD,R_18_13_BUTTOCKS,R_18_3_AND,R_18_1_SUCH,R_18_2_SHEEP,R_18_5_ANIMALS,R_18_4_OUTDOOR,R_18_15_THE_WINDS,R_18_24_TRYING,R_18_25_TO_ROOST,R_18_23_BIRDS,R_18_22_LITTLE,R_18_28_SOME_THORN,R_18_29_SCRAGGY] :
      ( inside_hyphen_out(R_18_33_INSIDE_HYPHEN_OUT)
      & umbrellas(R_18_35_UMBRELLAS)
      & such(R_18_1_SUCH)
      & sheep(R_18_2_SHEEP)
      & outdoor(R_18_4_OUTDOOR)
      & the_winds(R_18_15_THE_WINDS)
      & little(R_18_22_LITTLE)
      & scraggy(R_18_29_SCRAGGY)
      & ! [R_18_9_SHELTER] :
          ( shelter(R_18_9_SHELTER)
         => ? [R_18_7_HAD] : had(R_18_7_HAD,R_18_3_AND,R_18_9_SHELTER) )
      & while(R_18_18_WHILE)
      & conj1(R_18_18_WHILE,R_18_31_WERE_BLOWN)
      & were_blown(R_18_31_WERE_BLOWN,Z_18_A_HARDY_1883_91,R_18_19_THE_TAILS)
      & the_tails(R_18_19_THE_TAILS)
      & of(R_18_19_THE_TAILS,R_18_23_BIRDS)
      & birds(R_18_23_BIRDS)
      & attrib64(R_18_23_BIRDS,R_18_22_LITTLE)
      & nim95(R_18_31_WERE_BLOWN,R_18_33_INSIDE_HYPHEN_OUT)
      & like_nim101(R_18_31_WERE_BLOWN,R_18_35_UMBRELLAS)
      & conj2(R_18_18_WHILE,R_18_10_STOOD)
      & stood(R_18_10_STOOD,R_18_3_AND)
      & and(R_18_3_AND)
      & attrib3(R_18_3_AND,R_18_1_SUCH)
      & conj1(R_18_3_AND,R_18_2_SHEEP)
      & conj2(R_18_3_AND,R_18_5_ANIMALS)
      & animals(R_18_5_ANIMALS)
      & attrib14(R_18_5_ANIMALS,R_18_4_OUTDOOR)
      & with_nim35(R_18_10_STOOD,R_18_13_BUTTOCKS)
      & buttocks(R_18_13_BUTTOCKS)
      & gen(R_18_13_BUTTOCKS,R_18_3_AND)
      & to(R_18_13_BUTTOCKS,R_18_15_THE_WINDS)
      & trying(R_18_24_TRYING,R_18_23_BIRDS,R_18_25_TO_ROOST)
      & to_roost(R_18_25_TO_ROOST,R_18_23_BIRDS)
      & on_clr80(R_18_25_TO_ROOST,R_18_28_SOME_THORN)
      & some_thorn(R_18_28_SOME_THORN)
      & attrib83(R_18_28_SOME_THORN,R_18_29_SCRAGGY) ) ).

( (IP-MAT (NP-SBJ;{SHEEP_ANIMALS} (ADJP (ADJ;_such_ Such;{such}))
                                  (NLYR (NLYR (NS sheep;{sheep}))
                                        (CONJP (CONJ and;{and})
                                               (NLYR (ADJP (ADJ outdoor;{outdoor}))
                                                     (NS animals;{animal}))))
                                  (IP-REL (NP-SBJ (RPRO as;{as}))
                                          (HVD;_Tn_ had;{have})
                                          (NP-OB1 (Q no;{no})
                                                  (N shelter;{shelter}))))
          (VBD;_I_ stood;{stand})
          (PP-NIM (P-ROLE with;{with})
                  (NP (NP-GEN;{SHEEP_ANIMALS} (PRO;_genm_ their;{their}))
                      (NS buttocks;{buttock})
                      (PP (P-ROLE to;{to})
                          (NP (D the;{the})
                              (NS winds;{wind})))))
          (PUNC ;)
          (PP-SCON (P-CONN while;{while})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (NS tails;{tail})
                                   (PP (P-ROLE of;{of})
                                       (NP (ADJP (ADJ little;{little}))
                                           (NS birds;{bird})
                                           (IP-PPL (VAG;_Tt_ trying;{try})
                                                   (IP-INF-OB1 (TO to;{to})
                                                               (VB;_Ipr_ roost;{roost[on]})
                                                               (PP-CLR (P-ROLE on;{on})
                                                                       (NP (D some;{some})
                                                                           (ADJP (ADJ scraggy;{scraggy}))
                                                                           (N thorn;{thorn}))))))))
                           (BED;_cat_VePASS_ were;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn_ blown;{blow})
                                       (ADVP-NIM (ADV inside_<hyphen>_out;{inside_out}))
                                       (PP-NIM (P-ROLE like;{like})
                                               (NP (NS umbrellas;{umbrella}))))))
          (PUNC .))
  (ID 18_a_hardy_1883))