L0.Functions : L0.Library
+// The logic of functionApplication assumes that the function is actually ExternalValue
+// but it is not since it would prevent it from being converted with functionApplication
L0.Function <T L0.Value
@L0.assert L0.ConvertsToValueWith L0.Functions.functionApplication
>-- L0.SCLModule.definition --> L0.String <R L0.HasProperty : L0.TotalFunction
@L0.assert L0.SCLModule.definition ""
+L0.SCLScript <T L0.Entity
+ >-- L0.SCLScript.definition --> L0.String <R L0.HasProperty : L0.TotalFunction
+ @L0.assert L0.SCLScript.definition ""
+
L0.Ontology
>-- L0.Ontology.defaultLocalName --> L0.String <R L0.HasProperty : L0.TotalFunction
@L0.assert L0.Ontology.defaultLocalName ""