Property definitions

nitc :: model_examples $ MClass :: is_example=
	redef var is_example is lazy do return intro.is_example
src/model/model_examples.nit:92,2--56