TSPC 24_a_lob

24_a_lob_a02
Mr Selwyn Lloyd — a man with troubles enough back home — seems fated to fly into trouble abroad.

( (IP-MAT (NP-SBJ (N Mr;{mr})
                  (NPR Selwyn;{Selwyn})
                  (NPR Lloyd;{Lloyd})
                  (PUNC <mdash>)
                  (PRN (NP (D a;{a})
                           (N man;{man})
                           (PP (P-ROLE with;{with})
                               (NP (NS troubles;{trouble})
                                   (ADVP (ADV enough;{enough}))
                                   (ADVP-NIM (ADVP (RP back;{back}))
                                             (ADV home;{home})))))))
          (PUNC <mdash>)
          (VBP;_La_ seems;{seem})
          (ADJP-PRD (ADJ;_cat_ fated;{fated})
                    (IP-INF (TO to;{to})
                            (VB;_Ipr_ fly;{fly[into]})
                            (PP-CLR (P-ROLE into;{into})
                                    (NP (N trouble;{trouble})
                                        (ADVP-NIM (ADV abroad;{abroad}))))))
          (PUNC .))
  (ID 24_a_lob_a02))

arc(r_0024_0005__a_r_0024_0006__man,r_0024_0008__troubles,r_0024_0007__with).
arc(r_0024_0008__troubles,r_0024_0009__enough,qual).
arc(r_0024_0008__troubles,r_0024_0011__home,nim).
arc(r_0024_0011__home,r_0024_0010__back,qual).
arc(r_0024_0013__seems,r_0024_0014__fated,scope).
arc(r_0024_0014__fated,r_0024_0016__fly_r_0024_0017__into,scope).
arc(r_0024_0016__fly_r_0024_0017__into,r_0024_0001__Mr_r_0024_0002__Selwyn_r_0024_0003__Lloyd,arg0).
arc(r_0024_0016__fly_r_0024_0017__into,r_0024_0018__trouble,arg1).
arc(r_0024_0018__trouble,r_0024_0019__abroad,nim).
arc(z_0024_5006,r_0024_0001__Mr_r_0024_0002__Selwyn_r_0024_0003__Lloyd,arg0).
arc(z_0024_5006,r_0024_0005__a_r_0024_0006__man,prd).

fof(formula,axiom,
    ? [R_0024_0001__MR_R_0024_0002__SELWYN_R_0024_0003__LLOYD,R_0024_0019__ABROAD,R_0024_0018__TROUBLE,R_0024_0013__SEEMS_R_0024_0014__FATED_R_0024_0016__FLY_R_0024_0017__INTO,R_0024_0009__ENOUGH,R_0024_0010__BACK,R_0024_0011__HOME,R_0024_0008__TROUBLES,R_0024_0005__A_R_0024_0006__MAN,Z_0024_5006] :
      ( r_0024_0001__Mr_r_0024_0002__Selwyn_r_0024_0003__Lloyd(R_0024_0001__MR_R_0024_0002__SELWYN_R_0024_0003__LLOYD)
      & r_0024_0009__enough(R_0024_0009__ENOUGH)
      & r_0024_0010__back(R_0024_0010__BACK)
      & r_0024_0019__abroad(R_0024_0019__ABROAD)
      & z_0024_5006(Z_0024_5006)
      & has_prd(Z_0024_5006,R_0024_0005__A_R_0024_0006__MAN)
      & r_0024_0005__a_r_0024_0006__man(R_0024_0005__A_R_0024_0006__MAN)
      & has_r_0024_0007__with(R_0024_0005__A_R_0024_0006__MAN,R_0024_0008__TROUBLES)
      & r_0024_0008__troubles(R_0024_0008__TROUBLES)
      & has_nim(R_0024_0008__TROUBLES,R_0024_0011__HOME)
      & r_0024_0011__home(R_0024_0011__HOME)
      & has_qual(R_0024_0011__HOME,R_0024_0010__BACK)
      & has_qual(R_0024_0008__TROUBLES,R_0024_0009__ENOUGH)
      & has_arg0(Z_0024_5006,R_0024_0001__MR_R_0024_0002__SELWYN_R_0024_0003__LLOYD)
      & r_0024_0013__seems_r_0024_0014__fated_r_0024_0016__fly_r_0024_0017__into(R_0024_0013__SEEMS_R_0024_0014__FATED_R_0024_0016__FLY_R_0024_0017__INTO)
      & has_arg1(R_0024_0013__SEEMS_R_0024_0014__FATED_R_0024_0016__FLY_R_0024_0017__INTO,R_0024_0018__TROUBLE)
      & r_0024_0018__trouble(R_0024_0018__TROUBLE)
      & has_nim(R_0024_0018__TROUBLE,R_0024_0019__ABROAD)
      & has_arg0(R_0024_0013__SEEMS_R_0024_0014__FATED_R_0024_0016__FLY_R_0024_0017__INTO,R_0024_0001__MR_R_0024_0002__SELWYN_R_0024_0003__LLOYD) ) ).