Characteristic predicate PropertyPattern::PropertyPattern

PropertyPattern()