Test1
type: NamedIndividual
type: TestCaseDesign
belongs to: TestSuiteMarket
desired behaviour: Customer subClassOf User

Test2
type: NamedIndividual
type: TestCaseDesign
desired behaviour: Seller subClassOf User

Test3
type: NamedIndividual
type: TestCaseDesign
desired behaviour: Seller sell Product

Test4
type: NamedIndividual
type: TestCaseDesign
desired behaviour: Customer buy Product

Test5
type: NamedIndividual
type: TestCaseDesign
desired behaviour: Product hasCategory Category

Test6
type: NamedIndividual
type: TestCaseDesign
desired behaviour: Product hasQuantity Stock