renamed property fluents