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,
    ? [R_0039_0001__NIFTY,R_0039_0002__TRICKS,Z_000_39_A_DUPLEX_1] :
      ( r_0039_0001__Nifty(R_0039_0001__NIFTY)
      & z_000_39_a_duplex_1(Z_000_39_A_DUPLEX_1)
      & has_nim2(Z_000_39_A_DUPLEX_1,R_0039_0002__TRICKS)
      & r_0039_0002__tricks(R_0039_0002__TRICKS)
      & has_attrib3(R_0039_0002__TRICKS,R_0039_0001__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))