Context                Previous, Next                Top


17_a_queen_broadcast
While we have faced challenges before, this one is different.

n17_a_queen_broadcast n17_a_queen_broadcast__1_1_1_1 While n17_a_queen_broadcast__1_1_2_1_1_1 we n17_a_queen_broadcast__1_1_2_2_1 have n17_a_queen_broadcast__1_1_2_3_1_1 faced n17_a_queen_broadcast__1_1_2_3_2_1_1 challenges n17_a_queen_broadcast__1_1_2_3_3_1_1 before n17_a_queen_broadcast__1_2_1 , n17_a_queen_broadcast__1_3_1_1 this n17_a_queen_broadcast__1_3_2_1 one n17_a_queen_broadcast__1_4_1 is n17_a_queen_broadcast__1_5_1_1 different n17_a_queen_broadcast__1_6_1 . n17_a_queen_broadcast__1 IP-MAT n17_a_queen_broadcast__1_1 PP-SCON n17_a_queen_broadcast__1->n17_a_queen_broadcast__1_1 n17_a_queen_broadcast__1_2 PUNC n17_a_queen_broadcast__1->n17_a_queen_broadcast__1_2 n17_a_queen_broadcast__1_3 NP-SBJ n17_a_queen_broadcast__1->n17_a_queen_broadcast__1_3 n17_a_queen_broadcast__1_4 BEP;_La_ n17_a_queen_broadcast__1->n17_a_queen_broadcast__1_4 n17_a_queen_broadcast__1_5 ADJP-PRD n17_a_queen_broadcast__1->n17_a_queen_broadcast__1_5 n17_a_queen_broadcast__1_6 PUNC n17_a_queen_broadcast__1->n17_a_queen_broadcast__1_6 n17_a_queen_broadcast__1_1_1 P-CONN n17_a_queen_broadcast__1_1->n17_a_queen_broadcast__1_1_1 n17_a_queen_broadcast__1_1_2 IP-ADV n17_a_queen_broadcast__1_1->n17_a_queen_broadcast__1_1_2 n17_a_queen_broadcast__1_1_1->n17_a_queen_broadcast__1_1_1_1 n17_a_queen_broadcast__1_1_2_1 NP-SBJ n17_a_queen_broadcast__1_1_2->n17_a_queen_broadcast__1_1_2_1 n17_a_queen_broadcast__1_1_2_2 HVP;_cat_Ve_ n17_a_queen_broadcast__1_1_2->n17_a_queen_broadcast__1_1_2_2 n17_a_queen_broadcast__1_1_2_3 IP-PPL-CAT n17_a_queen_broadcast__1_1_2->n17_a_queen_broadcast__1_1_2_3 n17_a_queen_broadcast__1_1_2_1_1 PRO n17_a_queen_broadcast__1_1_2_1->n17_a_queen_broadcast__1_1_2_1_1 n17_a_queen_broadcast__1_1_2_1_1->n17_a_queen_broadcast__1_1_2_1_1_1 n17_a_queen_broadcast__1_1_2_2->n17_a_queen_broadcast__1_1_2_2_1 n17_a_queen_broadcast__1_1_2_3_1 VVN;_Tn_ n17_a_queen_broadcast__1_1_2_3->n17_a_queen_broadcast__1_1_2_3_1 n17_a_queen_broadcast__1_1_2_3_2 NP-OB1 n17_a_queen_broadcast__1_1_2_3->n17_a_queen_broadcast__1_1_2_3_2 n17_a_queen_broadcast__1_1_2_3_3 ADVP-NIM n17_a_queen_broadcast__1_1_2_3->n17_a_queen_broadcast__1_1_2_3_3 n17_a_queen_broadcast__1_1_2_3_1->n17_a_queen_broadcast__1_1_2_3_1_1 n17_a_queen_broadcast__1_1_2_3_2_1 NS n17_a_queen_broadcast__1_1_2_3_2->n17_a_queen_broadcast__1_1_2_3_2_1 n17_a_queen_broadcast__1_1_2_3_2_1->n17_a_queen_broadcast__1_1_2_3_2_1_1 n17_a_queen_broadcast__1_1_2_3_3_1 ADV n17_a_queen_broadcast__1_1_2_3_3->n17_a_queen_broadcast__1_1_2_3_3_1 n17_a_queen_broadcast__1_1_2_3_3_1->n17_a_queen_broadcast__1_1_2_3_3_1_1 n17_a_queen_broadcast__1_2->n17_a_queen_broadcast__1_2_1 n17_a_queen_broadcast__1_3_1 D n17_a_queen_broadcast__1_3->n17_a_queen_broadcast__1_3_1 n17_a_queen_broadcast__1_3_2 N n17_a_queen_broadcast__1_3->n17_a_queen_broadcast__1_3_2 n17_a_queen_broadcast__1_3_1->n17_a_queen_broadcast__1_3_1_1 n17_a_queen_broadcast__1_3_2->n17_a_queen_broadcast__1_3_2_1 n17_a_queen_broadcast__1_4->n17_a_queen_broadcast__1_4_1 n17_a_queen_broadcast__1_5_1 ADJ n17_a_queen_broadcast__1_5->n17_a_queen_broadcast__1_5_1 n17_a_queen_broadcast__1_5_1->n17_a_queen_broadcast__1_5_1_1 n17_a_queen_broadcast__1_6->n17_a_queen_broadcast__1_6_1 
( (IP-MAT (PP-SCON (P-CONN While;{while})
                   (IP-ADV (NP-SBJ (PRO we;{we}))
                           (HVP;_cat_Ve_ have;{have})
                           (IP-PPL-CAT (VVN;_Tn_ faced;{face})
                                       (NP-OB1 (NS challenges;{challenge}))
                                       (ADVP-NIM (ADV before;{before})))))
          (PUNC ,)
          (NP-SBJ (D this;{this})
                  (N one;{one}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ different;{different}))
          (PUNC .))
  (ID 17_a_queen_broadcast))


