################################################################ # @(#)twogroups.seq 1.1 - 97/04/30 - Charles Pecheur, INRIA Rhone-Alpes # Traces where base3 is registered as member of two different bases, # and that terminate successfully. # For use with hierarchy 6. ################################################################ [.*SIGREGISTERED !3] [.*SIGREGISTERED !3] "OK" []