Assertion: quantifier | /r/AtLocation | front of predicate symbols
Facets:
value: directly
type: MANNER
Source sentences:
text: So I have to "Use equivalences to rewrite the propositions into a logically equivalent proposition in which quantifiers only appear directly in front of predicate symbols (only one quantifier can appear directly in front of the predicate symbol".
text: So I have to "Use equivalences to rewrite the propositions into a logically equivalent proposition in which quantifiers only appear directly in front of predicate symbols (only one quantifier can appear directly in front of the predicate symbol".