"If A is true then also B must be present" with Constraints - XPath 2

Printer: print.up