Added functionality to create triple patterns by prop restriction, implemented prop restriction correctly