major premise
--- RECORDSEPARATOR ---
metaphor
--- RECORDSEPARATOR ---
minor premise