Assertion: quantifier | /r/HasProperty | applied to decidable predicate
Facets:
Source sentences:
text: where $t$ is a term not containing $x$. When these quantifiers are applied to a decidable predicate, the result is a decidable predicate.