fire sign subgroup of sign, 3 assertions