(sublis '((x . Шекспир)(y . (Ромео и Джульетта))) '(x написал трагедию y))
;= (Шекспир написал трагедию (Ромео и Джульетта))