Multiple properties in PDR