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