Assertion: logic | /r/HasProperty | embedded in same type system
Facets:
Source sentences:
text: Unlike a direct embedding, the logical framework approach allows many logics to be embedded in the same type system.