A predicate name can be deleted using a
is a predicate name
is an optional sequence of tokens.
If the token sequence is omitted, all definitions of
If the token sequence is included, only the indicated definition is removed. All other definitions are left intact.