arc(r_0031_0004__having, r_0031_0005__made, scope).
arc(r_0031_0005__made, r_0031_0001__President_r_0031_0002__Nkrumah, arg0).
arc(r_0031_0005__made, r_0031_0007__contribution, arg1).
arc(r_0031_0007__contribution, r_0031_0001__President_r_0031_0002__Nkrumah, gen).
arc(r_0031_0007__contribution, r_0031_0012__conference, r_0031_0008__to).
arc(r_0031_0012__conference, r_0031_0009__the_r_0031_0010__neutrals_r_0031_0011___apos_, gen).
arc(r_0031_0012__conference, r_0031_0014__Belgrade, r_0031_0013__in).
arc(r_0031_0016__has, r_0031_0017__resumed, scope).
arc(r_0031_0017__resumed, r_0031_0001__President_r_0031_0002__Nkrumah, arg0).
arc(r_0031_0017__resumed, r_0031_0019__holiday, arg1).
arc(r_0031_0019__holiday, r_0031_0001__President_r_0031_0002__Nkrumah, gen).
arc(r_0031_0019__holiday, r_0031_0021__the_r_0031_0022__Black_r_0031_0023__Sea, r_0031_0020__on).
arc(r_0031_0024__and, r_0031_0025__no_one_quant, conj2).
arc(r_0031_0024__and, z_000_31_a_lob_a02_11, conj1).
arc(r_0031_0025__no_one_quant, r_0031_0027__professes, scope).
arc(r_0031_0025__no_one_quant, z_000_31_a_lob_a02_70, restriction).
arc(r_0031_0027__professes, r_0031_0026__here, nim73).
arc(r_0031_0027__professes, r_0031_0028__to_r_0031_0029__know, arg1).
arc(r_0031_0027__professes, z_000_31_a_lob_a02_70, arg0).
arc(r_0031_0028__to_r_0031_0029__know, r_0031_0032__will, arg1).
arc(r_0031_0028__to_r_0031_0029__know, z_000_31_a_lob_a02_70, arg0).
arc(r_0031_0032__will, r_0031_0033__return, scope).
arc(r_0031_0033__return, r_0031_0001__President_r_0031_0002__Nkrumah, arg0).
arc(r_0031_0033__return, r_0031_0030__when, nim94).
arc(z_000_31_a_lob_a02_11, r_0031_0004__having, restriction).
arc(z_000_31_a_lob_a02_11, r_0031_0016__has, scope).

fof(formula,axiom,
    ? [R_31_24_AND,Z_31_A_LOB_A02_11,R_31_4_HAVING_MADE,R_31_7_CONTRIBUTION,R_31_12_CONFERENCE,R_31_9_THE_NEUTRALS_APOS_,R_31_14_BELGRADE,R_31_16_HAS_RESUMED,R_31_19_HOLIDAY,R_31_1_PRESIDENT_NKRUMAH,R_31_21_THE_BLACK_SEA] :
      ( the_neutrals_apos_(R_31_9_THE_NEUTRALS_APOS_)
      & belgrade(R_31_14_BELGRADE)
      & president_Nkrumah(R_31_1_PRESIDENT_NKRUMAH)
      & the_Black_Sea(R_31_21_THE_BLACK_SEA)
      & ! [Z_31_A_LOB_A02_70] :
          ( true
         => ? [R_31_27_PROFESSES,R_31_28_TO_KNOW,R_31_32_WILL_RETURN,R_31_30_WHEN,R_31_26_HERE] :
              ( when(R_31_30_WHEN)
              & here(R_31_26_HERE)
              & professes(R_31_27_PROFESSES,Z_31_A_LOB_A02_70,R_31_28_TO_KNOW)
              & to_know(R_31_28_TO_KNOW,Z_31_A_LOB_A02_70,R_31_32_WILL_RETURN)
              & will_return(R_31_32_WILL_RETURN,R_31_1_PRESIDENT_NKRUMAH)
              & nim94(R_31_32_WILL_RETURN,R_31_30_WHEN)
              & nim73(R_31_27_PROFESSES,R_31_26_HERE) ) )
      & conj2(CONJ2)
      & and(R_31_24_AND)
      & conj1(R_31_24_AND,Z_31_A_LOB_A02_11)
      & z_31_a_lob_a02_11(Z_31_A_LOB_A02_11)
      & conj1(Z_31_A_LOB_A02_11,R_31_4_HAVING_MADE)
      & having_made(R_31_4_HAVING_MADE,R_31_1_PRESIDENT_NKRUMAH,R_31_7_CONTRIBUTION)
      & contribution(R_31_7_CONTRIBUTION)
      & gen(R_31_7_CONTRIBUTION,R_31_1_PRESIDENT_NKRUMAH)
      & to(R_31_7_CONTRIBUTION,R_31_12_CONFERENCE)
      & conference(R_31_12_CONFERENCE)
      & gen(R_31_12_CONFERENCE,R_31_9_THE_NEUTRALS_APOS_)
      & in(R_31_12_CONFERENCE,R_31_14_BELGRADE)
      & conj2(Z_31_A_LOB_A02_11,R_31_16_HAS_RESUMED)
      & has_resumed(R_31_16_HAS_RESUMED,R_31_1_PRESIDENT_NKRUMAH,R_31_19_HOLIDAY)
      & holiday(R_31_19_HOLIDAY)
      & gen(R_31_19_HOLIDAY,R_31_1_PRESIDENT_NKRUMAH)
      & on(R_31_19_HOLIDAY,R_31_21_THE_BLACK_SEA) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{NKRUMAH} (N President;{president})
                                        (NPR Nkrumah;{Nkrumah}))
                      (PUNC ,)
                      (PP-SCON (IP-PPL2 (HAG;_cat_Ve_ having;{have})
                                        (IP-PPL-CAT (VVN;_Tn_ made;{make})
                                                    (NP-OB1 (NP-GEN;{NKRUMAH} (PRO;_genm_ his;{his}))
                                                            (N contribution;{contribution})
                                                            (PP (P-ROLE to;{to})
                                                                (NP (NP-GEN (D the;{the})
                                                                            (NS neutrals;{neutral})
                                                                            (GENM <apos>))
                                                                    (N conference;{conference})
                                                                    (PP (P-ROLE in;{in})
                                                                        (NP (NPR Belgrade;{Belgrade})))))))))
                      (PUNC ,)
                      (HVP;_cat_Ve_ has;{have})
                      (IP-PPL-CAT (VVN;_Tn_ resumed;{resume})
                                  (NP-OB1 (NP-GEN;{NKRUMAH} (PRO;_genm_ his;{his}))
                                          (N holiday;{holiday})
                                          (PP (P-ROLE on;{on})
                                              (NP (D the;{the})
                                                  (NPR Black;{Black})
                                                  (N Sea;{sea}))))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (Q;_nphd_ no_one;{no_one}))
                             (ADVP-NIM (ADV here;{here}))
                             (VBP;_Tt_ professes;{profess})
                             (IP-INF-OB1 (TO to;{to})
                                         (VB;_Tw_ know;{know})
                                         (CP-QUE-OB1 (IP-SUB (ADVP-183 (WADV when;{when}))
                                                             (NP-SBJ;{NKRUMAH} (PRO he;{he}))
                                                             (MD;_cat_Vi_ will;{will})
                                                             (IP-INF-CAT (ADVP-NIM *ICH*-183)
                                                                         (VB;_I_ return;{return}))))))))
          (PUNC .))
  (ID 31_a_lob_a02))