predicates-and-arguments.pdf