Context                Previous, Next                Top


16_a_queen_broadcast
But now, as then, we know, deep down, that it is the right thing to do.

%3 r_0016_0001__But_r_0016_0008__know But know r_0016_0002__now now r_0016_0001__But_r_0016_0008__know->r_0016_0002__now [nim] r_0016_0005__then then r_0016_0001__But_r_0016_0008__know->r_0016_0005__then as [nim] r_0016_0007__we we r_0016_0001__But_r_0016_0008__know->r_0016_0007__we [arg0] r_0016_0010__deep_down deep down r_0016_0001__But_r_0016_0008__know->r_0016_0010__deep_down [nim] r_0016_0012__that_r_0016_0014__is that is r_0016_0001__But_r_0016_0008__know->r_0016_0012__that_r_0016_0014__is [arg1] r_0016_0013__it it r_0016_0012__that_r_0016_0014__is->r_0016_0013__it [arg0] r_0016_0015__the_r_0016_0017__thing the thing r_0016_0012__that_r_0016_0014__is->r_0016_0015__the_r_0016_0017__thing [prd] r_0016_0016__right right r_0016_0015__the_r_0016_0017__thing->r_0016_0016__right [attrib] r_0016_0018__to_r_0016_0019__do to do r_0016_0018__to_r_0016_0019__do->r_0016_0015__the_r_0016_0017__thing [arg1] z_000_16_a_queen_broadcast_46 r_0016_0018__to_r_0016_0019__do->z_000_16_a_queen_broadcast_46 [arg0] 
arc(r_0016_0001__But_r_0016_0008__know, r_0016_0002__now, nim4).
arc(r_0016_0001__But_r_0016_0008__know, r_0016_0005__then, r_0016_0004__as_nim12).
arc(r_0016_0001__But_r_0016_0008__know, r_0016_0007__we, arg0).
arc(r_0016_0001__But_r_0016_0008__know, r_0016_0010__deep_down, nim24).
arc(r_0016_0001__But_r_0016_0008__know, r_0016_0012__that_r_0016_0014__is, arg1).
arc(r_0016_0012__that_r_0016_0014__is, r_0016_0013__it, arg0).
arc(r_0016_0012__that_r_0016_0014__is, r_0016_0015__the_r_0016_0017__thing, prd).
arc(r_0016_0015__the_r_0016_0017__thing, r_0016_0016__right, attrib41).
arc(r_0016_0018__to_r_0016_0019__do, r_0016_0015__the_r_0016_0017__thing, arg1).
arc(r_0016_0018__to_r_0016_0019__do, z_000_16_a_queen_broadcast_46, arg0).


%3 r_0016_0001__But_r_0016_0008__know But know r_0016_0002__now now r_0016_0001__But_r_0016_0008__know->r_0016_0002__now [nim] r_0016_0005__then then r_0016_0001__But_r_0016_0008__know->r_0016_0005__then as [nim] r_0016_0007__we we r_0016_0001__But_r_0016_0008__know->r_0016_0007__we [arg0] r_0016_0010__deep_down deep down r_0016_0001__But_r_0016_0008__know->r_0016_0010__deep_down [nim] r_0016_0012__that_r_0016_0014__is that is r_0016_0001__But_r_0016_0008__know->r_0016_0012__that_r_0016_0014__is [arg1] r_0016_0013__it it r_0016_0012__that_r_0016_0014__is->r_0016_0013__it [arg0] r_0016_0015__the_r_0016_0017__thing the thing r_0016_0012__that_r_0016_0014__is->r_0016_0015__the_r_0016_0017__thing [prd] r_0016_0016__right right r_0016_0015__the_r_0016_0017__thing->r_0016_0016__right [attrib] r_0016_0018__to_r_0016_0019__do to do r_0016_0018__to_r_0016_0019__do->r_0016_0015__the_r_0016_0017__thing [arg1] z_000_16_a_queen_broadcast_46 r_0016_0018__to_r_0016_0019__do->z_000_16_a_queen_broadcast_46 [arg0] 
fof(formula,axiom,
    ? [R_16_1_BUT_KNOW,R_16_7_WE,R_16_12_THAT_IS,R_16_13_IT,R_16_10_DEEP_DOWN,R_16_2_NOW,R_16_5_THEN,R_16_18_TO_DO,Z_16_A_QUEEN_BROADCAST_46,R_16_15_THE_THING,R_16_16_RIGHT] :
      ( we(R_16_7_WE)
      & it(R_16_13_IT)
      & deep_down(R_16_10_DEEP_DOWN)
      & now(R_16_2_NOW)
      & then(R_16_5_THEN)
      & right(R_16_16_RIGHT)
      & but_know(R_16_1_BUT_KNOW,R_16_7_WE,R_16_12_THAT_IS)
      & that_is(R_16_12_THAT_IS,R_16_13_IT,R_16_15_THE_THING)
      & the_thing(R_16_15_THE_THING)
      & attrib41(R_16_15_THE_THING,R_16_16_RIGHT)
      & nim24(R_16_1_BUT_KNOW,R_16_10_DEEP_DOWN)
      & nim4(R_16_1_BUT_KNOW,R_16_2_NOW)
      & as_nim12(R_16_1_BUT_KNOW,R_16_5_THEN)
      & to_do(R_16_18_TO_DO,Z_16_A_QUEEN_BROADCAST_46,R_16_15_THE_THING) ) ).


