L0 = <http://www.simantics.org/Layer0-1.1>
VP = <http://www.simantics.org/Viewpoint-1.2>

VP.HasInstanceOfTest <T VP.Test
VP.HasInstanceOfTest.IsInstanceOf <R L0.IsRelatedTo : L0.TotalFunction
    L0.HasDomain VP.HasInstanceOfTest
    L0.HasRange  L0.Type

VP.HasStatementTest <T VP.Test
VP.HasStatementTest.HasRelation <R L0.IsRelatedTo : L0.TotalFunction
    L0.HasDomain VP.HasStatementTest
    L0.HasRange  L0.Relation
    
VP.HasNegatedTest <T VP.Test
VP.HasNegatedTest.HasTest <R L0.IsRelatedTo : L0.TotalFunction
    L0.HasDomain VP.HasNegatedTest
    L0.HasRange  VP.Test

VP.AndTest <T VP.Test
    L0.HasDescription "A test that evaluates the conjunction of its child tests. Evaluates to true if the conjuction is empty."
VP.AndTest.HasTest <R L0.IsRelatedTo
    L0.HasDomain VP.AndTest
    L0.HasRange  VP.Test

VP.OrTest <T VP.Test
    L0.HasDescription "A test that evaluates the disjunction of its child tests. Evaluates to true if the disjunction is empty."
VP.OrTest.HasTest <R L0.IsRelatedTo
    L0.HasDomain VP.OrTest
    L0.HasRange  VP.Test

VP.InstanceOfTest <T VP.Test
    L0.HasDescription "A test that uses java instanceof to compare the input content against a specified class."
    >-- VP.InstanceOfTest.bundleName --> L0.String <R L0.HasProperty : L0.TotalFunction
    >-- VP.InstanceOfTest.className --> L0.String <R L0.HasProperty : L0.TotalFunction

VP.FailTest <T VP.Test
    L0.HasDescription "A test that is compatible with all content types and always fails, i.e. returns false."

VP.HasURITest <T VP.Test
    L0.HasDescription "A test that checks the Resource or Variable given as input has a proper URI."

VP.InDevelopmentModeTest <T VP.Test
    L0.HasDescription "A test that directly invokes org.eclipse.runtime.core.Platform.inDevelopmentMode()."