Assertion: prime number | /r/HasProperty | x and y
Facets:
value: namely x
type: OTHER
Source sentences:
text: Given two prime numbers, namely x and y, the gcf is