Characteristic predicate PropertyPattern :: PropertyPattern
PropertyPattern
(
)