Knowledge Structures over Simulation Units

The slides for this talk about the use of semantic lifting to reason about the connections between simulation units are available here.