By unification, which will only match the arity, not the rules inside of a predicate. I could be wrong, though. Still learning all ins and outs.