Assertion: graph's g | /r/HasProperty | median graph
Facets:
Source sentences:
text: If G is a median graph, and a, b, and c are an arbitrary three vertices of a retract φ(G), then φ(m(a,b,c)) must be a median of a, b, and c, and so must equal m(a,b,c).