Example

Predator ADT Example