Assertion: logic's operator | /r/HasProperty | the formula
Facets:
Source sentences:
text: With these operators, the formula \(Px(F(x) \mid B(x))