LAMBDA-CONV : FLAGLAMBDA-CONV is a flag or parameter.
BETA-ETA-TOGETHER means that BETA and ETA rules are used together;
BETA-ETA-SEPARATE means BETA and ETA rules are used separately; BETA-ONLY
means that only BETA rule is allowed.
LAMBDA-CONV takes values of type SYMBOL.
It belongs to subjects TACTICS ETR-NAT ETREES .
Its default value is BETA-ETA-TOGETHER
Its current value is BETA-ETA-TOGETHER.
TPS documentation homepage