generated at
演繹データベース
deductive database
演繹 + データベース