Assertion: beta | /r/HasProperty | eiffel
Facets:
value: with most type checking
type: OTHER
value: strongly
type: DEGREE
value: statically
type: MANNER
Source sentences:
text: BETA is a statically typed language like Simula, Eiffel and C++, with most type checking done at compile-time.
text: BETA is a strongly typed language like Simula, Eiffel and C++, with most of the type checking being carried out at compile-time.