cd.attlist.OMS |= attribute cd {string "group1" }, attribute name { string "declare_group" | string "is_abelian" | string "group" | string "element_set" | string "is_subgroup" | string "right_transversal" | string "normal_closure" | string "is_normal" | string "quotient_group" | string "conjugacy_class" | string "derived_subgroup" | string "sylow_subgroup" | string "character_table_of_group" | string "character_table" }