Context                Previous, Next                Top


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

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))


%3 r_0016_0019__do do z_0016_5007 r_0016_0019__do->z_0016_5007 [arg0] r_0016_0015__the_r_0016_0017__thing the thing r_0016_0019__do->r_0016_0015__the_r_0016_0017__thing [inv_arg1] r_0016_0016__right right r_0016_0015__the_r_0016_0017__thing->r_0016_0016__right [attrib] r_0016_0014__is is r_0016_0014__is->r_0016_0015__the_r_0016_0017__thing [prd] r_0016_0013__it it r_0016_0014__is->r_0016_0013__it [arg0] r_0016_0008__know know r_0016_0008__know->r_0016_0014__is [arg1] r_0016_0010__deep_down deep_down r_0016_0008__know->r_0016_0010__deep_down [nim] r_0016_0007__we we r_0016_0008__know->r_0016_0007__we [arg0] r_0016_0005__then then r_0016_0008__know->r_0016_0005__then as [nim] r_0016_0002__now now r_0016_0008__know->r_0016_0002__now [nim] 
arc(r_0016_0008__know,r_0016_0002__now,nim).
arc(r_0016_0008__know,r_0016_0005__then,r_0016_0004__as__nim).
arc(r_0016_0008__know,r_0016_0007__we,arg0).
arc(r_0016_0008__know,r_0016_0010__deep_down,nim).
arc(r_0016_0008__know,r_0016_0014__is,arg1).
arc(r_0016_0014__is,r_0016_0013__it,arg0).
arc(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,attrib).
arc(r_0016_0019__do,r_0016_0015__the_r_0016_0017__thing,inv_arg1).
arc(r_0016_0019__do,z_0016_5007,arg0).


%3 r_0016_0008__know know r_0016_0002__now now r_0016_0008__know->r_0016_0002__now [nim] r_0016_0005__then then r_0016_0008__know->r_0016_0005__then as [nim] r_0016_0007__we we r_0016_0008__know->r_0016_0007__we [arg0] r_0016_0010__deep_down deep_down r_0016_0008__know->r_0016_0010__deep_down [nim] r_0016_0014__is is r_0016_0008__know->r_0016_0014__is [arg1] r_0016_0013__it it r_0016_0014__is->r_0016_0013__it [arg0] r_0016_0015__the_r_0016_0017__thing the thing 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_0019__do do r_0016_0015__the_r_0016_0017__thing->r_0016_0019__do [inv_arg1] z_0016_5007 r_0016_0019__do->z_0016_5007 [arg0] 
fof(formula,axiom,
    ? [R_0016_0002__NOW,R_0016_0005__THEN,R_0016_0007__WE,R_0016_0010__DEEP_DOWN,R_0016_0013__IT,R_0016_0016__RIGHT,Z_0016_5007,R_0016_0019__DO,R_0016_0015__THE_R_0016_0017__THING,R_0016_0014__IS,R_0016_0008__KNOW] :
      ( r_0016_0002__now(R_0016_0002__NOW)
      & r_0016_0005__then(R_0016_0005__THEN)
      & r_0016_0007__we(R_0016_0007__WE)
      & r_0016_0010__deep_down(R_0016_0010__DEEP_DOWN)
      & r_0016_0013__it(R_0016_0013__IT)
      & r_0016_0016__right(R_0016_0016__RIGHT)
      & z_0016_5007(Z_0016_5007)
      & r_0016_0008__know(R_0016_0008__KNOW)
      & has_arg1(R_0016_0008__KNOW,R_0016_0014__IS)
      & r_0016_0014__is(R_0016_0014__IS)
      & has_prd(R_0016_0014__IS,R_0016_0015__THE_R_0016_0017__THING)
      & r_0016_0015__the_r_0016_0017__thing(R_0016_0015__THE_R_0016_0017__THING)
      & has_inv_arg1(R_0016_0015__THE_R_0016_0017__THING,R_0016_0019__DO)
      & r_0016_0019__do(R_0016_0019__DO)
      & has_arg0(R_0016_0019__DO,Z_0016_5007)
      & has_attrib(R_0016_0015__THE_R_0016_0017__THING,R_0016_0016__RIGHT)
      & has_arg0(R_0016_0014__IS,R_0016_0013__IT)
      & has_nim(R_0016_0008__KNOW,R_0016_0010__DEEP_DOWN)
      & has_arg0(R_0016_0008__KNOW,R_0016_0007__WE)
      & has_r_0016_0004__as__nim(R_0016_0008__KNOW,R_0016_0005__THEN)
      & has_nim(R_0016_0008__KNOW,R_0016_0002__NOW) ) ).