added graph for single quantifier