using lan Coq for listing of MarySmith agreement
added keywords to AST fragments