OMTEX CLASSES: Logic Ex No 1 5 Use Quantifier