12_a_lob_n01
Alastair admitted that never in a not altogether uneventful life had he come across a girl who sounded so charming and appeared to be so efficient.

%3 r_0012_0002__admitted admitted r_0012_0001__Alastair Alastair r_0012_0002__admitted->r_0012_0001__Alastair [arg0] r_0012_0003__that_r_0012_0011__had that had r_0012_0002__admitted->r_0012_0003__that_r_0012_0011__had [arg1] r_0012_0004__never never r_0012_0003__that_r_0012_0011__had->r_0012_0004__never [nim] r_0012_0006__a_r_0012_0010__life a life r_0012_0003__that_r_0012_0011__had->r_0012_0006__a_r_0012_0010__life in [nim] r_0012_0013__come come r_0012_0003__that_r_0012_0011__had->r_0012_0013__come [scope] r_0012_0009__uneventful uneventful r_0012_0006__a_r_0012_0010__life->r_0012_0009__uneventful [attrib] r_0012_0013__come->r_0012_0001__Alastair [arg0] r_0012_0015__a_r_0012_0016__girl a girl r_0012_0013__come->r_0012_0015__a_r_0012_0016__girl across [clr] r_0012_0007__not_r_0012_0008__altogether not altogether r_0012_0009__uneventful->r_0012_0007__not_r_0012_0008__altogether [qual] r_0012_0018__sounded sounded r_0012_0018__sounded->r_0012_0015__a_r_0012_0016__girl [arg0] r_0012_0020__charming charming r_0012_0018__sounded->r_0012_0020__charming [prd] r_0012_0019__so so r_0012_0020__charming->r_0012_0019__so [qual] r_0012_0021__and and r_0012_0021__and->r_0012_0018__sounded [conj1] r_0012_0022__appeared appeared r_0012_0021__and->r_0012_0022__appeared [conj2] r_0012_0023__to_r_0012_0024__be to be r_0012_0022__appeared->r_0012_0023__to_r_0012_0024__be [scope] r_0012_0023__to_r_0012_0024__be->r_0012_0015__a_r_0012_0016__girl [arg0] r_0012_0026__efficient efficient r_0012_0023__to_r_0012_0024__be->r_0012_0026__efficient [prd] r_0012_0025__so so r_0012_0026__efficient->r_0012_0025__so [qual]
arc(r_0012_0002__admitted, r_0012_0001__Alastair, arg0).
arc(r_0012_0002__admitted, r_0012_0003__that_r_0012_0011__had, arg1).
arc(r_0012_0003__that_r_0012_0011__had, r_0012_0004__never, nim11).
arc(r_0012_0003__that_r_0012_0011__had, r_0012_0006__a_r_0012_0010__life, r_0012_0005__in_nim17).
arc(r_0012_0003__that_r_0012_0011__had, r_0012_0013__come, scope).
arc(r_0012_0006__a_r_0012_0010__life, r_0012_0009__uneventful, attrib20).
arc(r_0012_0009__uneventful, r_0012_0007__not_r_0012_0008__altogether, qual21).
arc(r_0012_0013__come, r_0012_0001__Alastair, arg0).
arc(r_0012_0013__come, r_0012_0015__a_r_0012_0016__girl, r_0012_0014__across_clr41).
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, qual55).
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_0023__to_r_0012_0024__be, scope).
arc(r_0012_0023__to_r_0012_0024__be, r_0012_0015__a_r_0012_0016__girl, arg0).
arc(r_0012_0023__to_r_0012_0024__be, r_0012_0026__efficient, prd).
arc(r_0012_0026__efficient, r_0012_0025__so, qual72).



