call(Goal, ExtraArg, ExtraArg1, ExtraArg2, ExtraArg3, ExtraArg4, ExtraArg5) is true if and only if Goal represents a goal which is true after appending ExtraArg, ExtraArg1, ExtraArg2, ExtraArg3, ExtraArg4 and ExtraArg5 to its list of arguments.