a snippet of COMAU robots programming language - pdl2