example of formal context edited