Verification result - command is currently illogical, because the state that the command seeks to impose already obtains. For example, we're trying to open a door that's already open, or drop an object that we're not carrying.

This is almost exactly the same as an "illogical now" result, so this is a simple subclass of that result type. We act almost the same as an "illogical now" result; the only reason to distinguish this type is that it's an especially obvious kind of condition, so we might want to use it to exclude some vocabulary matches that we wouldn't normally exclude for the more general "illogical now" result type.

class IllogicalAlreadyVerifyResult :   IllogicalNowVerifyResult