Assertion: graph's g | /r/HasProperty | σ v
Facets:
Source sentences:
text: Formally it is an 8-tuple G = ( Σ V , Σ A , V ,