(note TQG13) (instance Arc1 GraphLoop) (query (exists (?NODE) (holds links ?NODE ?NODE Arc1))) (answer Yes)