Assertion: degree | /r/CapableOf | compute path
Facets:
Source sentences:
text: By definition, a degree is PA if and only if it computes a path through the tree of completions of Peano arithmetic.