t_wの輪郭

定義

identifierを付与されたモノの集合をentityとして扱う

公理

entityは以下の2つの種別に分けられる

- resource

- event

推論ルール

関係の論理（aRb）として4つの推論ルールがある

- resource : resource

- resource : event

- event : event

- 再帰

PlantUMLで作図するのに限界が出てきた。線がめちゃくちゃ重なってしまう。

-->を--->に書き換えたら緩和された。関係を増やせば増やすほど毛玉になることには変わりがない。

「意図」・「作図」・「図に乗る」の間に共通するものを見いだせない。