generated at
前提
premise (in logic)