%3 r_0012_0002__admitted admitted r_0012_0001__Alastair Alastair r_0012_0002__admitted->r_0012_0001__Alastair [arg0] r_0012_0003__that_r_0012_0011__had_r_0012_0013__come that had come r_0012_0002__admitted->r_0012_0003__that_r_0012_0011__had_r_0012_0013__come [arg1] r_0012_0003__that_r_0012_0011__had_r_0012_0013__come->r_0012_0001__Alastair [arg0] r_0012_0004__never never r_0012_0003__that_r_0012_0011__had_r_0012_0013__come->r_0012_0004__never [nim] r_0012_0006__a_r_0012_0010__life a life r_0012_0003__that_r_0012_0011__had_r_0012_0013__come->r_0012_0006__a_r_0012_0010__life in [nim] r_0012_0015__a_r_0012_0016__girl a girl r_0012_0003__that_r_0012_0011__had_r_0012_0013__come->r_0012_0015__a_r_0012_0016__girl across [clr] r_0012_0009__uneventful uneventful r_0012_0006__a_r_0012_0010__life->r_0012_0009__uneventful [attrib] r_0012_0007__not_r_0012_0008__altogether not altogether r_0012_0009__uneventful->r_0012_0007__not_r_0012_0008__altogether [qual] r_0012_0018__sounded sounded r_0012_0018__sounded->r_0012_0015__a_r_0012_0016__girl [arg0] r_0012_0020__charming charming r_0012_0018__sounded->r_0012_0020__charming [prd] r_0012_0019__so so r_0012_0020__charming->r_0012_0019__so [qual] r_0012_0021__and and r_0012_0021__and->r_0012_0018__sounded [conj1] r_0012_0022__appeared_r_0012_0023__to_r_0012_0024__be appeared to be r_0012_0021__and->r_0012_0022__appeared_r_0012_0023__to_r_0012_0024__be [conj2] r_0012_0022__appeared_r_0012_0023__to_r_0012_0024__be->r_0012_0015__a_r_0012_0016__girl [arg0] r_0012_0026__efficient efficient r_0012_0022__appeared_r_0012_0023__to_r_0012_0024__be->r_0012_0026__efficient [prd] r_0012_0025__so so r_0012_0026__efficient->r_0012_0025__so [qual]
fof(formula,axiom,
    ? [R_12_2_ADMITTED,R_12_3_THAT_HAD_COME,R_12_1_ALASTAIR,R_12_4_NEVER,R_12_6_A_LIFE,R_12_9_UNEVENTFUL,R_12_7_NOT_ALTOGETHER,R_12_21_AND,R_12_18_SOUNDED,R_12_20_CHARMING,R_12_19_SO,R_12_22_APPEARED_TO_BE,R_12_15_A_GIRL,R_12_26_EFFICIENT,R_12_25_SO] :
      ( alastair(R_12_1_ALASTAIR)
      & never(R_12_4_NEVER)
      & not_altogether(R_12_7_NOT_ALTOGETHER)
      & so(R_12_19_SO)
      & a_girl(R_12_15_A_GIRL)
      & so(R_12_25_SO)
      & admitted(R_12_2_ADMITTED,R_12_1_ALASTAIR,R_12_3_THAT_HAD_COME)
      & that_had_come(R_12_3_THAT_HAD_COME,R_12_1_ALASTAIR)
      & nim11(R_12_3_THAT_HAD_COME,R_12_4_NEVER)
      & in_nim17(R_12_3_THAT_HAD_COME,R_12_6_A_LIFE)
      & a_life(R_12_6_A_LIFE)
      & attrib20(R_12_6_A_LIFE,R_12_9_UNEVENTFUL)
      & uneventful(R_12_9_UNEVENTFUL)
      & qual21(R_12_9_UNEVENTFUL,R_12_7_NOT_ALTOGETHER)
      & across_clr41(R_12_3_THAT_HAD_COME,R_12_15_A_GIRL)
      & and(R_12_21_AND)
      & conj1(R_12_21_AND,R_12_18_SOUNDED)
      & sounded(R_12_18_SOUNDED,R_12_15_A_GIRL,R_12_20_CHARMING)
      & charming(R_12_20_CHARMING)
      & qual55(R_12_20_CHARMING,R_12_19_SO)
      & conj2(R_12_21_AND,R_12_22_APPEARED_TO_BE)
      & appeared_to_be(R_12_22_APPEARED_TO_BE,R_12_15_A_GIRL,R_12_26_EFFICIENT)
      & efficient(R_12_26_EFFICIENT)
      & qual72(R_12_26_EFFICIENT,R_12_25_SO) ) ).



