define
attribute name, value string;
attribute age, value integer;
attribute position, value string;
entity person, owns name @key, owns age, plays employment:employee;
entity company, owns name @key, plays employment:employer;
relation employment, relates employee, relates employer, owns position;