Ideally, we would like to make our notions so precise as to be able to assign each of these borderline cases to either A or B.

By an imprecise category I mean a category which cannot be defined in such a way that for every member x of its domain (that is, the set of things to which the category can be meaningfully applied), the definition determines a truth-value to the statement that x belongs to the category in question.