Rule iwguefzfgabfabvs

[id: iwguefzfgabfabvs]
  entity(the $faces of $y) => entity($y)