Assertion: graph's vertex | /r/HasProperty | quantified in formula
Facets:
value: universally
type: LOCATION
Source sentences:
text: In the logic of graphs, a vertex that is universally quantified in a formula may be called a universal vertex for that formula.