The top documents tagged [answer set fol]