Assertion: rectangle's base | /r/HasProperty | s ⊆ q ⊆ t.
Facets:
Source sentences:
text: Let Q be a set enclosed between two step regions S and T. A step region is formed from a finite union of adjacent rectangles resting on a common base, i.e. S ⊆ Q ⊆ T.