Redirecting to struct.predicates_defined_on.html...