Assumed predicate will override similarly named dynamic predicates which in turn will override compiled ones. Note that overriding is done at predicate, not clause level. Note also that multifile compiled clauses are still forbidden. However, multifile assumed and dynamic code is now accepted.