test05 revision c07d153a76b4e67e39c8977788ac446ec3a7255c
T /\T \/ F -> ~ < amop > F <-> [ bmop ] T <- F