let annot = parse_from_location Logic_parser.annot