TSPC 16_a_hardy

16_a_hardy_1883
The night of March 28, 182-, was precisely one of the nights that were wont to call forth these expressions of commiseration.

( (IP-MAT (NP-SBJ (D The;{the})
                  (N night;{night})
                  (PP (P-ROLE of;{of})
                      (NP (NPR March;{March})
                          (NUM 28)
                          (PUNC ,)
                          (NUM 182<hyphen>))))
          (PUNC ,)
          (BED;_Ln_ was;{be})
          (ADVP-NIM (ADV precisely;{precisely}))
          (NP-PRD (NUM one;{one})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (NS nights;{night})
                          (IP-REL (C that;{that})
                                  (NP-SBJ *T*)
                                  (BED;_La_ were;{be})
                                  (ADJP-PRD (ADJ;_cat_ wont;{wont})
                                            (IP-INF (TO to;{to})
                                                    (VB;_phr_Vn<=>p_ call;{call[forth]})
                                                    (RP forth;{forth})
                                                    (NP-OB1 (D these;{these})
                                                            (NS expressions;{expression})
                                                            (PP (P-ROLE of;{of})
                                                                (NP (N commiseration;{commiseration}))))))))))
          (PUNC .))
  (ID 16_a_hardy_1883))

arc(r_0016_0001__The_r_0016_0002__night,r_0016_0004__March_r_0016_0005__28_r_0016_0007__182_hyphen_,r_0016_0003__of).
arc(r_0016_0009__was,r_0016_0001__The_r_0016_0002__night,arg0).
arc(r_0016_0009__was,r_0016_0010__precisely,nim).
arc(r_0016_0009__was,r_0016_0011__one,prd).
arc(r_0016_0011__one,r_0016_0013__the_r_0016_0014__nights,r_0016_0012__of).
arc(r_0016_0016__were,r_0016_0017__wont,scope).
arc(r_0016_0017__wont,r_0016_0019__call_r_0016_0020__forth,scope).
arc(r_0016_0019__call_r_0016_0020__forth,r_0016_0013__the_r_0016_0014__nights,arg0).
arc(r_0016_0019__call_r_0016_0020__forth,r_0016_0021__these_r_0016_0022__expressions,arg1).
arc(r_0016_0021__these_r_0016_0022__expressions,r_0016_0024__commiseration,r_0016_0023__of).

fof(formula,axiom,
    ? [R_0016_0004__MARCH_R_0016_0005__28_R_0016_0007__182_HYPHEN_,R_0016_0001__THE_R_0016_0002__NIGHT,R_0016_0010__PRECISELY,R_0016_0013__THE_R_0016_0014__NIGHTS,R_0016_0011__ONE,R_0016_0009__WAS,R_0016_0024__COMMISERATION,R_0016_0021__THESE_R_0016_0022__EXPRESSIONS,R_0016_0016__WERE_R_0016_0017__WONT_R_0016_0019__CALL_R_0016_0020__FORTH] :
      ( r_0016_0004__March_r_0016_0005__28_r_0016_0007__182_hyphen_(R_0016_0004__MARCH_R_0016_0005__28_R_0016_0007__182_HYPHEN_)
      & r_0016_0010__precisely(R_0016_0010__PRECISELY)
      & r_0016_0013__the_r_0016_0014__nights(R_0016_0013__THE_R_0016_0014__NIGHTS)
      & r_0016_0024__commiseration(R_0016_0024__COMMISERATION)
      & r_0016_0016__were_r_0016_0017__wont_r_0016_0019__call_r_0016_0020__forth(R_0016_0016__WERE_R_0016_0017__WONT_R_0016_0019__CALL_R_0016_0020__FORTH)
      & has_arg1(R_0016_0016__WERE_R_0016_0017__WONT_R_0016_0019__CALL_R_0016_0020__FORTH,R_0016_0021__THESE_R_0016_0022__EXPRESSIONS)
      & r_0016_0021__these_r_0016_0022__expressions(R_0016_0021__THESE_R_0016_0022__EXPRESSIONS)
      & has_r_0016_0023__of(R_0016_0021__THESE_R_0016_0022__EXPRESSIONS,R_0016_0024__COMMISERATION)
      & has_arg0(R_0016_0016__WERE_R_0016_0017__WONT_R_0016_0019__CALL_R_0016_0020__FORTH,R_0016_0013__THE_R_0016_0014__NIGHTS)
      & r_0016_0009__was(R_0016_0009__WAS)
      & has_prd(R_0016_0009__WAS,R_0016_0011__ONE)
      & r_0016_0011__one(R_0016_0011__ONE)
      & has_r_0016_0012__of(R_0016_0011__ONE,R_0016_0013__THE_R_0016_0014__NIGHTS)
      & has_nim(R_0016_0009__WAS,R_0016_0010__PRECISELY)
      & has_arg0(R_0016_0009__WAS,R_0016_0001__THE_R_0016_0002__NIGHT)
      & r_0016_0001__The_r_0016_0002__night(R_0016_0001__THE_R_0016_0002__NIGHT)
      & has_r_0016_0003__of(R_0016_0001__THE_R_0016_0002__NIGHT,R_0016_0004__MARCH_R_0016_0005__28_R_0016_0007__182_HYPHEN_) ) ).