U11ttNactivateNU21ttMNsplusactivateNactivateMandttXactivateXisNatn__0ttisNatn__plusV1V2andisNatactivateV1n__isNatactivateV2isNatn__sV1isNatactivateV1plusN0U11isNatNNplusNsMU21andisNatMn__isNatNMN0n__0plusX1X2n__plusX1X2isNatXn__isNatXsXn__sXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__isNatXisNatXactivaten__sXsactivateXactivateXXU112tt0activate1U213s1plus2and2isNat1n__00n__plus2n__isNat1n__s100FULL./TRS/TRCSR/PEANO_nokinds_FR.trs