FIXED: predicate option declarations.