Rough outline of DataPicked formal language