Work with Inari to get a 'rendering' of part of the concrete Lam4 syntax

[ym-han]

Resources

• Attempto Controlled English --- Tom H. uses it as well / discusses it

http://attempto.ifi.uzh.ch/site/description/
http://attempto.ifi.uzh.ch/site/docs/ace_interpretationrules.html

![Uploading image.png…]()

Notes / ideas

Architecture / project planning

• The rendering will presumably start from the concrete syntax type. Since the Lam4 concrete syntax is mostly a superset of the current expression language fragment of the main-branch L4 concrete syntax, it should be easy to port over whatever rendering work is done with Lam4 to main-branch L4 as well.

Quick thoughts / reactions to the use of ACE in Tom H's dissertation

Since we are just doing rendering, we can leverage domain-specific heuristics (or give the Lam4 programmer the knobs to adjust the rendering) to remove things that are redundant for humans, given the domain and context.

Eg: we can have a 'for-busy-executives mode' where, instead of

Vendor has a String called name. 
Vendor has an Address.

we can just have something like

A Vendor has a Name and Address.

Similarly, instead of

Address is Data. 
Address has a String. 
Address has a Country.

the 'for-busy-executives mode wouldn't bother noting that this is 'Data', since that's not relevant for busy executives.

Other options in the same vein include allowing for folding/unfolding and having a default view that only shows the most important-for-executives stuff (so, e.g., the default view might even fold away stuff like the Vendor's having a Name, or only show the most important data types at the initial level of folding)

(TODO: See what kind of language / phrasing is most prevalent in contracts and emulate that.)