First page
Back
Continue
Last page
Graphics
Things you may want to express
An example:
“if two Persons have the same name and the same email, or the same name and the same home page, then they are identical”
Something like (with an ad-hoc syntax):