detector world;finds the name of the world
detector people;checks name, eliminates institutes
detector company;looks if there are at least two persons
atom str name; community: world people company; world: name; people: person*; person: name;
detector world;finds the name of the world
detector people;checks name, eliminates institutes
detector company;looks if there are at least two persons
atom str name; community: world people company; world: name; people: person*; person: name;