( (IP-MAT (NP-SBJ;{ALASTAIR} (NPR Alastair;{Alastair}))
          (VBD;_Tf_ admitted;{admit})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (ADVP-NIM (ADV never;{never}))
                              (PP-NIM (P-ROLE in;{in})
                                      (NP (D a;{a})
                                          (ADJP (ADVP (NEG not;{not})
                                                      (ADV altogether;{altogether}))
                                                (ADJ uneventful;{uneventful}))
                                          (N life;{life})))
                              (HVD;_cat_Ve_ had;{have})
                              (NP-SBJ;{ALASTAIR} (PRO he;{he}))
                              (IP-PPL-CAT (VVN;_Ipr_ come;{come[across]})
                                          (PP-CLR (P-ROLE across;{across})
                                                  (NP (D a;{a})
                                                      (N girl;{girl})
                                                      (IP-REL (NP-SBJ (RPRO who;{who}))
                                                              (ILYR (ILYR (VBD;_La_ sounded;{sound})
                                                                          (ADJP-PRD (ADVP (ADV so;{so}))
                                                                                    (ADJ charming;{charming})))
                                                                    (CONJP (CONJ and;{and})
                                                                           (ILYR (VBD;_cat_Vt_ appeared;{appear})
                                                                                 (IP-INF-CAT (TO to;{to})
                                                                                             (BE;_La_ be;{be})
                                                                                             (ADJP-PRD (ADVP (ADV so;{so}))
                                                                                                       (ADJ efficient;{efficient}))))))))))))
          (PUNC .))
  (ID 12_a_lob_n01))

arc(r_0012_0002__admitted,r_0012_0001__Alastair,arg0).
arc(r_0012_0002__admitted,r_0012_0011__had,arg1).
arc(r_0012_0006__a_r_0012_0010__life,r_0012_0009__uneventful,attrib).
arc(r_0012_0009__uneventful,r_0012_0007__not_r_0012_0008__altogether,qual).
arc(r_0012_0011__had,r_0012_0004__never,nim).
arc(r_0012_0011__had,r_0012_0006__a_r_0012_0010__life,r_0012_0005__in__nim).
arc(r_0012_0011__had,r_0012_0013__come_r_0012_0014__across,scope).
arc(r_0012_0013__come_r_0012_0014__across,r_0012_0001__Alastair,arg0).
arc(r_0012_0013__come_r_0012_0014__across,r_0012_0015__a_r_0012_0016__girl,arg1).
arc(r_0012_0018__sounded,r_0012_0015__a_r_0012_0016__girl,arg0).
arc(r_0012_0018__sounded,r_0012_0020__charming,prd).
arc(r_0012_0020__charming,r_0012_0019__so,qual).
arc(r_0012_0021__and,r_0012_0018__sounded,conj1).
arc(r_0012_0021__and,r_0012_0022__appeared,conj2).
arc(r_0012_0022__appeared,r_0012_0024__be,scope).
arc(r_0012_0024__be,r_0012_0015__a_r_0012_0016__girl,arg0).
arc(r_0012_0024__be,r_0012_0026__efficient,prd).
arc(r_0012_0026__efficient,r_0012_0025__so,qual).

fof(formula,axiom,
    ? [R_0012_0001__ALASTAIR,R_0012_0004__NEVER,R_0012_0007__NOT_R_0012_0008__ALTOGETHER,R_0012_0009__UNEVENTFUL,R_0012_0006__A_R_0012_0010__LIFE,R_0012_0015__A_R_0012_0016__GIRL,R_0012_0011__HAD_R_0012_0013__COME_R_0012_0014__ACROSS,R_0012_0002__ADMITTED,R_0012_0019__SO,R_0012_0020__CHARMING,R_0012_0018__SOUNDED,R_0012_0025__SO,R_0012_0026__EFFICIENT,R_0012_0022__APPEARED_R_0012_0024__BE,R_0012_0021__AND] :
      ( r_0012_0001__Alastair(R_0012_0001__ALASTAIR)
      & r_0012_0004__never(R_0012_0004__NEVER)
      & r_0012_0007__not_r_0012_0008__altogether(R_0012_0007__NOT_R_0012_0008__ALTOGETHER)
      & r_0012_0015__a_r_0012_0016__girl(R_0012_0015__A_R_0012_0016__GIRL)
      & r_0012_0019__so(R_0012_0019__SO)
      & r_0012_0025__so(R_0012_0025__SO)
      & r_0012_0021__and(R_0012_0021__AND)
      & has_conj2(R_0012_0021__AND,R_0012_0022__APPEARED_R_0012_0024__BE)
      & r_0012_0022__appeared_r_0012_0024__be(R_0012_0022__APPEARED_R_0012_0024__BE)
      & has_prd(R_0012_0022__APPEARED_R_0012_0024__BE,R_0012_0026__EFFICIENT)
      & r_0012_0026__efficient(R_0012_0026__EFFICIENT)
      & has_qual(R_0012_0026__EFFICIENT,R_0012_0025__SO)
      & has_arg0(R_0012_0022__APPEARED_R_0012_0024__BE,R_0012_0015__A_R_0012_0016__GIRL)
      & has_conj1(R_0012_0021__AND,R_0012_0018__SOUNDED)
      & r_0012_0018__sounded(R_0012_0018__SOUNDED)
      & has_prd(R_0012_0018__SOUNDED,R_0012_0020__CHARMING)
      & r_0012_0020__charming(R_0012_0020__CHARMING)
      & has_qual(R_0012_0020__CHARMING,R_0012_0019__SO)
      & has_arg0(R_0012_0018__SOUNDED,R_0012_0015__A_R_0012_0016__GIRL)
      & r_0012_0002__admitted(R_0012_0002__ADMITTED)
      & has_arg1(R_0012_0002__ADMITTED,R_0012_0011__HAD_R_0012_0013__COME_R_0012_0014__ACROSS)
      & r_0012_0011__had_r_0012_0013__come_r_0012_0014__across(R_0012_0011__HAD_R_0012_0013__COME_R_0012_0014__ACROSS)
      & has_arg1(R_0012_0011__HAD_R_0012_0013__COME_R_0012_0014__ACROSS,R_0012_0015__A_R_0012_0016__GIRL)
      & has_arg0(R_0012_0011__HAD_R_0012_0013__COME_R_0012_0014__ACROSS,R_0012_0001__ALASTAIR)
      & has_r_0012_0005__in__nim(R_0012_0011__HAD_R_0012_0013__COME_R_0012_0014__ACROSS,R_0012_0006__A_R_0012_0010__LIFE)
      & r_0012_0006__a_r_0012_0010__life(R_0012_0006__A_R_0012_0010__LIFE)
      & has_attrib(R_0012_0006__A_R_0012_0010__LIFE,R_0012_0009__UNEVENTFUL)
      & r_0012_0009__uneventful(R_0012_0009__UNEVENTFUL)
      & has_qual(R_0012_0009__UNEVENTFUL,R_0012_0007__NOT_R_0012_0008__ALTOGETHER)
      & has_nim(R_0012_0011__HAD_R_0012_0013__COME_R_0012_0014__ACROSS,R_0012_0004__NEVER)
      & has_arg0(R_0012_0002__ADMITTED,R_0012_0001__ALASTAIR) ) ).