Assertion: tree's node | /r/HasProperty | a subset of x × x
Facets:
Source sentences:
text: Let ℛ = (X, R, r) be a pointed relational structure, i.e. such that X is the set of nodes, R is a relation between nodes (a subset of X × X), and r is a distinguished "root" node.