getSecondArgument

public abstract Formula getSecondArgument()

Return

the second argument of the binary logical operator