Sorry, released the PR too early. Here is the corrected one. Attached is a file containing the resolved logic clauses in case you can spot left logic issues, otherwise others might inform us about this I guess. It does run in both cases at least.
PantheonClauses.txt
Sorry, released the PR too early. Here is the corrected one. Attached is a file containing the resolved logic clauses in case you can spot left logic issues, otherwise others might inform us about this I guess. It does run in both cases at least. PantheonClauses.txt