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.