decide
Decide what to do with proposition given its marks.
Return
The action the sweep should take.
Parameters
proposition
The marked proposition under consideration.
marks
The marks produced for this proposition; may be empty.
Decide what to do with proposition given its marks.
The action the sweep should take.
The marked proposition under consideration.
The marks produced for this proposition; may be empty.