GroupsLogicalReasoning