mnli premise: At the very crest of the hill, you will find the Old Observatory, the only building designed by James Craig left in the city; it was completed in 1792. hypothesis: There are no buildings left that were designed by James Craig.