Intent of (not_a_=_1), (a_=_1_or_b_=_'foo'), +2

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