TERMINATOR

Definition A <TERMINATOR> is a <FunctionalObject> that is capable of <TERMINATING> something