spcfcty -- an experiment in semantics