Flesh out deducePolarity implementation, add helpers.
Add documentation for helper functions.
Label manifest graph with polarities.
Add manifestation decision process.