new predicate for check order of rows in a tableau
naive version of young tableau predicate