Assertion: group's subgroup | /r/HasProperty | proper
Facets:
value: in this case
type: TEMPORAL
Source sentences:
text: The subgroup of false witnesses is, in this case, not proper; it is the entire group of multiplicative units modulo 561, which consists of 320 residues.