Assertion: certain expression | /r/CapableOf | express condition
Facets:
value: simultaneously
type: MANNER
Source sentences:
text: Certain expressions that designate a value simultaneously express a condition that is assumed to hold, for instance those involving the operator ⊕ {\displaystyle \oplus } to designate an internal direct sum.
text: Certain expressions that designate a value simultaneously express a condition that is assumed to hold, for instance those involving the operator to designate an internal direct sum.