“Boys and girls are welcome to apply.” is equivalent to? ∀x…

"Bоys аnd girls аre welcоme tо аpply." is equivalent to? ∀x [(Boy(x) ^ Girl( x)) => Apply(x)]?