little improvements to webapp and more statements

Rock_fact_checker.py

@@ -59,15 +59,14 @@ def main():
         st.session_state.random_statement_requested = True
         # Re-runs the script setting the random statement as the textbox value
         # Unfortunately necessary as the Random statement button is _below_ the textbox
-        # Adapted for Streamlit>=1.12
+        # Adapted for Streamlit>=1.12.0
         if hasattr(st, "scriptrunner"):
             raise st.scriptrunner.script_runner.RerunException(
-                st.scriptrunner.script_requests.RerunData("")
-            )
-        else:
-            raise st.runtime.scriptrunner.script_runner.RerunException(
-                st.runtime.scriptrunner.script_requests.RerunData("")
+                st.scriptrunner.script_requests.RerunData(widget_states=None)
             )
+        raise st.runtime.scriptrunner.script_runner.RerunException(
+            st.runtime.scriptrunner.script_requests.RerunData(widget_states=None)
+        )
     else:
         st.session_state.random_statement_requested = False
     run_query = (
@@ -82,7 +81,7 @@ def main():
         with st.spinner("🧠    Performing neural search on documents..."):
             try:
                 st.session_state.results = query(statement, RETRIEVER_TOP_K)
-                print(statement)
+                print(f"S: {statement}")
                 time_end = time.time()
                 print(time.strftime("%Y-%m-%d %H:%M:%S", time.gmtime()))
                 print(f"elapsed time: {time_end - time_start}")

data/statements.txt

@@ -56,4 +56,16 @@ Some Slayer songs involve murder
 Incubus formation includes a DJ
 Blur is a nu metal band
 Keith Emerson committed suicide 
-Bono Vox loves pets
+Bono Vox loves pets
+Van Halen are still active
+The Beatles were American
+Jim Morrison was the singer of the Door's
+Jimi Hendrix played the piano
+Jimi Hendrix was not successful
+Stairway to heaven is a prominent song by Led Zeppelin
+The Beatles were 4
+King Crimson played progressive rock
+Rick Wakeman was a member of Yes and no other band
+The Beatles' first album was released in 1963
+Faith No More have released 5 albums
+Angus brothers play in AC DC