%3 r_0017_0010__is is r_0017_0011__different different r_0017_0010__is->r_0017_0011__different [prd] r_0017_0008__this_r_0017_0009__one this one r_0017_0010__is->r_0017_0008__this_r_0017_0009__one [arg0] r_0017_0004__faced faced r_0017_0006__before before r_0017_0004__faced->r_0017_0006__before [nim] r_0017_0005__challenges challenges r_0017_0004__faced->r_0017_0005__challenges [arg1] r_0017_0002__we we r_0017_0004__faced->r_0017_0002__we [arg0] r_0017_0003__have have r_0017_0003__have->r_0017_0004__faced [scope] r_0017_0001__While While r_0017_0001__While->r_0017_0010__is [scope] r_0017_0001__While->r_0017_0003__have [restriction] 
arc(r_0017_0001__While,r_0017_0003__have,restriction).
arc(r_0017_0001__While,r_0017_0010__is,scope).
arc(r_0017_0003__have,r_0017_0004__faced,scope).
arc(r_0017_0004__faced,r_0017_0002__we,arg0).
arc(r_0017_0004__faced,r_0017_0005__challenges,arg1).
arc(r_0017_0004__faced,r_0017_0006__before,nim).
arc(r_0017_0010__is,r_0017_0008__this_r_0017_0009__one,arg0).
arc(r_0017_0010__is,r_0017_0011__different,prd).


%3 r_0017_0001__While While r_0017_0003__have_r_0017_0004__faced have faced r_0017_0001__While->r_0017_0003__have_r_0017_0004__faced [conj1] r_0017_0010__is is r_0017_0001__While->r_0017_0010__is [conj2] r_0017_0002__we we r_0017_0003__have_r_0017_0004__faced->r_0017_0002__we [arg0] r_0017_0005__challenges challenges r_0017_0003__have_r_0017_0004__faced->r_0017_0005__challenges [arg1] r_0017_0006__before before r_0017_0003__have_r_0017_0004__faced->r_0017_0006__before [nim] r_0017_0008__this_r_0017_0009__one this one r_0017_0010__is->r_0017_0008__this_r_0017_0009__one [arg0] r_0017_0011__different different r_0017_0010__is->r_0017_0011__different [prd] 
fof(formula,axiom,
    ? [R_0017_0002__WE,R_0017_0005__CHALLENGES,R_0017_0006__BEFORE,R_0017_0003__HAVE_R_0017_0004__FACED,R_0017_0008__THIS_R_0017_0009__ONE,R_0017_0011__DIFFERENT,R_0017_0010__IS,R_0017_0001__WHILE] :
      ( r_0017_0002__we(R_0017_0002__WE)
      & r_0017_0005__challenges(R_0017_0005__CHALLENGES)
      & r_0017_0006__before(R_0017_0006__BEFORE)
      & r_0017_0008__this_r_0017_0009__one(R_0017_0008__THIS_R_0017_0009__ONE)
      & r_0017_0011__different(R_0017_0011__DIFFERENT)
      & r_0017_0001__While(R_0017_0001__WHILE)
      & has_conj2(R_0017_0001__WHILE,R_0017_0010__IS)
      & r_0017_0010__is(R_0017_0010__IS)
      & has_prd(R_0017_0010__IS,R_0017_0011__DIFFERENT)
      & has_arg0(R_0017_0010__IS,R_0017_0008__THIS_R_0017_0009__ONE)
      & has_conj1(R_0017_0001__WHILE,R_0017_0003__HAVE_R_0017_0004__FACED)
      & r_0017_0003__have_r_0017_0004__faced(R_0017_0003__HAVE_R_0017_0004__FACED)
      & has_nim(R_0017_0003__HAVE_R_0017_0004__FACED,R_0017_0006__BEFORE)
      & has_arg1(R_0017_0003__HAVE_R_0017_0004__FACED,R_0017_0005__CHALLENGES)
      & has_arg0(R_0017_0003__HAVE_R_0017_0004__FACED,R_0017_0002__WE) ) ).