Assertion: alias's group | /r/HasProperty | initialized
Facets:
Source sentences:
text: exactly full” group, where U i = 1 or K i has been initialized.