Characteristic predicate FormattingCall :: FormattingCall