add HAS keyword for set formula; allow an empty set value