Assertion: graph's g | /r/HasProperty | x | x ∈ v
Facets:
Source sentences:
text: while G / { { x } | x ∈ V } = G {\displaystyle G/\{\{x\}|x\in V\}=G} .