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_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_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_4 While n17_a_queen_broadcast_8 we n17_a_queen_broadcast_10 have n17_a_queen_broadcast_13 faced n17_a_queen_broadcast_16 challenges n17_a_queen_broadcast_19 before n17_a_queen_broadcast_21 , n17_a_queen_broadcast_24 this n17_a_queen_broadcast_26 one n17_a_queen_broadcast_28 is n17_a_queen_broadcast_31 different n17_a_queen_broadcast_33 . n17_a_queen_broadcast_1 IP-MAT n17_a_queen_broadcast_2 PP-SCON n17_a_queen_broadcast_1->n17_a_queen_broadcast_2 n17_a_queen_broadcast_20 PUNC n17_a_queen_broadcast_1->n17_a_queen_broadcast_20 n17_a_queen_broadcast_22 NP-SBJ n17_a_queen_broadcast_1->n17_a_queen_broadcast_22 n17_a_queen_broadcast_27 BEP;_La_ n17_a_queen_broadcast_1->n17_a_queen_broadcast_27 n17_a_queen_broadcast_29 ADJP-PRD n17_a_queen_broadcast_1->n17_a_queen_broadcast_29 n17_a_queen_broadcast_32 PUNC n17_a_queen_broadcast_1->n17_a_queen_broadcast_32 n17_a_queen_broadcast_3 P-CONN n17_a_queen_broadcast_2->n17_a_queen_broadcast_3 n17_a_queen_broadcast_5 IP-ADV n17_a_queen_broadcast_2->n17_a_queen_broadcast_5 n17_a_queen_broadcast_3->n17_a_queen_broadcast_4 n17_a_queen_broadcast_6 NP-SBJ n17_a_queen_broadcast_5->n17_a_queen_broadcast_6 n17_a_queen_broadcast_9 HVP;_cat_Ve_ n17_a_queen_broadcast_5->n17_a_queen_broadcast_9 n17_a_queen_broadcast_11 IP-PPL-CAT n17_a_queen_broadcast_5->n17_a_queen_broadcast_11 n17_a_queen_broadcast_7 PRO n17_a_queen_broadcast_6->n17_a_queen_broadcast_7 n17_a_queen_broadcast_7->n17_a_queen_broadcast_8 n17_a_queen_broadcast_9->n17_a_queen_broadcast_10 n17_a_queen_broadcast_12 VVN;_Tn_ n17_a_queen_broadcast_11->n17_a_queen_broadcast_12 n17_a_queen_broadcast_14 NP-OB1 n17_a_queen_broadcast_11->n17_a_queen_broadcast_14 n17_a_queen_broadcast_17 ADVP-NIM n17_a_queen_broadcast_11->n17_a_queen_broadcast_17 n17_a_queen_broadcast_12->n17_a_queen_broadcast_13 n17_a_queen_broadcast_15 NS n17_a_queen_broadcast_14->n17_a_queen_broadcast_15 n17_a_queen_broadcast_15->n17_a_queen_broadcast_16 n17_a_queen_broadcast_18 ADV n17_a_queen_broadcast_17->n17_a_queen_broadcast_18 n17_a_queen_broadcast_18->n17_a_queen_broadcast_19 n17_a_queen_broadcast_20->n17_a_queen_broadcast_21 n17_a_queen_broadcast_23 D n17_a_queen_broadcast_22->n17_a_queen_broadcast_23 n17_a_queen_broadcast_25 N n17_a_queen_broadcast_22->n17_a_queen_broadcast_25 n17_a_queen_broadcast_23->n17_a_queen_broadcast_24 n17_a_queen_broadcast_25->n17_a_queen_broadcast_26 n17_a_queen_broadcast_27->n17_a_queen_broadcast_28 n17_a_queen_broadcast_30 ADJ n17_a_queen_broadcast_29->n17_a_queen_broadcast_30 n17_a_queen_broadcast_30->n17_a_queen_broadcast_31 n17_a_queen_broadcast_32->n17_a_queen_broadcast_33 
( (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))