Assertion: family | /r/HasProperty | i
Facets:
Source sentences:
text: For any family (A i )
text: i∈J is a subfamily of a family (A i )