Documentation changes
N-ary and/or predicates, new convenience predicates

Documentation updates