TSPC 12_a_queen

12_a_queen_broadcast
And though self-isolating may at times be hard, many people of all faiths, and of none, are discovering that it presents an opportunity to slow down, pause and reflect, in prayer or meditation.

( (IP-MAT (CONJ;_cl_ And;{and})
          (PP-SCON (P-CONN though;{though})
                   (IP-ADV (NP-SBJ;{SELF_ISOLATING} (N self_<hyphen>_isolating;{self_isolating}))
                           (MD;_cat_Vi_ may;{may})
                           (IP-INF-CAT (PP-NIM (P-ROLE at;{at})
                                               (NP (NS times;{time})))
                                       (BE;_La_ be;{be})
                                       (ADJP-PRD (ADJ hard;{hard})))))
          (PUNC ,)
          (NP-SBJ (ADJP (ADJ many;{many}))
                  (NS people;{people})
                  (PP (PP (P-ROLE of;{of})
                          (NP (Q all;{all})
                              (NS faiths;{faith})))
                      (PUNC ,)
                      (CONJP (CONJ and;{and})
                             (PP (P-ROLE of;{of})
                                 (NP (N none;{none}))))))
          (PUNC ,)
          (BEP;_cat_Vg_ are;{be})
          (IP-PPL-CAT (VAG;_Tf_ discovering;{discover})
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (NP-SBJ;{SELF_ISOLATING} (PRO it;{it}))
                                          (VBP;_Tn_ presents;{present})
                                          (NP-OB1 (D an;{an})
                                                  (N opportunity;{opportunity})
                                                  (IP-INF (TO to;{to})
                                                          (ILYR (ILYR (VB;_Ip_ slow;{slow[down]})
                                                                      (ADVP-CLR (RP down;{down})))
                                                                (PUNC ,)
                                                                (CONJP (ILYR (VB;_I_ pause;{pause})))
                                                                (CONJP (CONJ and;{and})
                                                                       (ILYR (VBP;_Ipr_ reflect;{reflect[in]})
                                                                             (PUNC ,)
                                                                             (PP-CLR (P-ROLE in;{in})
                                                                                     (NP (NLYR (NLYR (N prayer;{prayer}))
                                                                                               (CONJP (CONJ or;{or})
                                                                                                      (NLYR (N meditation;{meditation}))))))))))))))
          (PUNC .))
  (ID 12_a_queen_broadcast))

arc(r_0012_0002__though,r_0012_0004__may,restriction).
arc(r_0012_0002__though,r_0012_0020__are,scope).
arc(r_0012_0004__may,r_0012_0007__be,scope).
arc(r_0012_0007__be,r_0012_0003__self__hyphen__isolating,arg0).
arc(r_0012_0007__be,r_0012_0006__times,r_0012_0005__at__nim).
arc(r_0012_0007__be,r_0012_0008__hard,prd).
arc(r_0012_0011__people,r_0012_0010__many,attrib).
arc(r_0012_0011__people,r_0012_0016__and,z_0012_5011).
arc(r_0012_0013__all__quant,r_0012_0014__faiths,restriction).
arc(r_0012_0013__all__quant,r_0012_0016__and,scope).
arc(r_0012_0016__and,r_0012_0014__faiths,r_0012_0012__of).
arc(r_0012_0016__and,r_0012_0018__none,r_0012_0017__of).
arc(r_0012_0020__are,r_0012_0021__discovering,scope).
arc(r_0012_0021__discovering,r_0012_0011__people,arg0).
arc(r_0012_0021__discovering,r_0012_0024__presents,arg1).
arc(r_0012_0024__presents,r_0012_0003__self__hyphen__isolating,arg0).
arc(r_0012_0024__presents,r_0012_0025__an_r_0012_0026__opportunity,arg1).
arc(r_0012_0025__an_r_0012_0026__opportunity,r_0012_0032__and,emb).
arc(r_0012_0028__slow_r_0012_0029__down,z_0012_5022,arg0).
arc(r_0012_0031__pause,z_0012_5022,arg0).
arc(r_0012_0032__and,r_0012_0028__slow_r_0012_0029__down,conj1).
arc(r_0012_0032__and,r_0012_0031__pause,conj2).
arc(r_0012_0032__and,r_0012_0033__reflect_r_0012_0035__in,conj3).
arc(r_0012_0033__reflect_r_0012_0035__in,r_0012_0037__or,arg1).
arc(r_0012_0033__reflect_r_0012_0035__in,z_0012_5022,arg0).
arc(r_0012_0037__or,r_0012_0036__prayer,conj1).
arc(r_0012_0037__or,r_0012_0038__meditation,conj2).

