∀x (GrowthStock(x) → BoughtToEarnProfitFrom(x, rapidPriceAppreciation))
∀x (BoughtToEarnProfitFrom(x, earnProfit, rapidPriceAppreciation) → ¬SuitableFor(x, retirementFund)) 
∃x (Stock(x) ∧ GrowthStock(x))
∀x (MatureStock(x) → SuitableFor(x, retirementFund))
MatureStock(kO)
Stock(kO) 