arc(r_0011_0010__have, r_0011_0002__the_r_0011_0003__Commonwealth, r_0011_0001__Across_nim5).
arc(r_0011_0010__have, r_0011_0006__the_r_0011_0007__world, r_0011_0004__and_r_0011_0005__around_nim15).
arc(r_0011_0010__have, r_0011_0011__seen, scope).
arc(r_0011_0011__seen, r_0011_0009__we, arg0).
arc(r_0011_0011__seen, r_0011_0013__stories, arg1).
arc(r_0011_0013__stories, r_0011_0012__heart__hyphen__warming, attrib31).
arc(r_0011_0013__stories, r_0011_0015__people, r_0011_0014__of).
arc(r_0011_0016__coming, r_0011_0015__people, arg0).
arc(r_0011_0016__coming, r_0011_0017__together, clr45).
arc(r_0011_0018__to_r_0011_0019__help, r_0011_0015__people, arg0).
arc(r_0011_0018__to_r_0011_0019__help, r_0011_0020__others, arg1).
arc(r_0011_0022__be, r_0011_0020__others, arg0).
arc(r_0011_0022__be, r_0011_0035__or, r_0011_0024__through_clr69).
arc(r_0011_0025__delivering, r_0011_0028__and, arg1).
arc(r_0011_0025__delivering, z_000_11_a_queen_broadcast_69, arg0).
arc(r_0011_0028__and, r_0011_0026__food_r_0011_0027__parcels, conj1).
arc(r_0011_0028__and, r_0011_0029__medicines, conj2).
arc(r_0011_0031__checking, r_0011_0033__neighbours, r_0011_0032__on_clr96).
arc(r_0011_0031__checking, z_000_11_a_queen_broadcast_69, arg0).
arc(r_0011_0035__or, r_0011_0025__delivering, conj1).
arc(r_0011_0035__or, r_0011_0031__checking, conj2).
arc(r_0011_0035__or, z_000_11_a_queen_broadcast_110, conj3).
arc(r_0011_0036__converting, r_0011_0037__businesses, arg1).
arc(r_0011_0036__converting, z_000_11_a_queen_broadcast_69, arg0).
arc(r_0011_0038__to_r_0011_0039__help, r_0011_0040__the_r_0011_0041__relief_r_0011_0042__effort, arg1).
arc(r_0011_0038__to_r_0011_0039__help, z_000_11_a_queen_broadcast_69, arg0).
arc(z_000_11_a_queen_broadcast_110, r_0011_0036__converting, scope).
arc(z_000_11_a_queen_broadcast_110, r_0011_0038__to_r_0011_0039__help, restriction).
arc(z_000_11_a_queen_broadcast_48, r_0011_0016__coming, scope).
arc(z_000_11_a_queen_broadcast_48, r_0011_0018__to_r_0011_0019__help, restriction).
arc(z_000_11_a_queen_broadcast_59, r_0011_0010__have, scope).
arc(z_000_11_a_queen_broadcast_59, r_0011_0022__be, restriction).

