small lake subgroup of lake, 4 assertions

IsA 1
home 0.16