Context                Previous, Next                Top


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

%3 r_0017_0001__While While r_0017_0003__have have r_0017_0001__While->r_0017_0003__have [restriction] r_0017_0010__is is r_0017_0001__While->r_0017_0010__is [scope] r_0017_0004__faced faced r_0017_0003__have->r_0017_0004__faced [scope] 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] r_0017_0002__we we r_0017_0004__faced->r_0017_0002__we [arg0] r_0017_0005__challenges challenges r_0017_0004__faced->r_0017_0005__challenges [arg1] r_0017_0006__before before r_0017_0004__faced->r_0017_0006__before [nim] 
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, nim17).
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_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_0003__have_r_0017_0004__faced have faced r_0017_0006__before before r_0017_0003__have_r_0017_0004__faced->r_0017_0006__before [nim] r_0017_0005__challenges challenges r_0017_0003__have_r_0017_0004__faced->r_0017_0005__challenges [arg1] r_0017_0002__we we r_0017_0003__have_r_0017_0004__faced->r_0017_0002__we [arg0] r_0017_0001__While While r_0017_0001__While->r_0017_0010__is [conj2] r_0017_0001__While->r_0017_0003__have_r_0017_0004__faced [conj1] 
fof(formula,axiom,
    ? [R_17_1_WHILE,R_17_3_HAVE_FACED,R_17_2_WE,R_17_5_CHALLENGES,R_17_6_BEFORE,R_17_10_IS,R_17_8_THIS_ONE,R_17_11_DIFFERENT] :
      ( we(R_17_2_WE)
      & challenges(R_17_5_CHALLENGES)
      & before(R_17_6_BEFORE)
      & this_one(R_17_8_THIS_ONE)
      & different(R_17_11_DIFFERENT)
      & while(R_17_1_WHILE)
      & conj1(R_17_1_WHILE,R_17_3_HAVE_FACED)
      & have_faced(R_17_3_HAVE_FACED,R_17_2_WE,R_17_5_CHALLENGES)
      & nim17(R_17_3_HAVE_FACED,R_17_6_BEFORE)
      & conj2(R_17_1_WHILE,R_17_10_IS)
      & is(R_17_10_IS,R_17_8_THIS_ONE,R_17_11_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))