Modified syntax for property deffinetions