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, qual23).
arc(r_0024_0008__troubles, r_0024_0011__home, qual26).
arc(r_0024_0011__home, r_0024_0010__back, qual27).
arc(r_0024_0013__seems, r_0024_0001__Mr_r_0024_0002__Selwyn_r_0024_0003__Lloyd, arg0).
arc(r_0024_0013__seems, r_0024_0014__fated, prd).
arc(r_0024_0014__fated, r_0024_0015__to_r_0024_0016__fly, emb39).
arc(r_0024_0015__to_r_0024_0016__fly, r_0024_0018__trouble, r_0024_0017__into_clr47).
arc(r_0024_0015__to_r_0024_0016__fly, z_000_24_a_lob_a02_39, arg0).
arc(r_0024_0018__trouble, r_0024_0019__abroad, qual50).
arc(z_000_24_a_lob_a02_11, r_0024_0001__Mr_r_0024_0002__Selwyn_r_0024_0003__Lloyd, arg0).
arc(z_000_24_a_lob_a02_11, 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,Z_000_24_A_LOB_A02_39,R_0024_0015__TO_R_0024_0016__FLY,R_0024_0014__FATED,R_0024_0013__SEEMS,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_000_24_A_LOB_A02_11] :
      ( 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_000_24_a_lob_a02_39(Z_000_24_A_LOB_A02_39)
      & z_000_24_a_lob_a02_11(Z_000_24_A_LOB_A02_11)
      & has_prd(Z_000_24_A_LOB_A02_11,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_qual26(R_0024_0008__TROUBLES,R_0024_0011__HOME)
      & r_0024_0011__home(R_0024_0011__HOME)
      & has_qual27(R_0024_0011__HOME,R_0024_0010__BACK)
      & has_qual23(R_0024_0008__TROUBLES,R_0024_0009__ENOUGH)
      & has_arg0(Z_000_24_A_LOB_A02_11,R_0024_0001__MR_R_0024_0002__SELWYN_R_0024_0003__LLOYD)
      & r_0024_0013__seems(R_0024_0013__SEEMS)
      & has_prd(R_0024_0013__SEEMS,R_0024_0014__FATED)
      & r_0024_0014__fated(R_0024_0014__FATED)
      & has_emb39(R_0024_0014__FATED,R_0024_0015__TO_R_0024_0016__FLY)
      & r_0024_0015__to_r_0024_0016__fly(R_0024_0015__TO_R_0024_0016__FLY)
      & has_arg0(R_0024_0015__TO_R_0024_0016__FLY,Z_000_24_A_LOB_A02_39)
      & has_r_0024_0017__into_clr47(R_0024_0015__TO_R_0024_0016__FLY,R_0024_0018__TROUBLE)
      & r_0024_0018__trouble(R_0024_0018__TROUBLE)
      & has_qual50(R_0024_0018__TROUBLE,R_0024_0019__ABROAD)
      & has_arg0(R_0024_0013__SEEMS,R_0024_0001__MR_R_0024_0002__SELWYN_R_0024_0003__LLOYD) ) ).

( (IP-MAT (NP-SBJ (N Mr;{mr})
                  (NPR Selwyn;{Selwyn})
                  (NPR Lloyd;{Lloyd})
                  (PUNC <mdash>)
                  (IP-PPL (NP-PRD (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))