Text this: Generating theorems for s-norms and t-norms