Simplified version for property specification