problem in semantics, metaphysics and philosophical logic regarding predicates with indeterminate bound