POINTER

Definition A <POINTER> is a <FunctionalObject> that has <POINTING> as purpose