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