AmpersandTarski/Ampersand

Error occurred for Markup when implementing the latest version of Formal Ampersand in RAP.

Closed this issue · 2 comments

Error occurred when implementing the latest version of Formal Ampersand in RAP.

What happened

When trying out the latest version of Ampersand in RAP, an error occured:
"Every Markup must have a MarkupText in the relation text".

When compiling a script, this error occured due to the inclusion of the MEANING for 'isEnrolledFor' "Students Enroll for each module in the course separartely"
afbeelding

Upon further inspection in the 'script_generated_pop.json' file generated by the compilation of the script, the relation 'text[Markup*MarkupText]' seems to be filled as normal.

afbeelding

Version of ampersand that was used

Latest version of branch formalampersand-meatgrinder-update-example

Context / Source of ampersand script

CONTEXT Enrollment IN ENGLISH
PATTERN Courses

CONCEPT Student "Someone who wants to study at this institute"
CONCEPT Module "An educational entity with a single exam"
RELATION isEnrolledFor [Student*Module]
MEANING "Students enroll for each module in the course separately"

ENDPATTERN
ENDCONTEXT

This issue is caused by an alias mechanism that @stefjoosten and I used in formalampersand. However, the alias mechanism isn't properly implemented.

The issue about aliasses is #1309