Assertion: kernel | /r/CapableOf | eliminate non-orthogonality problem
Facets:
value: by breaking the classical lambda constructor
type: MANNER
Source sentences:
text: Kernel eliminates the non-orthogonality problem by breaking the classical lambda constructor into two orthogonal parts, one of which is the Kernel constructor for first-class operatives.