Weird computation of support and support potential

[ishcha]

Hi,
Thanks for sharing this interesting tool. While playing around with the dining philosophers' example, I tried printing the statistics of the obtained specifications. I run the command ./texada -l -f 'G(x->!y)' --log-file ~/texada/traces/dining-philosophers/dining_philosophers_log.txt --parse-mult-prop --no-vacuous-findings --print-stats. I get support and support potential that correspond to the sum of the number of occurrences of the propositions in the obtained formula, which can be more than the number of events in the log that contain either of the propositions. Is this expected? My understanding from the Texada paper is that support and support potential count events and not propositions and parse-mult-prop makes compound events, with multiple propositions. Can someone please clarify the meaning of support and support potential in the parse-mult-prop setting? Below are some formulas and their stats that I have obtained from the aforementioned command.

Thanks