x1 (set/family/tree graph) is a crown category/clade/'group'/set formed from and defined by (elements of) set x2 (nonempty set/family/graph), which have set-wide simultaneous most-recent common ancestor(s) x3, according to judge/standard/definition/(directed) tree graph/relations x4.