mathematical expression subgroup of expression, 1 assertions