The top documents tagged [basis of formal semantics]