public Universal() { ObjectVariables = new PropositionalVariables(); Symbol = '@'; }
public Existential() { ObjectVariables = new PropositionalVariables(); Symbol = '!'; }