hinged door subgroup of door, 2 assertions