"Ariel 1"@cs .