The term {tt (exp $tau$)} denotes $e$ raised to the power the object denoted by $tau$.

(=> (Exp ?X ?Result) (= ?Result (Expt The-Exponentiation-Constant-E ?X)))