multiline input predicamionts
command-line args to start arbitrary predicaments