NADL syntax of DVM for SetA* old NADL syntax using con: instead of mod: etc.
