Assertion: set's subset | /r/HasProperty | modeled by refinement types
Facets:
Source sentences:
text: (Subtypes and subsets may be modeled by refinement types, and quotient sets may be replaced by setoids.)