Characteristic predicate FormatAttribute :: FormatAttribute
FormatAttribute
(
)