Context                Previous, Next                Top


39_a_duplex
Nifty tricks

%3 r_0039_0002__tricks tricks r_0039_0001__Nifty Nifty r_0039_0002__tricks->r_0039_0001__Nifty [attrib] z_000_39_a_duplex_1 z_000_39_a_duplex_1->r_0039_0002__tricks [nim] 
arc(r_0039_0002__tricks, r_0039_0001__Nifty, attrib3).
arc(z_000_39_a_duplex_1, r_0039_0002__tricks, nim2).


%3 z_000_39_a_duplex_1 r_0039_0002__tricks tricks z_000_39_a_duplex_1->r_0039_0002__tricks [nim] r_0039_0001__Nifty Nifty r_0039_0002__tricks->r_0039_0001__Nifty [attrib] 
fof(formula,axiom,
    ? [Z_39_A_DUPLEX_1,R_39_2_TRICKS,R_39_1_NIFTY] :
      ( nifty(R_39_1_NIFTY)
      & z_39_a_duplex_1(Z_39_A_DUPLEX_1)
      & nim2(Z_39_A_DUPLEX_1,R_39_2_TRICKS)
      & tricks(R_39_2_TRICKS)
      & attrib3(R_39_2_TRICKS,R_39_1_NIFTY) ) ).


n39_a_duplex n39_a_duplex__1_1_1_1_1 Nifty n39_a_duplex__1_1_2_1 tricks n39_a_duplex__1 FRAG n39_a_duplex__1_1 NP n39_a_duplex__1->n39_a_duplex__1_1 n39_a_duplex__1_1_1 ADJP n39_a_duplex__1_1->n39_a_duplex__1_1_1 n39_a_duplex__1_1_2 NS n39_a_duplex__1_1->n39_a_duplex__1_1_2 n39_a_duplex__1_1_1_1 ADJ n39_a_duplex__1_1_1->n39_a_duplex__1_1_1_1 n39_a_duplex__1_1_1_1->n39_a_duplex__1_1_1_1_1 n39_a_duplex__1_1_2->n39_a_duplex__1_1_2_1 
( (FRAG (NP (ADJP (ADJ Nifty;{nifty}))
            (NS tricks;{trick})))
  (ID 39_a_duplex))