Update app.

app.py

@@ -360,68 +360,71 @@ def main():
 
 
     if submit:
-        with st.spinner("Processing (may take a couple of minutes) ..."):
-            output = run_model(modes_s,user_input)
-
-            # get latest generated reasons, conclusions, argdown 
-            argdown_raw = [out['output'] for out in output if out['mode']['to']=='argdown_reconstruction']
-            argdown_raw = argdown_raw[-1] if len(argdown_raw)>0 else None
-            reasons_raw = [out['output'] for out in output if out['mode']['to']=='reason_statements']
-            reasons_raw = reasons_raw[-1] if len(reasons_raw)>0 else None
-            concl_raw = [out['output'] for out in output if out['mode']['to']=='conclusion_statements']
-            concl_raw = concl_raw[-1] if len(concl_raw)>0 else None
-            pform_raw = [out['output'] for out in output if out['mode']['to']=='premises_formalized']
-            pform_raw = pform_raw[-1] if len(pform_raw)>0 else None
-            #pform_raw = "(x): F x -> (G x v H x) (ref: (1)) | (x): F x -> not G x (ref: (3))" # TEST
-            cform_raw = [out['output'] for out in output if out['mode']['to']=='conclusion_formalized']
-            cform_raw = cform_raw[-1] if len(cform_raw)>0 else None
-            #cform_raw = "(x): F x -> H x (ref: (4))" # TEST
-
-            # parse raw output
-            argdown_parsed = aaac.AAACParser.parse_argdown_block(argdown_raw) if argdown_raw else None
-            reasons_parsed = aaac.AAACParser.parse_statements(reasons_raw) if reasons_raw else None
-            concl_parsed = aaac.AAACParser.parse_statements(concl_raw) if concl_raw else None            
-            pform_parsed = aaac.AAACParser.parse_formalizations(pform_raw) if pform_raw else None     
-            cform_parsed = aaac.AAACParser.parse_formalizations(cform_raw) if cform_raw else None     
-
-
-            # check syntactic validity
-            argdown_valid = (
-                aaac.ad_valid_syntax(argdown_parsed) &
-                aaac.ad_last_st_concl(argdown_parsed) &
-                aaac.used_prem_exist(argdown_parsed) #& 
-                #1-aaac.prem_non_used(argdown_parsed)
-            ) if argdown_parsed else False
-            reasons_valid = (
-                aaac.s_ord_me_subsseq(reasons_parsed,user_input['argument_source'])
-            ) if reasons_parsed else False
-            concl_valid = (
-                aaac.s_ord_me_subsseq(concl_parsed,user_input['argument_source']) 
-            ) if concl_parsed else False
-            reasons_concl_mc = (
-                aaac.reason_concl_mutually_exclusive(reasons_parsed,concl_parsed)
-            ) if reasons_parsed and concl_parsed else False
-            pform_valid = True if pform_parsed else False
-            cform_valid = True if cform_parsed else False
-
-            # get and merge entities and colors for displacy
-            ents = []
-            colors={}
-            if concl_valid:
-                ents,colors = get_ds_entities(user_input['argument_source'],concl_parsed,type="conclusions")
-                if reasons_valid and reasons_concl_mc:                
-                    ents_r,colors_r = get_ds_entities(user_input['argument_source'],reasons_parsed,type="reasons")
-                    ents= ents+ents_r
-                    colors.update(colors_r)
-                    ents = sorted(ents, key=lambda item: item["start"])
-            elif reasons_valid:
-                ents,colors = get_ds_entities(user_input['argument_source'],reasons_parsed,type="reasons")
-
-            options = {"colors":colors}
-            ex = [{"text": user_input['argument_source'],"ents": ents,"title": None}]
-            displacy_html = displacy.render(ex, style="ent", options=options, manual=True)
-
-            graphviz_graph = get_inference_graph(argdown_parsed,colors) if argdown_valid else None
+        if ex_s != '...': 
+          st.warning('Please choose an example.')
+        else:
+            with st.spinner("Processing (may take a couple of minutes) ..."):
+                output = run_model(modes_s,user_input)
+
+                # get latest generated reasons, conclusions, argdown 
+                argdown_raw = [out['output'] for out in output if out['mode']['to']=='argdown_reconstruction']
+                argdown_raw = argdown_raw[-1] if len(argdown_raw)>0 else None
+                reasons_raw = [out['output'] for out in output if out['mode']['to']=='reason_statements']
+                reasons_raw = reasons_raw[-1] if len(reasons_raw)>0 else None
+                concl_raw = [out['output'] for out in output if out['mode']['to']=='conclusion_statements']
+                concl_raw = concl_raw[-1] if len(concl_raw)>0 else None
+                pform_raw = [out['output'] for out in output if out['mode']['to']=='premises_formalized']
+                pform_raw = pform_raw[-1] if len(pform_raw)>0 else None
+                #pform_raw = "(x): F x -> (G x v H x) (ref: (1)) | (x): F x -> not G x (ref: (3))" # TEST
+                cform_raw = [out['output'] for out in output if out['mode']['to']=='conclusion_formalized']
+                cform_raw = cform_raw[-1] if len(cform_raw)>0 else None
+                #cform_raw = "(x): F x -> H x (ref: (4))" # TEST
+
+                # parse raw output
+                argdown_parsed = aaac.AAACParser.parse_argdown_block(argdown_raw) if argdown_raw else None
+                reasons_parsed = aaac.AAACParser.parse_statements(reasons_raw) if reasons_raw else None
+                concl_parsed = aaac.AAACParser.parse_statements(concl_raw) if concl_raw else None            
+                pform_parsed = aaac.AAACParser.parse_formalizations(pform_raw) if pform_raw else None     
+                cform_parsed = aaac.AAACParser.parse_formalizations(cform_raw) if cform_raw else None     
+
+
+                # check syntactic validity
+                argdown_valid = (
+                    aaac.ad_valid_syntax(argdown_parsed) &
+                    aaac.ad_last_st_concl(argdown_parsed) &
+                    aaac.used_prem_exist(argdown_parsed) #& 
+                    #1-aaac.prem_non_used(argdown_parsed)
+                ) if argdown_parsed else False
+                reasons_valid = (
+                    aaac.s_ord_me_subsseq(reasons_parsed,user_input['argument_source'])
+                ) if reasons_parsed else False
+                concl_valid = (
+                    aaac.s_ord_me_subsseq(concl_parsed,user_input['argument_source']) 
+                ) if concl_parsed else False
+                reasons_concl_mc = (
+                    aaac.reason_concl_mutually_exclusive(reasons_parsed,concl_parsed)
+                ) if reasons_parsed and concl_parsed else False
+                pform_valid = True if pform_parsed else False
+                cform_valid = True if cform_parsed else False
+
+                # get and merge entities and colors for displacy
+                ents = []
+                colors={}
+                if concl_valid:
+                    ents,colors = get_ds_entities(user_input['argument_source'],concl_parsed,type="conclusions")
+                    if reasons_valid and reasons_concl_mc:                
+                        ents_r,colors_r = get_ds_entities(user_input['argument_source'],reasons_parsed,type="reasons")
+                        ents= ents+ents_r
+                        colors.update(colors_r)
+                        ents = sorted(ents, key=lambda item: item["start"])
+                elif reasons_valid:
+                    ents,colors = get_ds_entities(user_input['argument_source'],reasons_parsed,type="reasons")
+
+                options = {"colors":colors}
+                ex = [{"text": user_input['argument_source'],"ents": ents,"title": None}]
+                displacy_html = displacy.render(ex, style="ent", options=options, manual=True)
+
+                graphviz_graph = get_inference_graph(argdown_parsed,colors) if argdown_valid else None
 
 
         # Show output