Assertion: logic's operator | /r/CapableOf | deal with multiple variables
Facets:
Source sentences:
text: For this we need one operator that deals with multiple variables simultaneously, written as \(Px_1,\ldots x_n (\phi)