Assertion: sequence | /r/HasProperty | real
Facets:
value: by definition
type: OTHER
value: with this natural order
type: OTHER
value: in tonal
type: LOCATION
Source sentences:
text: Sequences that are real in some repetitions and tonal in others (in some instances to avoid carrying the modulation too far) are called mixed sequences.
text: A sequence is by definition a set of real numbers with this natural order.