Characteristic predicate OpensDirective :: OpensDirective
OpensDirective
(
)