Characteristic predicate ThisParameter :: ThisParameter
ThisParameter
(
)