FUNCTION IfcUniquePropertyName
(Properties : SET [1:?] OF IfcProperty)
:BOOLEAN; LOCAL tmp : GENERIC; END_LOCAL; RETURN(tmp);
END_FUNCTION;