Term: relax
Example: relax isabelle
Definition: to take one's ease