New PNF example

Containment diagram