L0 = <http://www.simantics.org/Layer0-1.0> 

_ : L0.List
    @L0.list L0.True L0.False