Syntax
where are the names of quantities to which functional
expectations have been attached. Only the part of the name preceding
indices (if any) should be given.
The XFE: command is used to remove functionally specified
expectations given using the FE: command. If the quantity is
associated with alternative expectations in different expectation stores, all
are deleted.