Assertion list
observation (primary) → DefinedAs
Results from Ascent++: 2
observation → DefinedAs → the observing tool otsoftware 0.46
observation → DefinedAs → lr-3 0.31