boolean expression subgroup of expression, 5 assertions