n-ary context relations extension, currently supporting uniqueness and inversion tacticals