fof(formula,axiom,
    ? [Z_11_A_QUEEN_BROADCAST_48,R_11_18_TO_HELP,R_11_16_COMING,R_11_17_TOGETHER,Z_11_A_QUEEN_BROADCAST_59,R_11_22_BE,R_11_20_OTHERS,R_11_35_OR,R_11_25_DELIVERING,R_11_28_AND,R_11_26_FOOD_PARCELS,R_11_29_MEDICINES,R_11_31_CHECKING,R_11_33_NEIGHBOURS,Z_11_A_QUEEN_BROADCAST_110,R_11_38_TO_HELP,R_11_40_THE_RELIEF_EFFORT,R_11_36_CONVERTING,Z_11_A_QUEEN_BROADCAST_69,R_11_37_BUSINESSES,R_11_10_HAVE_SEEN,R_11_9_WE,R_11_13_STORIES,R_11_12_HEART_HYPHEN_WARMING,R_11_15_PEOPLE,R_11_2_THE_COMMONWEALTH,R_11_6_THE_WORLD] :
      ( together(R_11_17_TOGETHER)
      & others(R_11_20_OTHERS)
      & food_parcels(R_11_26_FOOD_PARCELS)
      & medicines(R_11_29_MEDICINES)
      & neighbours(R_11_33_NEIGHBOURS)
      & the_relief_effort(R_11_40_THE_RELIEF_EFFORT)
      & businesses(R_11_37_BUSINESSES)
      & we(R_11_9_WE)
      & heart_hyphen_warming(R_11_12_HEART_HYPHEN_WARMING)
      & people(R_11_15_PEOPLE)
      & the_Commonwealth(R_11_2_THE_COMMONWEALTH)
      & the_world(R_11_6_THE_WORLD)
      & z_11_a_queen_broadcast_48(Z_11_A_QUEEN_BROADCAST_48)
      & conj1(Z_11_A_QUEEN_BROADCAST_48,R_11_18_TO_HELP)
      & to_help(R_11_18_TO_HELP,R_11_15_PEOPLE,R_11_20_OTHERS)
      & conj2(Z_11_A_QUEEN_BROADCAST_48,R_11_16_COMING)
      & coming(R_11_16_COMING,R_11_15_PEOPLE)
      & clr45(R_11_16_COMING,R_11_17_TOGETHER)
      & z_11_a_queen_broadcast_59(Z_11_A_QUEEN_BROADCAST_59)
      & conj1(Z_11_A_QUEEN_BROADCAST_59,R_11_22_BE)
      & be(R_11_22_BE,R_11_20_OTHERS)
      & through_clr69(R_11_22_BE,R_11_35_OR)
      & or(R_11_35_OR)
      & conj1(R_11_35_OR,R_11_25_DELIVERING)
      & delivering(R_11_25_DELIVERING,Z_11_A_QUEEN_BROADCAST_69,R_11_28_AND)
      & and(R_11_28_AND)
      & conj1(R_11_28_AND,R_11_26_FOOD_PARCELS)
      & conj2(R_11_28_AND,R_11_29_MEDICINES)
      & conj2(R_11_35_OR,R_11_31_CHECKING)
      & checking(R_11_31_CHECKING,Z_11_A_QUEEN_BROADCAST_69)
      & on_clr96(R_11_31_CHECKING,R_11_33_NEIGHBOURS)
      & conj3(R_11_35_OR,Z_11_A_QUEEN_BROADCAST_110)
      & z_11_a_queen_broadcast_110(Z_11_A_QUEEN_BROADCAST_110)
      & conj1(Z_11_A_QUEEN_BROADCAST_110,R_11_38_TO_HELP)
      & to_help(R_11_38_TO_HELP,Z_11_A_QUEEN_BROADCAST_69,R_11_40_THE_RELIEF_EFFORT)
      & conj2(Z_11_A_QUEEN_BROADCAST_110,R_11_36_CONVERTING)
      & converting(R_11_36_CONVERTING,Z_11_A_QUEEN_BROADCAST_69,R_11_37_BUSINESSES)
      & conj2(Z_11_A_QUEEN_BROADCAST_59,R_11_10_HAVE_SEEN)
      & have_seen(R_11_10_HAVE_SEEN,R_11_9_WE,R_11_13_STORIES)
      & stories(R_11_13_STORIES)
      & attrib31(R_11_13_STORIES,R_11_12_HEART_HYPHEN_WARMING)
      & of(R_11_13_STORIES,R_11_15_PEOPLE)
      & across_nim5(R_11_10_HAVE_SEEN,R_11_2_THE_COMMONWEALTH)
      & and_around_nim15(R_11_10_HAVE_SEEN,R_11_6_THE_WORLD) ) ).

( (IP-MAT (PP-NIM (P-ROLE Across;{across})
                  (NP (D the;{the})
                      (NPR Commonwealth;{Commonwealth})))
          (PP-NIM (CONJ and;{and})
                  (P-ROLE around;{around})
                  (NP (D the;{the})
                      (N world;{world})))
          (PUNC ,)
          (NP-SBJ (PRO we;{we}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (VVN;_Tn_ seen;{see})
                      (NP-OB1 (ADJP (ADJ heart_<hyphen>_warming;{heart_warming}))
                              (NS stories;{story})
                              (PP (P-ROLE of;{of})
                                  (NP (NS people;{people})
                                      (IP-PPL (VAG;_Ip_ coming;{come[together]})
                                              (ADVP-CLR (ADV together;{together}))
                                              (PP-SCON (IP-INF2 (TO to;{to})
                                                                (VB;_Tn_ help;{help})
                                                                (NP-OB1 (NS others;{other})))))))))
          (PUNC ,)
          (PP-SCON (IP-ADV% (BE;_Ipr_ be;{be[through]})
                            (NP-SBJ (PRO it;{it}))
                            (PP-CLR (P-ROLE through;{through})
                                    (IP-PPL (ILYR (ILYR (VAG;_Tn_ delivering;{deliver})
                                                        (NP-OB1 (NLYR (NLYR (N food;{food})
                                                                            (NS parcels;{parcel}))
                                                                      (CONJP (CONJ and;{and})
                                                                             (NLYR (NS medicines;{medicine}))))))
                                                  (PUNC ,)
                                                  (CONJP (ILYR (VAG;_phr_Vpr_ checking;{check[on]})
                                                               (PP-CLR (P-ROLE on;{on})
                                                                       (NP (NS neighbours;{neighbour})))))
                                                  (PUNC ,)
                                                  (CONJP (CONJ or;{or})
                                                         (ILYR (VAG;_Tn_ converting;{convert})
                                                               (NP-OB1 (NS businesses;{business}))
                                                               (PP-SCON (IP-INF2 (TO to;{to})
                                                                                 (VB;_Tn_ help;{help})
                                                                                 (NP-OB1 (D the;{the})
                                                                                         (N relief;{relief})
                                                                                         (N effort;{effort})))))))))))
          (PUNC .))
  (ID 11_a_queen_broadcast))