tnelson/Margrave — Issue #86: Term counting: Can often lower-bound constant relations
Author: tnelson
Created: 2012-01-13 14:45:59+00:00
State: open

If a constant relation is populated with an atom that cannot appear in any other non-parent, we can put that atom in the constant's lower-bound safely --- signifying that that atom represents the constant. +