proof of representation model language