Splitting arguments and predicates.