eta.lf.parse_eventuality_list

parse_eventuality_list(lst, prob_dict={})

Parse a list of alternating episode symbols and formulas into a list of eventualities.

Parameters:

• lst (list[s-expr]) – A list of format [ep1, wff1, ep2, wff2, ...], where each (ep, wff) pair is to be parsed into an eventuality.

• prob_dict (dict, optional) – A dictionary mapping episode symbols to probabilities, used to set the probability of this eventuality.

Return type:

list[Eventuality]