Require the property to occur in input; null remains governed by inner.
Pair with reject_null when both presence and a non-null value matter.