TSPC 75_a_hardy

75_a_hardy_1883
The absence of all notes of life in that direction seemed to clinch his intentions, and he knocked at the door.

( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (N absence;{absence})
                              (PP (P-ROLE of;{of})
                                  (NP (Q all;{all})
                                      (NS notes;{note})
                                      (PP (P-ROLE of;{of})
                                          (NP (N life;{life})))))
                              (PP (P-ROLE in;{in})
                                  (NP (D that;{that})
                                      (N direction;{direction}))))
                      (VBD;_cat_Vt_ seemed;{seem})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;__ clinch;{clinch})
                                  (NP-OB1 (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
                                          (NS intentions;{intention}))))
                (PUNC ,)
                (CONJP (ILYR (CONJ;_cl_ and;{and})
                             (NP-SBJ;{PEDESTRIAN} (PRO he;{he}))
                             (VBD;__ knocked;{knock})
                             (PP-CLR (P-ROLE at;{at})
                                     (NP (D the;{the})
                                         (N door;{door}))))))
          (PUNC .))
  (ID 75_a_hardy_1883))

arc(r_0075_0001__The_r_0075_0002__absence,r_0075_0005__notes,r_0075_0003__of).
arc(r_0075_0001__The_r_0075_0002__absence,r_0075_0009__that_r_0075_0010__direction,r_0075_0008__in).
arc(r_0075_0004__all__quant,r_0075_0001__The_r_0075_0002__absence,scope).
arc(r_0075_0004__all__quant,r_0075_0005__notes,restriction).
arc(r_0075_0005__notes,r_0075_0007__life,r_0075_0006__of).
arc(r_0075_0011__seemed,r_0075_0013__clinch,scope).
arc(r_0075_0013__clinch,r_0075_0001__The_r_0075_0002__absence,arg0).
arc(r_0075_0013__clinch,r_0075_0015__intentions,arg1).
arc(r_0075_0015__intentions,r_0075_0014__his,gen).
arc(r_0075_0019__knocked,r_0075_0014__his,arg0).
arc(r_0075_0019__knocked,r_0075_0021__the_r_0075_0022__door,r_0075_0020__at__clr).
arc(z_0075_5001,r_0075_0011__seemed,conj1).
arc(z_0075_5001,r_0075_0019__knocked,conj2).

fof(formula,axiom,
    ? [R_0075_0007__LIFE,R_0075_0005__NOTES,R_0075_0009__THAT_R_0075_0010__DIRECTION,R_0075_0001__THE_R_0075_0002__ABSENCE,R_0075_0014__HIS,R_0075_0015__INTENTIONS,R_0075_0011__SEEMED_R_0075_0013__CLINCH,R_0075_0021__THE_R_0075_0022__DOOR,R_0075_0019__KNOCKED,Z_0075_5001] :
      ( r_0075_0007__life(R_0075_0007__LIFE)
      & r_0075_0009__that_r_0075_0010__direction(R_0075_0009__THAT_R_0075_0010__DIRECTION)
      & r_0075_0014__his(R_0075_0014__HIS)
      & r_0075_0021__the_r_0075_0022__door(R_0075_0021__THE_R_0075_0022__DOOR)
      & z_0075_5001(Z_0075_5001)
      & has_conj2(Z_0075_5001,R_0075_0019__KNOCKED)
      & r_0075_0019__knocked(R_0075_0019__KNOCKED)
      & has_r_0075_0020__at__clr(R_0075_0019__KNOCKED,R_0075_0021__THE_R_0075_0022__DOOR)
      & has_arg0(R_0075_0019__KNOCKED,R_0075_0014__HIS)
      & has_conj1(Z_0075_5001,R_0075_0011__SEEMED_R_0075_0013__CLINCH)
      & r_0075_0011__seemed_r_0075_0013__clinch(R_0075_0011__SEEMED_R_0075_0013__CLINCH)
      & has_arg1(R_0075_0011__SEEMED_R_0075_0013__CLINCH,R_0075_0015__INTENTIONS)
      & r_0075_0015__intentions(R_0075_0015__INTENTIONS)
      & has_gen(R_0075_0015__INTENTIONS,R_0075_0014__HIS)
      & has_arg0(R_0075_0011__SEEMED_R_0075_0013__CLINCH,R_0075_0001__THE_R_0075_0002__ABSENCE)
      & r_0075_0001__The_r_0075_0002__absence(R_0075_0001__THE_R_0075_0002__ABSENCE)
      & has_r_0075_0008__in(R_0075_0001__THE_R_0075_0002__ABSENCE,R_0075_0009__THAT_R_0075_0010__DIRECTION)
      & has_r_0075_0003__of(R_0075_0001__THE_R_0075_0002__ABSENCE,R_0075_0005__NOTES)
      & ~ has_r_0075_0006__of(R_0075_0005__NOTES,R_0075_0007__LIFE)
      & ( r_0075_0005__notes(R_0075_0005__NOTES)
       => r_0075_0011__seemed_r_0075_0013__clinch(R_0075_0011__SEEMED_R_0075_0013__CLINCH) ) ) ).