Individual: OnlyAtBarSmoking
Types
SmokingCode
Abstract Syntax
Individual(OnlyAtBarSmoking type(SmokingCode))
Generated with
OWLDoc