UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 22 forks source link

frameit-mmt: Verbalization of scroll-description has problems with recursion #564

Open SESch93 opened 3 years ago

SESch93 commented 3 years ago

Initial situation: Added 3 PointFacts P, Q and R via the /fact/add endpoint of the frameit-server

Afterwards, a request to the /scroll/dynamic endpoint of the frameit-server, where we map A |-> P, B -> Q, C |-> R, will lead to a wrong description of the rendered-scroll.

The culprit is probably the recursive call to verbalize ${lverb angleB} that prints∠ABC(the default verbalization) without accounting for the assignmentsA |-> P,B |-> Q,C |-> R`.

(edit: @ComFreek extended this bug report with more info)