Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality | ScienceToStartup | ScienceToStartup