Predicate_symbol loading ...