normal fault subgroup of fault, 1 assertions