TSPC 18_a_hardy

18_a_hardy_1883
Such sheep and outdoor animals as had no shelter stood with their buttocks to the winds; while the tails of little birds trying to roost on some scraggy thorn were blown inside-out like umbrellas.

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_0018_0001__SUCH,R_0018_0002__SHEEP,R_0018_0004__OUTDOOR,R_0018_0005__ANIMALS,R_0018_0003__AND,R_0018_0015__THE_R_0018_0016__WINDS,R_0018_0013__BUTTOCKS,R_0018_0010__STOOD,R_0018_0022__LITTLE,R_0018_0023__BIRDS,R_0018_0019__THE_R_0018_0020__TAILS,R_0018_0033__INSIDE__HYPHEN__OUT,R_0018_0035__UMBRELLAS,Z_000_18_A_HARDY_1883_91,R_0018_0031__WERE_R_0018_0032__BLOWN,R_0018_0018__WHILE,R_0018_0029__SCRAGGY,R_0018_0028__SOME_R_0018_0030__THORN,R_0018_0025__TO_R_0018_0026__ROOST,R_0018_0024__TRYING] :
      ( r_0018_0001__Such(R_0018_0001__SUCH)
      & r_0018_0002__sheep(R_0018_0002__SHEEP)
      & r_0018_0004__outdoor(R_0018_0004__OUTDOOR)
      & r_0018_0015__the_r_0018_0016__winds(R_0018_0015__THE_R_0018_0016__WINDS)
      & r_0018_0022__little(R_0018_0022__LITTLE)
      & r_0018_0029__scraggy(R_0018_0029__SCRAGGY)
      & r_0018_0033__inside__hyphen__out(R_0018_0033__INSIDE__HYPHEN__OUT)
      & r_0018_0035__umbrellas(R_0018_0035__UMBRELLAS)
      & z_000_18_a_hardy_1883_91(Z_000_18_A_HARDY_1883_91)
      & r_0018_0024__trying(R_0018_0024__TRYING)
      & has_arg1(R_0018_0024__TRYING,R_0018_0025__TO_R_0018_0026__ROOST)
      & r_0018_0025__to_r_0018_0026__roost(R_0018_0025__TO_R_0018_0026__ROOST)
      & has_r_0018_0027__on_clr80(R_0018_0025__TO_R_0018_0026__ROOST,R_0018_0028__SOME_R_0018_0030__THORN)
      & r_0018_0028__some_r_0018_0030__thorn(R_0018_0028__SOME_R_0018_0030__THORN)
      & has_attrib83(R_0018_0028__SOME_R_0018_0030__THORN,R_0018_0029__SCRAGGY)
      & has_arg0(R_0018_0025__TO_R_0018_0026__ROOST,R_0018_0023__BIRDS)
      & r_0018_0023__birds(R_0018_0023__BIRDS)
      & has_attrib64(R_0018_0023__BIRDS,R_0018_0022__LITTLE)
      & has_arg0(R_0018_0024__TRYING,R_0018_0023__BIRDS)
      & r_0018_0018__while(R_0018_0018__WHILE)
      & has_conj1(R_0018_0018__WHILE,R_0018_0031__WERE_R_0018_0032__BLOWN)
      & r_0018_0031__were_r_0018_0032__blown(R_0018_0031__WERE_R_0018_0032__BLOWN)
      & has_arg0(R_0018_0031__WERE_R_0018_0032__BLOWN,Z_000_18_A_HARDY_1883_91)
      & has_r_0018_0034__like_nim101(R_0018_0031__WERE_R_0018_0032__BLOWN,R_0018_0035__UMBRELLAS)
      & has_nim95(R_0018_0031__WERE_R_0018_0032__BLOWN,R_0018_0033__INSIDE__HYPHEN__OUT)
      & has_arg1(R_0018_0031__WERE_R_0018_0032__BLOWN,R_0018_0019__THE_R_0018_0020__TAILS)
      & r_0018_0019__the_r_0018_0020__tails(R_0018_0019__THE_R_0018_0020__TAILS)
      & has_r_0018_0021__of(R_0018_0019__THE_R_0018_0020__TAILS,R_0018_0023__BIRDS)
      & has_conj2(R_0018_0018__WHILE,R_0018_0010__STOOD)
      & r_0018_0010__stood(R_0018_0010__STOOD)
      & has_r_0018_0011__with_nim35(R_0018_0010__STOOD,R_0018_0013__BUTTOCKS)
      & r_0018_0013__buttocks(R_0018_0013__BUTTOCKS)
      & has_r_0018_0014__to(R_0018_0013__BUTTOCKS,R_0018_0015__THE_R_0018_0016__WINDS)
      & has_gen(R_0018_0013__BUTTOCKS,R_0018_0003__AND)
      & r_0018_0003__and(R_0018_0003__AND)
      & has_conj2(R_0018_0003__AND,R_0018_0005__ANIMALS)
      & r_0018_0005__animals(R_0018_0005__ANIMALS)
      & has_attrib14(R_0018_0005__ANIMALS,R_0018_0004__OUTDOOR)
      & has_conj1(R_0018_0003__AND,R_0018_0002__SHEEP)
      & has_attrib3(R_0018_0003__AND,R_0018_0001__SUCH)
      & has_arg0(R_0018_0010__STOOD,R_0018_0003__AND)
      & ! [R_0018_0009__SHELTER] :
          ( r_0018_0009__shelter(R_0018_0009__SHELTER)
         => ? [R_0018_0007__HAD] :
              ( r_0018_0007__had(R_0018_0007__HAD)
              & has_arg1(R_0018_0007__HAD,R_0018_0009__SHELTER)
              & has_arg0(R_0018_0007__HAD,R_0018_0003__AND) ) ) ) ).

( (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))