Assertion: logic | /r/HasProperty | represented in lf logical framework
Facets:
Source sentences:
text: A logic is represented in the LF logical framework by the judgements-as-types representation mechanism.