Context	has@Condition
T1	T1A
T1	T1K
T0	T0A
T2	T2A
T2	T2K
T1A	T1A
T1K	T1K
A	T0A
A	T1A
A	T2A
A	T3A
K	T1K
K	T2K
K	T3K
