#! /bin/sh lparse $* | smodels | mkatoms