Suppress assertion of base property where there's a faux property of that domain and/or range

[rjyounes]

Currently we can do this by: (1) hiding the underlying property, and (2) defining a faux property for every use of the underlying property. The proposed change is to do (1) automatically even without (2) - i.e. if a faux property of the property is applicable to the individual, suppress the assertion under the real property.

[hudajkhan]

Among faux property issues, Rebecca says this one is higher priority.