quotASMLquot