impliesnotxyorxyimpliesnotxoryzimpliesyorxzimpliesxoryzoryimpliesxzimplies2not1or2FULL./TRS/SK90/2.36.trs