TSPC 19_a_lob

19_a_lob_n02
That beneath his unnaturally smooth exterior Piers was simmering with anger against her she had no doubt.

( (IP-MAT (CP-THT-TPC-154 (IP-SUB (C That;{that})
                                  (PP-NIM (P-ROLE beneath;{beneath})
                                          (NP (NP-GEN;{PIERS} (PRO;_genm_ his;{his}))
                                              (ADJP (ADVP (ADV unnaturally;{unnaturally}))
                                                    (ADJ smooth;{smooth}))
                                              (N exterior;{exterior})))
                                  (NP-SBJ;{PIERS} (NPR Piers;{Piers}))
                                  (BED;_cat_Vg_ was;{be})
                                  (IP-PPL-CAT (VAG;_I_ simmering;{simmer})
                                              (PP-NIM (P-ROLE with;{with})
                                                      (NP (N anger;{anger})
                                                          (PP (P-ROLE against;{against})
                                                              (NP;{BERYL} (PRO her;{her}))))))))
          (NP-SBJ;{BERYL} (PRO she;{she}))
          (HVD;_Tn_ had;{have})
          (NP-OB1 (Q no;{no})
                  (N doubt;{doubt})
                  (CP-THT *ICH*-154))
          (PUNC .))
  (ID 19_a_lob_n02))

arc(r_0019_0005__smooth,r_0019_0004__unnaturally,qual).
arc(r_0019_0006__exterior,r_0019_0003__his,gen).
arc(r_0019_0006__exterior,r_0019_0005__smooth,attrib).
arc(r_0019_0008__was,r_0019_0006__exterior,r_0019_0002__beneath__nim).
arc(r_0019_0008__was,r_0019_0009__simmering,scope).
arc(r_0019_0009__simmering,r_0019_0007__Piers,arg0).
arc(r_0019_0009__simmering,r_0019_0011__anger,r_0019_0010__with__nim).
arc(r_0019_0011__anger,r_0019_0013__her,r_0019_0012__against).
arc(r_0019_0015__had,r_0019_0013__her,arg0).
arc(r_0019_0015__had,r_0019_0017__doubt,arg1).
arc(r_0019_0016__no__quant,r_0019_0015__had,scope).
arc(r_0019_0016__no__quant,r_0019_0017__doubt,restriction).
arc(r_0019_0017__doubt,r_0019_0008__was,emb).

fof(formula,axiom,
    ! [R_0019_0017__DOUBT,R_0019_0003__HIS,R_0019_0004__UNNATURALLY,R_0019_0005__SMOOTH,R_0019_0006__EXTERIOR,R_0019_0007__PIERS,R_0019_0013__HER,R_0019_0011__ANGER,R_0019_0008__WAS_R_0019_0009__SIMMERING] :
      ( ( r_0019_0003__his(R_0019_0003__HIS)
        & r_0019_0004__unnaturally(R_0019_0004__UNNATURALLY)
        & r_0019_0007__Piers(R_0019_0007__PIERS)
        & r_0019_0013__her(R_0019_0013__HER)
        & r_0019_0017__doubt(R_0019_0017__DOUBT)
        & has_emb(R_0019_0017__DOUBT,R_0019_0008__WAS_R_0019_0009__SIMMERING)
        & r_0019_0008__was_r_0019_0009__simmering(R_0019_0008__WAS_R_0019_0009__SIMMERING)
        & has_r_0019_0010__with__nim(R_0019_0008__WAS_R_0019_0009__SIMMERING,R_0019_0011__ANGER)
        & r_0019_0011__anger(R_0019_0011__ANGER)
        & has_r_0019_0012__against(R_0019_0011__ANGER,R_0019_0013__HER)
        & has_arg0(R_0019_0008__WAS_R_0019_0009__SIMMERING,R_0019_0007__PIERS)
        & has_r_0019_0002__beneath__nim(R_0019_0008__WAS_R_0019_0009__SIMMERING,R_0019_0006__EXTERIOR)
        & r_0019_0006__exterior(R_0019_0006__EXTERIOR)
        & has_attrib(R_0019_0006__EXTERIOR,R_0019_0005__SMOOTH)
        & r_0019_0005__smooth(R_0019_0005__SMOOTH)
        & has_qual(R_0019_0005__SMOOTH,R_0019_0004__UNNATURALLY)
        & has_gen(R_0019_0006__EXTERIOR,R_0019_0003__HIS) )
     => ? [R_0019_0015__HAD] :
          ( r_0019_0015__had(R_0019_0015__HAD)
          & has_arg1(R_0019_0015__HAD,R_0019_0017__DOUBT)
          & has_arg0(R_0019_0015__HAD,R_0019_0013__HER) ) ) ).