Property-Filtered Control Action