VerbaAlpina instances for the concept HAFER