Is there a contact model in FEniCS for two imported physical volumes?

A place to start is: https://comet-fenics.readthedocs.io/en/latest/demo/contact/penalty.html
And
Boundary conditions for an liquid sphere