The top documents tagged [formal semantic model]