The reveal command is applicable to ... (elided formulae) and causes the previously concealed part of a goal to be resurrected.
"reveal" p e
This example applies the reveal command to predicate p and expression e. Its use in tactics typically arises from recording scripts.