Definition of RASCATL