The top documents tagged [f l1satisfies fx]