No type or individual with this identifier: wn#subgroup.mathematical_group