A further constraint can require edge-transitivity. Polychora that fail this contraint are listed and noted as such. The regular and semiregular honeycombs, and regular polychora are also listed here for completeness.
Semiregular polytopes are constructed by vertex figures which are regular, semiregular or johnson polyhedra.
If the vertex figure is a regular Platonic solid polyhedron, the polytope will be regular.
If the vertex figure is a semiregular polyhedron, the polytope will have one type of edge configuration.
If the vertex figure is a Johnson solid polyhedron, then the polytope will have more than one edge configuration.
Edge configurations are limited by the sum of the dihedral angles of the cells along the edge. The sum of dihedral angles must be 360 degrees or less. If it is equal to 360, the vertex figure will stay within 3D space and can be a part of an infinite tessellation.
There are 17 possible edge configurations formed by the 5 platonic solids that have angle defects of zero or greater.
Three cells/edge:
{3,3}3
{3,3}2.{3.4}
{3,3}2.{3.5}
{3,3}.{3,4}2
{3,3}.{3.4}.{3.5}
{3,3}.{3.5}2
{3,4}3
{3,4}2.{3,5}
{4,3}3
{5,3}3
Four cells/edge:
{3,3}4
{3,3}2.{3.4}2 [Angle defect zero]
[{3,3}.{3.4}]2 [Angle defect zero]
{3,3}3.{3,4}
{3,3}3.{3,5}
{4,3}4 [Angle defect zero]
Five cells/edge:
{3,3}5
As listed above, from these 17 edge configurations and a single vertex figure, there are 6 regular polytopes, and 3 semiregular polytopes, 1 regular honeycomb, and 2 semiregular honeycombs.