Property-Based Requirements