First pass at background Trait generation from Theorems