major street subgroup of street, 4 assertions