Representing and reasoning about open-textured predicates