Eiffel language specification

GPTKB entity