Dump PREMISES and RESTRICT-TO.