Property definitions

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