added documentation to TL-patterns