getArgument

public abstract Formula getArgument()

Return

the only argument of the unary logical operator