First more-or-less working version: does terms, booleans, qualifiers