( (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))

arc(r_0018_0004__join_r_0018_0011__in,r_0018_0001__This_r_0018_0002__time,nim).
arc(r_0018_0004__join_r_0018_0011__in,r_0018_0003__we,arg0).
arc(r_0018_0004__join_r_0018_0011__in,r_0018_0007__nations,r_0018_0005__with__nim).
arc(r_0018_0004__join_r_0018_0011__in,r_0018_0012__a_r_0018_0014__endeavour,arg1).
arc(r_0018_0006__all__quant,r_0018_0004__join_r_0018_0011__in,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,attrib).
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,attrib).
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,attrib).
arc(r_0018_0025__compassion,r_0018_0027__heal,emb).
arc(r_0018_0027__heal,z_0018_5015,arg0).
arc(z_0018_5004,r_0018_0006__all__quant,scope).
arc(z_0018_5004,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_0018_5015,R_0018_0027__HEAL,R_0018_0025__COMPASSION,R_0018_0022__AND,R_0018_0016__USING,Z_0018_5004] :
      ( 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_0018_5015(Z_0018_5015)
      & z_0018_5004(Z_0018_5004)
      & has_conj1(Z_0018_5004,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_emb(R_0018_0025__COMPASSION,R_0018_0027__HEAL)
      & r_0018_0027__heal(R_0018_0027__HEAL)
      & has_arg0(R_0018_0027__HEAL,Z_0018_5015)
      & has_attrib(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_attrib(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_0011__IN] :
              ( 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_0011__in(R_0018_0004__JOIN_R_0018_0011__IN)
              & has_arg1(R_0018_0004__JOIN_R_0018_0011__IN,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_attrib(R_0018_0012__A_R_0018_0014__ENDEAVOUR,R_0018_0013__COMMON)
              & has_r_0018_0005__with__nim(R_0018_0004__JOIN_R_0018_0011__IN,R_0018_0007__NATIONS)
              & has_arg0(R_0018_0004__JOIN_R_0018_0011__IN,R_0018_0003__WE)
              & has_nim(R_0018_0004__JOIN_R_0018_0011__IN,R_0018_0001__THIS_R_0018_0002__TIME) ) ) ) ).