/************************************************************/
/*                       nestcoq                            */
/************************************************************/

/* :SUMMARY: queries after values of recurively constructed types are possible
:PRIORITY: 2
:STATUS: ok
:FEATURE: the syntax tag1 # tag2 allows to specify a path into
a (recursively) constructed type
:MODEL: 
?R T #RC

?RC TC #RC
    I Int

:DATA: mini.nestcoq.ace
R r1 
T I 1

R r2
T TC I 2

R r3
T TC TC I 3

:RESULT: 
1: should find object r3
2: should find no object
PROBLEM
works in: ace951128
fails in: 
:SCRIPT: */

nestcoq: dbinit wspec.mini  // nested constructed type query
  tace
    parse:  do parse $data/mini.nestcoq.ace
    1: do Query find R T # TC # TC # I = 3
          show
    2: do Query find R T # TC # TC # I = 2
          show
  exit



// -------------------------- 3. attached queries