[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] Question on parsing term expression with "qua".

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] Question on parsing term expression with "qua".
From: Michael Nedzelsky <MichaelNedzelsky@yandex.ru>
Date: Tue, 31 Oct 2006 12:33:21 +0300

Hi all,

If we have the term expression like the following:

  term_1 qua mode_1 of term_2 qua type_1

it can be parsed in two ways:
  
1)   term_1 qua (mode_1 of term_2  qua type_1)
2)  (term_1 qua  mode_1 of term_2) qua type_1

What are the current rules for disambiguation in this situation?

Michael Nedzelsky


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.

Prev by Date: [mizar] Mizar parser in OCaml
Index(es):
- Chronological
- Thread