Displaying similar documents to “States of affairs as values for formulas”