Assertion: predicate's property | /r/CapableOf | allow to reduce complex non-regular predicate
Facets:
value: arbitrarily
type: MANNER
value: to a simpler binary predicate
type: OTHER
Source sentences:
text: The following property allows to reduce an arbitrarily complex non-regular predicate to a simpler binary predicate which is also non-regular.