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.

arc(r_0019_0001__That_r_0019_0008__was, r_0019_0006__exterior, r_0019_0002__beneath_nim9).
arc(r_0019_0001__That_r_0019_0008__was, r_0019_0009__simmering, scope).
arc(r_0019_0005__smooth, r_0019_0004__unnaturally, qual14).
arc(r_0019_0006__exterior, r_0019_0003__his, gen).
arc(r_0019_0006__exterior, r_0019_0005__smooth, attrib13).
arc(r_0019_0009__simmering, r_0019_0007__Piers, arg0).
arc(r_0019_0009__simmering, r_0019_0011__anger, r_0019_0010__with_nim32).
arc(r_0019_0011__anger, r_0019_0014__she, r_0019_0012__against).
arc(r_0019_0015__had, r_0019_0014__she, 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_0001__That_r_0019_0008__was, emb3).

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_0014__SHE,R_0019_0011__ANGER,R_0019_0001__THAT_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_0014__she(R_0019_0014__SHE)
        & r_0019_0017__doubt(R_0019_0017__DOUBT)
        & has_emb3(R_0019_0017__DOUBT,R_0019_0001__THAT_R_0019_0008__WAS_R_0019_0009__SIMMERING)
        & r_0019_0001__That_r_0019_0008__was_r_0019_0009__simmering(R_0019_0001__THAT_R_0019_0008__WAS_R_0019_0009__SIMMERING)
        & has_r_0019_0010__with_nim32(R_0019_0001__THAT_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_0014__SHE)
        & has_arg0(R_0019_0001__THAT_R_0019_0008__WAS_R_0019_0009__SIMMERING,R_0019_0007__PIERS)
        & has_r_0019_0002__beneath_nim9(R_0019_0001__THAT_R_0019_0008__WAS_R_0019_0009__SIMMERING,R_0019_0006__EXTERIOR)
        & r_0019_0006__exterior(R_0019_0006__EXTERIOR)
        & has_attrib13(R_0019_0006__EXTERIOR,R_0019_0005__SMOOTH)
        & r_0019_0005__smooth(R_0019_0005__SMOOTH)
        & has_qual14(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_0014__SHE) ) ) ).

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