Assertion: stabilizer | /r/HasProperty | normal
Facets:
Source sentences:
text: I have found that 'if the group action is transitive, then the stabilizer is normal'.