Add prob interstingness of domain to conclusion