n16_a_queen_broadcast n16_a_queen_broadcast_3 But n16_a_queen_broadcast_6 now n16_a_queen_broadcast_8 , n16_a_queen_broadcast_11 as n16_a_queen_broadcast_14 then n16_a_queen_broadcast_16 , n16_a_queen_broadcast_19 we n16_a_queen_broadcast_21 know n16_a_queen_broadcast_23 , n16_a_queen_broadcast_26 deep_down n16_a_queen_broadcast_28 , n16_a_queen_broadcast_32 that n16_a_queen_broadcast_35 it n16_a_queen_broadcast_37 is n16_a_queen_broadcast_40 the n16_a_queen_broadcast_43 right n16_a_queen_broadcast_45 thing n16_a_queen_broadcast_48 *T* n16_a_queen_broadcast_50 to n16_a_queen_broadcast_52 do n16_a_queen_broadcast_54 . n16_a_queen_broadcast_1 IP-MAT n16_a_queen_broadcast_2 CONJ;_cl_ n16_a_queen_broadcast_1->n16_a_queen_broadcast_2 n16_a_queen_broadcast_4 ADVP-NIM n16_a_queen_broadcast_1->n16_a_queen_broadcast_4 n16_a_queen_broadcast_7 PUNC n16_a_queen_broadcast_1->n16_a_queen_broadcast_7 n16_a_queen_broadcast_9 PP-NIM n16_a_queen_broadcast_1->n16_a_queen_broadcast_9 n16_a_queen_broadcast_15 PUNC n16_a_queen_broadcast_1->n16_a_queen_broadcast_15 n16_a_queen_broadcast_17 NP-SBJ n16_a_queen_broadcast_1->n16_a_queen_broadcast_17 n16_a_queen_broadcast_20 VBP;_Tf_ n16_a_queen_broadcast_1->n16_a_queen_broadcast_20 n16_a_queen_broadcast_22 PUNC n16_a_queen_broadcast_1->n16_a_queen_broadcast_22 n16_a_queen_broadcast_24 ADVP-NIM n16_a_queen_broadcast_1->n16_a_queen_broadcast_24 n16_a_queen_broadcast_27 PUNC n16_a_queen_broadcast_1->n16_a_queen_broadcast_27 n16_a_queen_broadcast_29 CP-THT-OB1 n16_a_queen_broadcast_1->n16_a_queen_broadcast_29 n16_a_queen_broadcast_53 PUNC n16_a_queen_broadcast_1->n16_a_queen_broadcast_53 n16_a_queen_broadcast_2->n16_a_queen_broadcast_3 n16_a_queen_broadcast_5 ADV n16_a_queen_broadcast_4->n16_a_queen_broadcast_5 n16_a_queen_broadcast_5->n16_a_queen_broadcast_6 n16_a_queen_broadcast_7->n16_a_queen_broadcast_8 n16_a_queen_broadcast_10 P-ROLE n16_a_queen_broadcast_9->n16_a_queen_broadcast_10 n16_a_queen_broadcast_12 ADVP n16_a_queen_broadcast_9->n16_a_queen_broadcast_12 n16_a_queen_broadcast_10->n16_a_queen_broadcast_11 n16_a_queen_broadcast_13 ADV n16_a_queen_broadcast_12->n16_a_queen_broadcast_13 n16_a_queen_broadcast_13->n16_a_queen_broadcast_14 n16_a_queen_broadcast_15->n16_a_queen_broadcast_16 n16_a_queen_broadcast_18 PRO n16_a_queen_broadcast_17->n16_a_queen_broadcast_18 n16_a_queen_broadcast_18->n16_a_queen_broadcast_19 n16_a_queen_broadcast_20->n16_a_queen_broadcast_21 n16_a_queen_broadcast_22->n16_a_queen_broadcast_23 n16_a_queen_broadcast_25 ADV n16_a_queen_broadcast_24->n16_a_queen_broadcast_25 n16_a_queen_broadcast_25->n16_a_queen_broadcast_26 n16_a_queen_broadcast_27->n16_a_queen_broadcast_28 n16_a_queen_broadcast_30 IP-SUB n16_a_queen_broadcast_29->n16_a_queen_broadcast_30 n16_a_queen_broadcast_31 C n16_a_queen_broadcast_30->n16_a_queen_broadcast_31 n16_a_queen_broadcast_33 NP-SBJ n16_a_queen_broadcast_30->n16_a_queen_broadcast_33 n16_a_queen_broadcast_36 BEP;_Ln_ n16_a_queen_broadcast_30->n16_a_queen_broadcast_36 n16_a_queen_broadcast_38 NP-PRD n16_a_queen_broadcast_30->n16_a_queen_broadcast_38 n16_a_queen_broadcast_31->n16_a_queen_broadcast_32 n16_a_queen_broadcast_34 PRO n16_a_queen_broadcast_33->n16_a_queen_broadcast_34 n16_a_queen_broadcast_34->n16_a_queen_broadcast_35 n16_a_queen_broadcast_36->n16_a_queen_broadcast_37 n16_a_queen_broadcast_39 D n16_a_queen_broadcast_38->n16_a_queen_broadcast_39 n16_a_queen_broadcast_41 ADJP n16_a_queen_broadcast_38->n16_a_queen_broadcast_41 n16_a_queen_broadcast_44 N n16_a_queen_broadcast_38->n16_a_queen_broadcast_44 n16_a_queen_broadcast_46 IP-INF-REL n16_a_queen_broadcast_38->n16_a_queen_broadcast_46 n16_a_queen_broadcast_39->n16_a_queen_broadcast_40 n16_a_queen_broadcast_42 ADJ n16_a_queen_broadcast_41->n16_a_queen_broadcast_42 n16_a_queen_broadcast_42->n16_a_queen_broadcast_43 n16_a_queen_broadcast_44->n16_a_queen_broadcast_45 n16_a_queen_broadcast_47 NP-OB1 n16_a_queen_broadcast_46->n16_a_queen_broadcast_47 n16_a_queen_broadcast_49 TO n16_a_queen_broadcast_46->n16_a_queen_broadcast_49 n16_a_queen_broadcast_51 DO;_Tn_ n16_a_queen_broadcast_46->n16_a_queen_broadcast_51 n16_a_queen_broadcast_47->n16_a_queen_broadcast_48 n16_a_queen_broadcast_49->n16_a_queen_broadcast_50 n16_a_queen_broadcast_51->n16_a_queen_broadcast_52 n16_a_queen_broadcast_53->n16_a_queen_broadcast_54 
( (IP-MAT (CONJ;_cl_ But;{but})
          (ADVP-NIM (ADV now;{now}))
          (PUNC ,)
          (PP-NIM (P-ROLE as;{as})
                  (ADVP (ADV then;{then})))
          (PUNC ,)
          (NP-SBJ (PRO we;{we}))
          (VBP;_Tf_ know;{know})
          (PUNC ,)
          (ADVP-NIM (ADV deep_down;{deep_down}))
          (PUNC ,)
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ;{SEPARATION} (PRO it;{it}))
                              (BEP;_Ln_ is;{be})
                              (NP-PRD (D the;{the})
                                      (ADJP (ADJ right;{right}))
                                      (N thing;{thing})
                                      (IP-INF-REL (NP-OB1 *T*)
                                                  (TO to;{to})
                                                  (DO;_Tn_ do;{do})))))
          (PUNC .))
  (ID 16_a_queen_broadcast))