floor liner subgroup of liner, 1 assertions