effectOnQuantifiers
P185231
predicate
Indicates how an action or condition changes the quantity, amount, or count of the entities involved.
Sample triples (2)
| Subject | Object |
|---|---|
| Skolemization | removes existential quantifiers ⓘ |
| Skolemization | retains universal quantifiers or moves them outward ⓘ |