---
config:
layout: elk
---
graph TD
classDef linkNode fill:#808080
period_of_time["period_of_time"]
possible_world["possible_world"]
plan(["46,2 plan"])
class_of_period_of_time["class_of_period_of_time"]
class_of_possible_world["class_of_possible_world"]
link11_1(["11,1 (6,44)"]):::linkNode
link11_2(["11,2 (4,6)"]):::linkNode
link11_3(["11,3 (6)"]):::linkNode
link11_4(["11,4 (6)"]):::linkNode
period_of_time ==>|supertype_of| possible_world
possible_world ==>|supertype_of| plan
class_of_period_of_time ==>|supertype_of| class_of_possible_world
period_of_time -.->|"temporal_part_of S[1:?]"| possible_world
period_of_time -.->|"(RT) member_of S[1:?]"| class_of_period_of_time
possible_world -->|"(RT) member_of S[1:?]"| class_of_possible_world
link11_1 --> period_of_time
link11_2 --> possible_world
link11_3 --> class_of_possible_world
link11_4 --> class_of_period_of_time