n12_a_lob_n01 n12_a_lob_n01_4 Alastair n12_a_lob_n01_6 admitted n12_a_lob_n01_10 that n12_a_lob_n01_13 never n12_a_lob_n01_16 in n12_a_lob_n01_19 a n12_a_lob_n01_23 not n12_a_lob_n01_25 altogether n12_a_lob_n01_27 uneventful n12_a_lob_n01_29 life n12_a_lob_n01_31 had n12_a_lob_n01_34 he n12_a_lob_n01_37 come n12_a_lob_n01_40 across n12_a_lob_n01_43 a n12_a_lob_n01_45 girl n12_a_lob_n01_49 who n12_a_lob_n01_53 sounded n12_a_lob_n01_57 so n12_a_lob_n01_59 charming n12_a_lob_n01_62 and n12_a_lob_n01_65 appeared n12_a_lob_n01_68 to n12_a_lob_n01_70 be n12_a_lob_n01_74 so n12_a_lob_n01_76 efficient n12_a_lob_n01_78 . n12_a_lob_n01_1 IP-MAT n12_a_lob_n01_2 NP-SBJ n12_a_lob_n01_1->n12_a_lob_n01_2 n12_a_lob_n01_5 VBD;_Tf_ n12_a_lob_n01_1->n12_a_lob_n01_5 n12_a_lob_n01_7 CP-THT-OB1 n12_a_lob_n01_1->n12_a_lob_n01_7 n12_a_lob_n01_77 PUNC n12_a_lob_n01_1->n12_a_lob_n01_77 n12_a_lob_n01_3 NPR n12_a_lob_n01_2->n12_a_lob_n01_3 n12_a_lob_n01_3->n12_a_lob_n01_4 n12_a_lob_n01_5->n12_a_lob_n01_6 n12_a_lob_n01_8 IP-SUB n12_a_lob_n01_7->n12_a_lob_n01_8 n12_a_lob_n01_9 C n12_a_lob_n01_8->n12_a_lob_n01_9 n12_a_lob_n01_11 ADVP-NIM n12_a_lob_n01_8->n12_a_lob_n01_11 n12_a_lob_n01_14 PP-NIM n12_a_lob_n01_8->n12_a_lob_n01_14 n12_a_lob_n01_30 HVD;_cat_Ve_ n12_a_lob_n01_8->n12_a_lob_n01_30 n12_a_lob_n01_32 NP-SBJ n12_a_lob_n01_8->n12_a_lob_n01_32 n12_a_lob_n01_35 IP-PPL-CAT n12_a_lob_n01_8->n12_a_lob_n01_35 n12_a_lob_n01_9->n12_a_lob_n01_10 n12_a_lob_n01_12 ADV n12_a_lob_n01_11->n12_a_lob_n01_12 n12_a_lob_n01_12->n12_a_lob_n01_13 n12_a_lob_n01_15 P-ROLE n12_a_lob_n01_14->n12_a_lob_n01_15 n12_a_lob_n01_17 NP n12_a_lob_n01_14->n12_a_lob_n01_17 n12_a_lob_n01_15->n12_a_lob_n01_16 n12_a_lob_n01_18 D n12_a_lob_n01_17->n12_a_lob_n01_18 n12_a_lob_n01_20 ADJP n12_a_lob_n01_17->n12_a_lob_n01_20 n12_a_lob_n01_28 N n12_a_lob_n01_17->n12_a_lob_n01_28 n12_a_lob_n01_18->n12_a_lob_n01_19 n12_a_lob_n01_21 ADVP n12_a_lob_n01_20->n12_a_lob_n01_21 n12_a_lob_n01_26 ADJ n12_a_lob_n01_20->n12_a_lob_n01_26 n12_a_lob_n01_22 NEG n12_a_lob_n01_21->n12_a_lob_n01_22 n12_a_lob_n01_24 ADV n12_a_lob_n01_21->n12_a_lob_n01_24 n12_a_lob_n01_22->n12_a_lob_n01_23 n12_a_lob_n01_24->n12_a_lob_n01_25 n12_a_lob_n01_26->n12_a_lob_n01_27 n12_a_lob_n01_28->n12_a_lob_n01_29 n12_a_lob_n01_30->n12_a_lob_n01_31 n12_a_lob_n01_33 PRO n12_a_lob_n01_32->n12_a_lob_n01_33 n12_a_lob_n01_33->n12_a_lob_n01_34 n12_a_lob_n01_36 VVN;_Ipr_ n12_a_lob_n01_35->n12_a_lob_n01_36 n12_a_lob_n01_38 PP-CLR n12_a_lob_n01_35->n12_a_lob_n01_38 n12_a_lob_n01_36->n12_a_lob_n01_37 n12_a_lob_n01_39 P-ROLE n12_a_lob_n01_38->n12_a_lob_n01_39 n12_a_lob_n01_41 NP n12_a_lob_n01_38->n12_a_lob_n01_41 n12_a_lob_n01_39->n12_a_lob_n01_40 n12_a_lob_n01_42 D n12_a_lob_n01_41->n12_a_lob_n01_42 n12_a_lob_n01_44 N n12_a_lob_n01_41->n12_a_lob_n01_44 n12_a_lob_n01_46 IP-REL n12_a_lob_n01_41->n12_a_lob_n01_46 n12_a_lob_n01_42->n12_a_lob_n01_43 n12_a_lob_n01_44->n12_a_lob_n01_45 n12_a_lob_n01_47 NP-SBJ n12_a_lob_n01_46->n12_a_lob_n01_47 n12_a_lob_n01_50 ILYR n12_a_lob_n01_46->n12_a_lob_n01_50 n12_a_lob_n01_48 RPRO n12_a_lob_n01_47->n12_a_lob_n01_48 n12_a_lob_n01_48->n12_a_lob_n01_49 n12_a_lob_n01_51 ILYR n12_a_lob_n01_50->n12_a_lob_n01_51 n12_a_lob_n01_60 CONJP n12_a_lob_n01_50->n12_a_lob_n01_60 n12_a_lob_n01_52 VBD;_La_ n12_a_lob_n01_51->n12_a_lob_n01_52 n12_a_lob_n01_54 ADJP-PRD n12_a_lob_n01_51->n12_a_lob_n01_54 n12_a_lob_n01_52->n12_a_lob_n01_53 n12_a_lob_n01_55 ADVP n12_a_lob_n01_54->n12_a_lob_n01_55 n12_a_lob_n01_58 ADJ n12_a_lob_n01_54->n12_a_lob_n01_58 n12_a_lob_n01_56 ADV n12_a_lob_n01_55->n12_a_lob_n01_56 n12_a_lob_n01_56->n12_a_lob_n01_57 n12_a_lob_n01_58->n12_a_lob_n01_59 n12_a_lob_n01_61 CONJ n12_a_lob_n01_60->n12_a_lob_n01_61 n12_a_lob_n01_63 ILYR n12_a_lob_n01_60->n12_a_lob_n01_63 n12_a_lob_n01_61->n12_a_lob_n01_62 n12_a_lob_n01_64 VBD;_cat_Vt_ n12_a_lob_n01_63->n12_a_lob_n01_64 n12_a_lob_n01_66 IP-INF-CAT n12_a_lob_n01_63->n12_a_lob_n01_66 n12_a_lob_n01_64->n12_a_lob_n01_65 n12_a_lob_n01_67 TO n12_a_lob_n01_66->n12_a_lob_n01_67 n12_a_lob_n01_69 BE;_La_ n12_a_lob_n01_66->n12_a_lob_n01_69 n12_a_lob_n01_71 ADJP-PRD n12_a_lob_n01_66->n12_a_lob_n01_71 n12_a_lob_n01_67->n12_a_lob_n01_68 n12_a_lob_n01_69->n12_a_lob_n01_70 n12_a_lob_n01_72 ADVP n12_a_lob_n01_71->n12_a_lob_n01_72 n12_a_lob_n01_75 ADJ n12_a_lob_n01_71->n12_a_lob_n01_75 n12_a_lob_n01_73 ADV n12_a_lob_n01_72->n12_a_lob_n01_73 n12_a_lob_n01_73->n12_a_lob_n01_74 n12_a_lob_n01_75->n12_a_lob_n01_76 n12_a_lob_n01_77->n12_a_lob_n01_78
( (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))