A retail professional pauses while interacting with customers.
A salesperson is with some customers.
a salesperson pauses while interacting with their customers
(x)
exists p1 x1.(exists x2.(with(x1,x2) & n_customer(x2)) & n_salesperson(x1))