Add IPM logical relation

It would be great to have the IPM logical relation in iris-examples. AFAIK, @amintimany has this on his TODO-list.

removed assignee

assigned to @amintimany

mentioned in merge request !2 (merged)

closed via commit 5d574803

closed via merge request !2 (merged)

mentioned in commit 5d574803