TSPC 52_a_hardy

52_a_hardy_1883
It was nearly the time of full moon, and on this account, though the sky was lined with a uniform sheet of dripping cloud, ordinary objects out of doors were readily visible.

arc(r_0052_0002__was, r_0052_0003__nearly, nim9).
arc(r_0052_0002__was, r_0052_0004__the_r_0052_0005__time, prd).
arc(r_0052_0004__the_r_0052_0005__time, r_0052_0008__moon, r_0052_0006__of).
arc(r_0052_0008__moon, r_0052_0007__full, attrib21).
arc(r_0052_0010__and, r_0052_0002__was, conj1).
arc(r_0052_0010__and, r_0052_0015__though, conj2).
arc(r_0052_0015__though, r_0052_0018__was, restriction).
arc(r_0052_0015__though, r_0052_0032__were, scope).
arc(r_0052_0018__was, r_0052_0019__lined, scope).
arc(r_0052_0019__lined, r_0052_0016__the_r_0052_0017__sky, arg1).
arc(r_0052_0019__lined, r_0052_0021__a_r_0052_0023__sheet, r_0052_0020__with_nim61).
arc(r_0052_0019__lined, z_000_52_a_hardy_1883_54, arg0).
arc(r_0052_0021__a_r_0052_0023__sheet, r_0052_0022__uniform, attrib64).
arc(r_0052_0021__a_r_0052_0023__sheet, r_0052_0026__cloud, r_0052_0024__of).
arc(r_0052_0025__dripping, r_0052_0026__cloud, arg0).
arc(r_0052_0029__objects, r_0052_0028__ordinary, attrib81).
arc(r_0052_0029__objects, r_0052_0031__doors, r_0052_0030__out_of).
arc(r_0052_0032__were, r_0052_0012__this_r_0052_0013__account, r_0052_0011__on_nim35).
arc(r_0052_0032__were, r_0052_0029__objects, arg0).
arc(r_0052_0032__were, r_0052_0034__visible, prd).
arc(r_0052_0034__visible, r_0052_0033__readily, qual95).

fof(formula,axiom,
    ? [R_52_10_AND,R_52_2_WAS,R_52_3_NEARLY,R_52_4_THE_TIME,R_52_8_MOON,R_52_7_FULL,R_52_15_THOUGH,R_52_18_WAS_LINED,Z_52_A_HARDY_1883_54,R_52_16_THE_SKY,R_52_21_A_SHEET,R_52_22_UNIFORM,R_52_32_WERE,R_52_29_OBJECTS,R_52_28_ORDINARY,R_52_31_DOORS,R_52_34_VISIBLE,R_52_33_READILY,R_52_12_THIS_ACCOUNT,R_52_25_DRIPPING,R_52_26_CLOUD] :
      ( nearly(R_52_3_NEARLY)
      & full(R_52_7_FULL)
      & the_sky(R_52_16_THE_SKY)
      & uniform(R_52_22_UNIFORM)
      & ordinary(R_52_28_ORDINARY)
      & doors(R_52_31_DOORS)
      & readily(R_52_33_READILY)
      & this_account(R_52_12_THIS_ACCOUNT)
      & cloud(R_52_26_CLOUD)
      & and(R_52_10_AND)
      & conj1(R_52_10_AND,R_52_2_WAS)
      & was(R_52_2_WAS)
      & nim9(R_52_2_WAS,R_52_3_NEARLY)
      & prd(R_52_2_WAS,R_52_4_THE_TIME)
      & the_time(R_52_4_THE_TIME)
      & of(R_52_4_THE_TIME,R_52_8_MOON)
      & moon(R_52_8_MOON)
      & attrib21(R_52_8_MOON,R_52_7_FULL)
      & conj2(R_52_10_AND,R_52_15_THOUGH)
      & though(R_52_15_THOUGH)
      & conj1(R_52_15_THOUGH,R_52_18_WAS_LINED)
      & was_lined(R_52_18_WAS_LINED,Z_52_A_HARDY_1883_54,R_52_16_THE_SKY)
      & with_nim61(R_52_18_WAS_LINED,R_52_21_A_SHEET)
      & a_sheet(R_52_21_A_SHEET)
      & attrib64(R_52_21_A_SHEET,R_52_22_UNIFORM)
      & of(R_52_21_A_SHEET,R_52_26_CLOUD)
      & conj2(R_52_15_THOUGH,R_52_32_WERE)
      & were(R_52_32_WERE,R_52_29_OBJECTS,R_52_34_VISIBLE)
      & objects(R_52_29_OBJECTS)
      & attrib81(R_52_29_OBJECTS,R_52_28_ORDINARY)
      & out_of(R_52_29_OBJECTS,R_52_31_DOORS)
      & visible(R_52_34_VISIBLE)
      & qual95(R_52_34_VISIBLE,R_52_33_READILY)
      & on_nim35(R_52_32_WERE,R_52_12_THIS_ACCOUNT)
      & dripping(R_52_25_DRIPPING,R_52_26_CLOUD) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO;_expletive_ It;{it}))
                      (BED;_Ln_ was;{be})
                      (ADVP-NIM (ADV nearly;{nearly}))
                      (NP-PRD (D the;{the})
                              (N time;{time})
                              (PP (P-ROLE of;{of})
                                  (NP (ADJP (ADJ full;{full}))
                                      (N moon;{moon})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-NIM (P-ROLE on;{on})
                                     (NP (D this;{this})
                                         (N account;{account})))
                             (PUNC ,)
                             (PP-SCON (P-CONN though;{though})
                                      (IP-ADV (NP-SBJ (D the;{the})
                                                      (N sky;{sky}))
                                              (BED;_cat_VePASS_ was;{be})
                                              (IP-PPL-CAT (NP-LGS *)
                                                          (VVN;_Tn.pr_ lined;{line})
                                                          (PP-NIM (P-ROLE with;{with})
                                                                  (NP (D a;{a})
                                                                      (ADJP (ADJ uniform;{uniform}))
                                                                      (N sheet;{sheet})
                                                                      (PP (P-ROLE of;{of})
                                                                          (NP (IP-PPL (VAG;__ dripping;{drip}))
                                                                              (N cloud;{cloud}))))))))
                             (PUNC ,)
                             (NP-SBJ (ADJP (ADJ ordinary;{ordinary}))
                                     (NS objects;{object})
                                     (PP (P-ROLE out_of;{out_of})
                                         (NP (NS doors;{door}))))
                             (BED;_La_ were;{be})
                             (ADJP-PRD (ADVP (ADV readily;{readily}))
                                       (ADJ visible;{visible})))))
          (PUNC .))
  (ID 52_a_hardy_1883))