arc(r_0018_0004__join, r_0018_0001__This_r_0018_0002__time, nim2).
arc(r_0018_0004__join, r_0018_0003__we, arg0).
arc(r_0018_0004__join, r_0018_0007__nations, r_0018_0005__with_nim15).
arc(r_0018_0004__join, r_0018_0012__a_r_0018_0014__endeavour, r_0018_0011__in_clr31).
arc(r_0018_0006__all_quant, r_0018_0004__join, scope).
arc(r_0018_0006__all_quant, r_0018_0007__nations, restriction).
arc(r_0018_0007__nations, r_0018_0009__the_r_0018_0010__globe, r_0018_0008__across).
arc(r_0018_0012__a_r_0018_0014__endeavour, r_0018_0013__common, attrib34).
arc(r_0018_0016__using, r_0018_0003__we, arg0).
arc(r_0018_0016__using, r_0018_0022__and, arg1).
arc(r_0018_0017__the_r_0018_0019__advances, r_0018_0018__great, attrib50).
arc(r_0018_0017__the_r_0018_0019__advances, r_0018_0021__science, r_0018_0020__of).
arc(r_0018_0022__and, r_0018_0017__the_r_0018_0019__advances, conj1).
arc(r_0018_0022__and, r_0018_0025__compassion, conj2).
arc(r_0018_0025__compassion, r_0018_0003__we, gen).
arc(r_0018_0025__compassion, r_0018_0024__instinctive, attrib68).
arc(r_0018_0025__compassion, r_0018_0026__to_r_0018_0027__heal, emb73).
arc(r_0018_0026__to_r_0018_0027__heal, z_000_18_a_queen_broadcast_73, arg0).
arc(z_000_18_a_queen_broadcast_41, r_0018_0006__all_quant, scope).
arc(z_000_18_a_queen_broadcast_41, r_0018_0016__using, restriction).

fof(formula,axiom,
    ? [R_0018_0003__WE,R_0018_0018__GREAT,R_0018_0021__SCIENCE,R_0018_0017__THE_R_0018_0019__ADVANCES,R_0018_0024__INSTINCTIVE,Z_000_18_A_QUEEN_BROADCAST_73,R_0018_0026__TO_R_0018_0027__HEAL,R_0018_0025__COMPASSION,R_0018_0022__AND,R_0018_0016__USING,Z_000_18_A_QUEEN_BROADCAST_41] :
      ( r_0018_0003__we(R_0018_0003__WE)
      & r_0018_0018__great(R_0018_0018__GREAT)
      & r_0018_0021__science(R_0018_0021__SCIENCE)
      & r_0018_0024__instinctive(R_0018_0024__INSTINCTIVE)
      & z_000_18_a_queen_broadcast_73(Z_000_18_A_QUEEN_BROADCAST_73)
      & z_000_18_a_queen_broadcast_41(Z_000_18_A_QUEEN_BROADCAST_41)
      & has_conj1(Z_000_18_A_QUEEN_BROADCAST_41,R_0018_0016__USING)
      & r_0018_0016__using(R_0018_0016__USING)
      & has_arg1(R_0018_0016__USING,R_0018_0022__AND)
      & r_0018_0022__and(R_0018_0022__AND)
      & has_conj2(R_0018_0022__AND,R_0018_0025__COMPASSION)
      & r_0018_0025__compassion(R_0018_0025__COMPASSION)
      & has_emb73(R_0018_0025__COMPASSION,R_0018_0026__TO_R_0018_0027__HEAL)
      & r_0018_0026__to_r_0018_0027__heal(R_0018_0026__TO_R_0018_0027__HEAL)
      & has_arg0(R_0018_0026__TO_R_0018_0027__HEAL,Z_000_18_A_QUEEN_BROADCAST_73)
      & has_attrib68(R_0018_0025__COMPASSION,R_0018_0024__INSTINCTIVE)
      & has_gen(R_0018_0025__COMPASSION,R_0018_0003__WE)
      & has_conj1(R_0018_0022__AND,R_0018_0017__THE_R_0018_0019__ADVANCES)
      & r_0018_0017__the_r_0018_0019__advances(R_0018_0017__THE_R_0018_0019__ADVANCES)
      & has_r_0018_0020__of(R_0018_0017__THE_R_0018_0019__ADVANCES,R_0018_0021__SCIENCE)
      & has_attrib50(R_0018_0017__THE_R_0018_0019__ADVANCES,R_0018_0018__GREAT)
      & has_arg0(R_0018_0016__USING,R_0018_0003__WE)
      & ! [R_0018_0007__NATIONS,R_0018_0009__THE_R_0018_0010__GLOBE] :
          ( ( r_0018_0009__the_r_0018_0010__globe(R_0018_0009__THE_R_0018_0010__GLOBE)
            & r_0018_0007__nations(R_0018_0007__NATIONS)
            & has_r_0018_0008__across(R_0018_0007__NATIONS,R_0018_0009__THE_R_0018_0010__GLOBE) )
         => ? [R_0018_0001__THIS_R_0018_0002__TIME,R_0018_0013__COMMON,R_0018_0012__A_R_0018_0014__ENDEAVOUR,R_0018_0004__JOIN] :
              ( r_0018_0001__This_r_0018_0002__time(R_0018_0001__THIS_R_0018_0002__TIME)
              & r_0018_0013__common(R_0018_0013__COMMON)
              & r_0018_0004__join(R_0018_0004__JOIN)
              & has_r_0018_0011__in_clr31(R_0018_0004__JOIN,R_0018_0012__A_R_0018_0014__ENDEAVOUR)
              & r_0018_0012__a_r_0018_0014__endeavour(R_0018_0012__A_R_0018_0014__ENDEAVOUR)
              & has_attrib34(R_0018_0012__A_R_0018_0014__ENDEAVOUR,R_0018_0013__COMMON)
              & has_r_0018_0005__with_nim15(R_0018_0004__JOIN,R_0018_0007__NATIONS)
              & has_arg0(R_0018_0004__JOIN,R_0018_0003__WE)
              & has_nim2(R_0018_0004__JOIN,R_0018_0001__THIS_R_0018_0002__TIME) ) ) ) ).

( (IP-MAT (NP-NIM (D This;{this})
                  (N time;{time}))
          (NP-SBJ (PRO we;{we}))
          (VBP;_Ipr_ join;{join[in]})
          (PP-NIM (P-ROLE with;{with})
                  (NP (Q all;{all})
                      (NS nations;{nation})
                      (PP (P-ROLE across;{across})
                          (NP (D the;{the})
                              (N globe;{globe})))))
          (PP-CLR (P-ROLE in;{in})
                  (NP (D a;{a})
                      (ADJP (ADJ common;{common}))
                      (N endeavour;{endeavour})))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn_ using;{use})
                            (NP-OB1 (NLYR (NLYR (D the;{the})
                                                (ADJP (ADJ great;{great}))
                                                (NS advances;{advance})
                                                (PP (P-ROLE of;{of})
                                                    (NP (N science;{science}))))
                                          (CONJP (CONJ and;{and})
                                                 (NLYR (NP-GEN (PRO;_genm_ our;{our}))
                                                       (ADJP (ADJ instinctive;{instinctive}))
                                                       (N compassion;{compassion})
                                                       (IP-INF (TO to;{to})
                                                               (VB;_I_ heal;{heal}))))))))
          (PUNC .))
  (ID 18_a_queen_broadcast))