Assertion: pda | /r/HasProperty | the type
Facets:
Source sentences:
text: The PDA may be of the type disclosed in U.S. Pat.