Assertion: logic | /r/CapableOf | subsume pdl
Facets:
Source sentences:
text: This logic is known to subsume PDL (cf.