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_0018__to_r_0016_0019__do to do z_000_16_a_queen_broadcast_46 r_0016_0018__to_r_0016_0019__do->z_000_16_a_queen_broadcast_46 [arg0] r_0016_0015__the_r_0016_0017__thing the thing r_0016_0018__to_r_0016_0019__do->r_0016_0015__the_r_0016_0017__thing [arg1] r_0016_0016__right right r_0016_0015__the_r_0016_0017__thing->r_0016_0016__right [attrib] r_0016_0012__that_r_0016_0014__is that is r_0016_0012__that_r_0016_0014__is->r_0016_0015__the_r_0016_0017__thing [prd] r_0016_0013__it it r_0016_0012__that_r_0016_0014__is->r_0016_0013__it [arg0] r_0016_0001__But_r_0016_0008__know But know r_0016_0001__But_r_0016_0008__know->r_0016_0012__that_r_0016_0014__is [arg1] r_0016_0010__deep_down deep down r_0016_0001__But_r_0016_0008__know->r_0016_0010__deep_down [nim] r_0016_0007__we we r_0016_0001__But_r_0016_0008__know->r_0016_0007__we [arg0] r_0016_0005__then then r_0016_0001__But_r_0016_0008__know->r_0016_0005__then as [nim] r_0016_0002__now now r_0016_0001__But_r_0016_0008__know->r_0016_0002__now [nim] 
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__1_1_1 But n16_a_queen_broadcast__1_2_1_1 now n16_a_queen_broadcast__1_3_1 , n16_a_queen_broadcast__1_4_1_1 as n16_a_queen_broadcast__1_4_2_1_1 then n16_a_queen_broadcast__1_5_1 , n16_a_queen_broadcast__1_6_1_1 we n16_a_queen_broadcast__1_7_1 know n16_a_queen_broadcast__1_8_1 , n16_a_queen_broadcast__1_9_1_1 deep_down n16_a_queen_broadcast__1_10_1 , n16_a_queen_broadcast__1_11_1_1_1 that n16_a_queen_broadcast__1_11_1_2_1_1 it n16_a_queen_broadcast__1_11_1_3_1 is n16_a_queen_broadcast__1_11_1_4_1_1 the n16_a_queen_broadcast__1_11_1_4_2_1_1 right n16_a_queen_broadcast__1_11_1_4_3_1 thing n16_a_queen_broadcast__1_11_1_4_4_1_1 *T* n16_a_queen_broadcast__1_11_1_4_4_2_1 to n16_a_queen_broadcast__1_11_1_4_4_3_1 do n16_a_queen_broadcast__1_12_1 . n16_a_queen_broadcast__1 IP-MAT n16_a_queen_broadcast__1_1 CONJ;_cl_ n16_a_queen_broadcast__1->n16_a_queen_broadcast__1_1 n16_a_queen_broadcast__1_2 ADVP-NIM n16_a_queen_broadcast__1->n16_a_queen_broadcast__1_2 n16_a_queen_broadcast__1_3 PUNC n16_a_queen_broadcast__1->n16_a_queen_broadcast__1_3 n16_a_queen_broadcast__1_4 PP-NIM n16_a_queen_broadcast__1->n16_a_queen_broadcast__1_4 n16_a_queen_broadcast__1_5 PUNC n16_a_queen_broadcast__1->n16_a_queen_broadcast__1_5 n16_a_queen_broadcast__1_6 NP-SBJ n16_a_queen_broadcast__1->n16_a_queen_broadcast__1_6 n16_a_queen_broadcast__1_7 VBP;_Tf_ n16_a_queen_broadcast__1->n16_a_queen_broadcast__1_7 n16_a_queen_broadcast__1_8 PUNC n16_a_queen_broadcast__1->n16_a_queen_broadcast__1_8 n16_a_queen_broadcast__1_9 ADVP-NIM n16_a_queen_broadcast__1->n16_a_queen_broadcast__1_9 n16_a_queen_broadcast__1_10 PUNC n16_a_queen_broadcast__1->n16_a_queen_broadcast__1_10 n16_a_queen_broadcast__1_11 CP-THT-OB1 n16_a_queen_broadcast__1->n16_a_queen_broadcast__1_11 n16_a_queen_broadcast__1_12 PUNC n16_a_queen_broadcast__1->n16_a_queen_broadcast__1_12 n16_a_queen_broadcast__1_1->n16_a_queen_broadcast__1_1_1 n16_a_queen_broadcast__1_2_1 ADV n16_a_queen_broadcast__1_2->n16_a_queen_broadcast__1_2_1 n16_a_queen_broadcast__1_2_1->n16_a_queen_broadcast__1_2_1_1 n16_a_queen_broadcast__1_3->n16_a_queen_broadcast__1_3_1 n16_a_queen_broadcast__1_4_1 P-ROLE n16_a_queen_broadcast__1_4->n16_a_queen_broadcast__1_4_1 n16_a_queen_broadcast__1_4_2 ADVP n16_a_queen_broadcast__1_4->n16_a_queen_broadcast__1_4_2 n16_a_queen_broadcast__1_4_1->n16_a_queen_broadcast__1_4_1_1 n16_a_queen_broadcast__1_4_2_1 ADV n16_a_queen_broadcast__1_4_2->n16_a_queen_broadcast__1_4_2_1 n16_a_queen_broadcast__1_4_2_1->n16_a_queen_broadcast__1_4_2_1_1 n16_a_queen_broadcast__1_5->n16_a_queen_broadcast__1_5_1 n16_a_queen_broadcast__1_6_1 PRO n16_a_queen_broadcast__1_6->n16_a_queen_broadcast__1_6_1 n16_a_queen_broadcast__1_6_1->n16_a_queen_broadcast__1_6_1_1 n16_a_queen_broadcast__1_7->n16_a_queen_broadcast__1_7_1 n16_a_queen_broadcast__1_8->n16_a_queen_broadcast__1_8_1 n16_a_queen_broadcast__1_9_1 ADV n16_a_queen_broadcast__1_9->n16_a_queen_broadcast__1_9_1 n16_a_queen_broadcast__1_9_1->n16_a_queen_broadcast__1_9_1_1 n16_a_queen_broadcast__1_10->n16_a_queen_broadcast__1_10_1 n16_a_queen_broadcast__1_11_1 IP-SUB n16_a_queen_broadcast__1_11->n16_a_queen_broadcast__1_11_1 n16_a_queen_broadcast__1_11_1_1 C n16_a_queen_broadcast__1_11_1->n16_a_queen_broadcast__1_11_1_1 n16_a_queen_broadcast__1_11_1_2 NP-SBJ n16_a_queen_broadcast__1_11_1->n16_a_queen_broadcast__1_11_1_2 n16_a_queen_broadcast__1_11_1_3 BEP;_Ln_ n16_a_queen_broadcast__1_11_1->n16_a_queen_broadcast__1_11_1_3 n16_a_queen_broadcast__1_11_1_4 NP-PRD n16_a_queen_broadcast__1_11_1->n16_a_queen_broadcast__1_11_1_4 n16_a_queen_broadcast__1_11_1_1->n16_a_queen_broadcast__1_11_1_1_1 n16_a_queen_broadcast__1_11_1_2_1 PRO n16_a_queen_broadcast__1_11_1_2->n16_a_queen_broadcast__1_11_1_2_1 n16_a_queen_broadcast__1_11_1_2_1->n16_a_queen_broadcast__1_11_1_2_1_1 n16_a_queen_broadcast__1_11_1_3->n16_a_queen_broadcast__1_11_1_3_1 n16_a_queen_broadcast__1_11_1_4_1 D n16_a_queen_broadcast__1_11_1_4->n16_a_queen_broadcast__1_11_1_4_1 n16_a_queen_broadcast__1_11_1_4_2 ADJP n16_a_queen_broadcast__1_11_1_4->n16_a_queen_broadcast__1_11_1_4_2 n16_a_queen_broadcast__1_11_1_4_3 N n16_a_queen_broadcast__1_11_1_4->n16_a_queen_broadcast__1_11_1_4_3 n16_a_queen_broadcast__1_11_1_4_4 IP-INF-REL n16_a_queen_broadcast__1_11_1_4->n16_a_queen_broadcast__1_11_1_4_4 n16_a_queen_broadcast__1_11_1_4_1->n16_a_queen_broadcast__1_11_1_4_1_1 n16_a_queen_broadcast__1_11_1_4_2_1 ADJ n16_a_queen_broadcast__1_11_1_4_2->n16_a_queen_broadcast__1_11_1_4_2_1 n16_a_queen_broadcast__1_11_1_4_2_1->n16_a_queen_broadcast__1_11_1_4_2_1_1 n16_a_queen_broadcast__1_11_1_4_3->n16_a_queen_broadcast__1_11_1_4_3_1 n16_a_queen_broadcast__1_11_1_4_4_1 NP-OB1 n16_a_queen_broadcast__1_11_1_4_4->n16_a_queen_broadcast__1_11_1_4_4_1 n16_a_queen_broadcast__1_11_1_4_4_2 TO n16_a_queen_broadcast__1_11_1_4_4->n16_a_queen_broadcast__1_11_1_4_4_2 n16_a_queen_broadcast__1_11_1_4_4_3 DO;_Tn_ n16_a_queen_broadcast__1_11_1_4_4->n16_a_queen_broadcast__1_11_1_4_4_3 n16_a_queen_broadcast__1_11_1_4_4_1->n16_a_queen_broadcast__1_11_1_4_4_1_1 n16_a_queen_broadcast__1_11_1_4_4_2->n16_a_queen_broadcast__1_11_1_4_4_2_1 n16_a_queen_broadcast__1_11_1_4_4_3->n16_a_queen_broadcast__1_11_1_4_4_3_1 n16_a_queen_broadcast__1_12->n16_a_queen_broadcast__1_12_1 
( (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))