Intent of not_(a_=_1_and_b_=_'foo'), not_(a_=_1_and_(b_=_'foo'_or_c_=_'bar'))

All 2 exact tests in this concept. Every test is marked by where it enters the hierarchy.