Added fourth example. Bugfix: changed integers that were strings to actual integers. Added: statistics about property restrictions.