fof(formula,axiom,
    ? [R_0012_0003__SELF__HYPHEN__ISOLATING,R_0012_0006__TIMES,R_0012_0008__HARD,R_0012_0004__MAY_R_0012_0007__BE,R_0012_0010__MANY,R_0012_0014__FAITHS,R_0012_0018__NONE,R_0012_0016__AND,R_0012_0011__PEOPLE,Z_0012_5022,R_0012_0028__SLOW_R_0012_0029__DOWN,R_0012_0031__PAUSE,R_0012_0036__PRAYER,R_0012_0038__MEDITATION,R_0012_0037__OR,R_0012_0033__REFLECT_R_0012_0035__IN,R_0012_0032__AND,R_0012_0025__AN_R_0012_0026__OPPORTUNITY,R_0012_0024__PRESENTS,R_0012_0020__ARE_R_0012_0021__DISCOVERING,R_0012_0002__THOUGH] :
      ( r_0012_0003__self__hyphen__isolating(R_0012_0003__SELF__HYPHEN__ISOLATING)
      & r_0012_0006__times(R_0012_0006__TIMES)
      & r_0012_0008__hard(R_0012_0008__HARD)
      & r_0012_0010__many(R_0012_0010__MANY)
      & r_0012_0014__faiths(R_0012_0014__FAITHS)
      & r_0012_0018__none(R_0012_0018__NONE)
      & r_0012_0036__prayer(R_0012_0036__PRAYER)
      & r_0012_0038__meditation(R_0012_0038__MEDITATION)
      & z_0012_5022(Z_0012_5022)
      & ( r_0012_0014__faiths(R_0012_0014__FAITHS)
       => r_0012_0020__are_r_0012_0021__discovering(R_0012_0020__ARE_R_0012_0021__DISCOVERING) )
      & r_0012_0002__though(R_0012_0002__THOUGH)
      & has_conj2(R_0012_0002__THOUGH,R_0012_0020__ARE_R_0012_0021__DISCOVERING)
      & r_0012_0020__are_r_0012_0021__discovering(R_0012_0020__ARE_R_0012_0021__DISCOVERING)
      & has_arg1(R_0012_0020__ARE_R_0012_0021__DISCOVERING,R_0012_0024__PRESENTS)
      & r_0012_0024__presents(R_0012_0024__PRESENTS)
      & has_arg1(R_0012_0024__PRESENTS,R_0012_0025__AN_R_0012_0026__OPPORTUNITY)
      & r_0012_0025__an_r_0012_0026__opportunity(R_0012_0025__AN_R_0012_0026__OPPORTUNITY)
      & has_emb(R_0012_0025__AN_R_0012_0026__OPPORTUNITY,R_0012_0032__AND)
      & r_0012_0032__and(R_0012_0032__AND)
      & has_conj3(R_0012_0032__AND,R_0012_0033__REFLECT_R_0012_0035__IN)
      & r_0012_0033__reflect_r_0012_0035__in(R_0012_0033__REFLECT_R_0012_0035__IN)
      & has_arg0(R_0012_0033__REFLECT_R_0012_0035__IN,Z_0012_5022)
      & has_arg1(R_0012_0033__REFLECT_R_0012_0035__IN,R_0012_0037__OR)
      & r_0012_0037__or(R_0012_0037__OR)
      & has_conj2(R_0012_0037__OR,R_0012_0038__MEDITATION)
      & has_conj1(R_0012_0037__OR,R_0012_0036__PRAYER)
      & has_conj2(R_0012_0032__AND,R_0012_0031__PAUSE)
      & r_0012_0031__pause(R_0012_0031__PAUSE)
      & has_arg0(R_0012_0031__PAUSE,Z_0012_5022)
      & has_conj1(R_0012_0032__AND,R_0012_0028__SLOW_R_0012_0029__DOWN)
      & r_0012_0028__slow_r_0012_0029__down(R_0012_0028__SLOW_R_0012_0029__DOWN)
      & has_arg0(R_0012_0028__SLOW_R_0012_0029__DOWN,Z_0012_5022)
      & has_arg0(R_0012_0024__PRESENTS,R_0012_0003__SELF__HYPHEN__ISOLATING)
      & has_arg0(R_0012_0020__ARE_R_0012_0021__DISCOVERING,R_0012_0011__PEOPLE)
      & r_0012_0011__people(R_0012_0011__PEOPLE)
      & has_z_0012_5011(R_0012_0011__PEOPLE,R_0012_0016__AND)
      & r_0012_0016__and(R_0012_0016__AND)
      & has_r_0012_0017__of(R_0012_0016__AND,R_0012_0018__NONE)
      & has_r_0012_0012__of(R_0012_0016__AND,R_0012_0014__FAITHS)
      & has_attrib(R_0012_0011__PEOPLE,R_0012_0010__MANY)
      & has_conj1(R_0012_0002__THOUGH,R_0012_0004__MAY_R_0012_0007__BE)
      & r_0012_0004__may_r_0012_0007__be(R_0012_0004__MAY_R_0012_0007__BE)
      & has_prd(R_0012_0004__MAY_R_0012_0007__BE,R_0012_0008__HARD)
      & has_r_0012_0005__at__nim(R_0012_0004__MAY_R_0012_0007__BE,R_0012_0006__TIMES)
      & has_arg0(R_0012_0004__MAY_R_0012_0007__BE,R_0012_0003__SELF__HYPHEN__ISOLATING) ) ).