What is A? Can A be divided into a few sub-concepts that in each case we can easily tell whether A_i is B?
If A_i is B, then does it happen unconditionally? And does condition C render A to be A_i that A is B under C?
And is the B that A_i is an unconditional B? What happens if condition C fails? What A would A be then? etc....