Assertion: abstraction | /r/CapableOf | use galois connections
Facets:
Source sentences:
text: In some cases, it is possible to define abstractions using Galois connections (α, γ) where α is from L to L′ and γ is from L′ to L.