forthel (variant) in GF
Demo of the Grammatical Logical Framework for a paper submitted to lfmtp 2019.