Assertion list for term "modeled as a ppt turing machine".

Results from Ascent++: 1
adversary ReceivesActionmodeled as a ppt turing machine 0.29