Assertion: pa degree | /r/HasProperty | degree
Facets:
value: exactly
type: DEGREE
Source sentences:
text: Thus the PA degrees are exactly the degrees that compute an infinite path through this tree.