Meaning of ':' and '{}'



Hi,
Please, can anyone tell me what is meaning of predicates ':' and '{}'
?






----------------
yours

Advait

.