In RELEX-7.7 there was a way to list Lambda and Tau with each Basic Event in a print of an FTA description. How does one do that in WC-10.1 ?? Thank you for your help.
