Assertion: predicate | /r/CapableOf | exist formula
Facets:
value: in f o
type: LOCATION
Source sentences:
text: The predicate P {\displaystyle P} is non regular if and only if there exists a formula in F O [ ≤ , R ] {\displaystyle \mathbf {FO} [\leq ,R]} which defines the multiplication by a rational p q ∉ { 0 , 1 } {\displaystyle {\frac {p}{q}}