Under the current definition of properties, we can introduce such a property by modifying the underlying unification grammar to produce a certain "diacritic" feature in a parse just in case the parse actually contains the appropriate reduced relative construction.
while properties are required to be local relative to features, we can use the ability of the underlying unification grammar to encode essentially arbitrary non-local information in features to introduce properties that also encode non-local information.