Assertion: dodecahedron's face | /r/HasProperty | determined
Facets:
value: from p
type: OTHER
value: from q.
type: TEMPORAL
Source sentences:
text: All other combinatorial information about these solids, such as total number of vertices (V), edges (E), and faces (F), can be determined from p and q. Since any edge joins two vertices and has two adjacent faces we must have: