( (IP-MAT (NP-SBJ;{ALASTAIR} (NPR Alastair;{Alastair}))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADVP (ADV quite;{quite}))
                    (ADJ;_cat_ unable;{unable})
                    (IP-INF (TO to;{to})
                            (VB;_Tw_ explain;{explain})
                            (CP-QUE-OB1 (IP-SUB (ADVP-121 (WADV why;{why}))
                                                (NP-SBJ;{ALASTAIR} (PRO he;{he}))
                                                (MD;_cat_Vi_ should;{shall})
                                                (IP-INF-CAT (ADVP-NIM *ICH*-121)
                                                            (VB;_Tn_ feel;{feel})
                                                            (NP-OB1 (ADJP (ADVP (ADV so;{so}))
                                                                          (ADJ much;{much}))
                                                                    (N confidence;{confidence})
                                                                    (PP (P-ROLE in;{in})
                                                                        (NP;{GLORIA} (PRO her;{her})))))))))
          (PUNC .))
  (ID 5_a_lob_n01))

arc(r_0005_0002__was,r_0005_0004__unable,scope).
arc(r_0005_0004__unable,r_0005_0003__quite,qual).
arc(r_0005_0004__unable,r_0005_0006__explain,scope).
arc(r_0005_0006__explain,r_0005_0001__Alastair,arg0).
arc(r_0005_0006__explain,r_0005_0009__should,arg1).
arc(r_0005_0009__should,r_0005_0010__feel,scope).
arc(r_0005_0010__feel,r_0005_0001__Alastair,arg0).
arc(r_0005_0010__feel,r_0005_0007__why,nim).
arc(r_0005_0010__feel,r_0005_0013__confidence,arg1).
arc(r_0005_0012__much,r_0005_0011__so,qual).
arc(r_0005_0013__confidence,r_0005_0012__much,attrib).
arc(r_0005_0013__confidence,r_0005_0015__her,r_0005_0014__in).

fof(formula,axiom,
    ? [R_0005_0003__QUITE,R_0005_0001__ALASTAIR,R_0005_0007__WHY,R_0005_0011__SO,R_0005_0012__MUCH,R_0005_0015__HER,R_0005_0013__CONFIDENCE,R_0005_0009__SHOULD_R_0005_0010__FEEL,R_0005_0002__WAS_R_0005_0004__UNABLE_R_0005_0006__EXPLAIN] :
      ( r_0005_0001__Alastair(R_0005_0001__ALASTAIR)
      & r_0005_0003__quite(R_0005_0003__QUITE)
      & r_0005_0007__why(R_0005_0007__WHY)
      & r_0005_0011__so(R_0005_0011__SO)
      & r_0005_0015__her(R_0005_0015__HER)
      & r_0005_0002__was_r_0005_0004__unable_r_0005_0006__explain(R_0005_0002__WAS_R_0005_0004__UNABLE_R_0005_0006__EXPLAIN)
      & has_arg1(R_0005_0002__WAS_R_0005_0004__UNABLE_R_0005_0006__EXPLAIN,R_0005_0009__SHOULD_R_0005_0010__FEEL)
      & r_0005_0009__should_r_0005_0010__feel(R_0005_0009__SHOULD_R_0005_0010__FEEL)
      & has_arg1(R_0005_0009__SHOULD_R_0005_0010__FEEL,R_0005_0013__CONFIDENCE)
      & r_0005_0013__confidence(R_0005_0013__CONFIDENCE)
      & has_r_0005_0014__in(R_0005_0013__CONFIDENCE,R_0005_0015__HER)
      & has_attrib(R_0005_0013__CONFIDENCE,R_0005_0012__MUCH)
      & r_0005_0012__much(R_0005_0012__MUCH)
      & has_qual(R_0005_0012__MUCH,R_0005_0011__SO)
      & has_nim(R_0005_0009__SHOULD_R_0005_0010__FEEL,R_0005_0007__WHY)
      & has_arg0(R_0005_0009__SHOULD_R_0005_0010__FEEL,R_0005_0001__ALASTAIR)
      & has_arg0(R_0005_0002__WAS_R_0005_0004__UNABLE_R_0005_0006__EXPLAIN,R_0005_0001__ALASTAIR)
      & has_qual(R_0005_0002__WAS_R_0005_0004__UNABLE_R_0005_0006__EXPLAIN,R_0005_0003__QUITE) ) ).