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